144
click to vote
LPNMR
15 years 12 months ago
2009 Springer 
We apply ASP to model validation in a CASE setting, where models are UML class diagrams and object diagrams are called “snapshots”. We present the design and implementation of ...
163
click to vote
LPNMR
2009 Springer Application of ASP for Automatic Synthesis of Flexible Multiprocessor Systems from Parallel Programs
15 years 12 months ago
Configurable on chip multiprocessor systems combine advantages of task-level parallelism and the flexibility of field-programmable devices to customize architectures for paralle...
158
click to vote
LPNMR
15 years 12 months ago
2009 Springer
Abstract. We consider the problem of whether a given preferred answer set program can be reduced to a propositional formula. Research on this topic is of both theoretical and pract...
|
Automated Reasoning