113
Voted
LPNMR
15 years 9 months ago
2009 Springer  114
Voted
LPNMR
15 years 9 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 ...
94
Voted
LPNMR
15 years 9 months ago
2009 Springer 135
Voted
LPNMR
2009 Springer Application of ASP for Automatic Synthesis of Flexible Multiprocessor Systems from Parallel Programs
15 years 9 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...
128
Voted
LPNMR
15 years 9 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