156
click to vote
LPNMR
16 years 18 days 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 ...
171
click to vote
LPNMR
2009 Springer Application of ASP for Automatic Synthesis of Flexible Multiprocessor Systems from Parallel Programs
16 years 18 days ago
Configurable on chip multiprocessor systems combine advantages of task-level parallelism and the flexibility of field-programmable devices to customize architectures for paralle...
167
click to vote
LPNMR
16 years 18 days 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