LPNMR
2009
Springer
13 years 10 months ago
2009
Springer
LPNMR
2009
Springer
13 years 10 months ago
2009
Springer
Abstract. The logic FO(ID) uses ideas from the field of logic programming to extend first order logic with non-monotone inductive definitions. The goal of this paper is to exten...
LPNMR
2009
Springer
13 years 10 months ago
2009
Springer
We define the semantics of logic programs with (abstract) constraint atoms in a way closely tied to default logic. Like default logic, formulas in rules are evaluated using the cl...
LPNMR
2009
Springer
13 years 10 months ago
2009
Springer
LPNMR
2009
Springer
13 years 10 months ago
2009
Springer
LPNMR
2009
Springer
13 years 10 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...
LPNMR
2009
Springer
13 years 10 months ago
2009
Springer
We develop a module-based framework for constraint modeling where it is possible to combine different constraint modeling languages and exploit their strengths in a flexible way. ...
LPNMR
2009
Springer
13 years 10 months ago
2009
Springer
LPNMR
2009
Springer
2009
Springer
Application of ASP for Automatic Synthesis of Flexible Multiprocessor Systems from Parallel Programs
13 years 10 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...
LPNMR
2009
Springer
13 years 10 months ago
2009
Springer
