17 search results - page 1 / 4 » Integrating an Answer Set Solver into Prolog: ASP-PROLOG |
97
Voted
PADL
2004
Springer
15 years 3 months ago
2004
Springer
We present a system (ASP − PROLOG) which provides a tight and well-defined integration of Prolog and Answer Set Programming (ASP). The combined system enhances the expressive po...
90
Voted
CORR
2008
Springer
14 years 9 months ago
2008
Springer
The paper introduces the notion of off-line justification for Answer Set Programming (ASP). Justifications provide a graph-based explanation of the truth value of an atom w.r.t. a ...
LPNMR
2005
Springer
15 years 3 months ago
2005
Springer
104
click to vote
AAAI
2012
13 years 5 hour ago
2012
Temporal Action Logics (TAL) is a class of temporal logics for reasoning about actions. We present a reformulation of TAL in Answer Set Programming (ASP), and discuss some synergi...
AAAI
2008
14 years 12 months ago
2008
Answer set programming (ASP) is a form of declarative programming oriented towards difficult search problems. As an outgrowth of research on the use of nonmonotonic reasoning in k...