229 search results - page 19 / 46 » On Reductive Semantics of Aggregates in Answer Set Programmi... |
IJCAI
2003
15 years 1 months ago
2003
Disjunctive Logic Programming (DLP) is a very expressive formalism: it allows to express every property of finite structures that is decidable in the complexity class ¡£¢¤ (...
110
click to vote
PADL
2005
Springer
15 years 5 months ago
2005
Springer
We describe the design of the OLPS system, an implementation of the preferred answer set semantics for ordered logic programs. The basic algorithm we propose computes the extended ...
117
click to vote
AI
2011
Springer
14 years 6 months ago
2011
Springer
The concept of a stable model provided a declarative semantics for Prolog programs with negation as failure and became a starting point for the development of answer set programmi...
LPNMR
2009
Springer
15 years 6 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...
104
click to vote
IJCAI
2007
15 years 1 months ago
2007
The definition of a stable model has provided a declarative semantics for Prolog programs with negation as failure and has led to the development of answer set programming. In th...