LPNMR
15 years 7 months ago
2009 Springer  97
Voted
LPNMR
15 years 7 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 ...
LPNMR
15 years 7 months ago
2009 Springer 114
click to vote
LPNMR
2009 Springer Application of ASP for Automatic Synthesis of Flexible Multiprocessor Systems from Parallel Programs
15 years 7 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...
110
click to vote
LPNMR
15 years 7 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