583 search results - page 48 / 117 » Preferences in Answer Set Programming |
151
click to vote
ICLP
1994
Springer
15 years 5 months ago
1994
Springer
In many cases, a logic program can be divided into two parts, so that one of them, the \bottom" part, does not refer to the predicates de ned in the \top" part. The \bot...
LPNMR
2004
Springer
15 years 6 months ago
2004
Springer
nlp is a compiler for nested logic programming under answer set semantics. It is designed as a front-end translating nested logic programs into disjunctive ones, whose answer sets ...
120
click to vote
IJCAI
2007
15 years 2 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...
114
click to vote
DEXA
2008
Springer
15 years 3 months ago
2008
Springer
When issuing user-specific queries, users often have a vaguely defined information need. Skyline queries identify the most "interesting" objects for users' incomplet...
100
click to vote
LPNMR
2009
Springer
15 years 7 months ago
2009
Springer
CR-Prolog is an extension of A-Prolog, the knowledge representation language at the core of the Answer Set Programming paradigm. CR-Prolog is