7 search results - page 1 / 2 » A Language for Modular Answer Set Programming: Application t... |
216
Voted
ASP
2005
Springer
16 years 29 days ago
2005
Springer
In this paper we develop a declarative language for modular answer set programming (ASP). Our language allows to declaratively state how one ASP module can import processed answer ...
221
Voted
AMAI
2008
Springer
15 years 7 months ago
2008
Springer
We introduce a knowledge representation language AC(C) extending the syntax and semantics of ASP and CR-Prolog, give some examples of its use, and present an algorithm, ACsolver, ...
237
Voted
PADL
2004
Springer
16 years 23 days 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...
190
Voted
AAAI
2006
15 years 8 months ago
2006
In recent years there has been a great deal of interest in "modular reinforcement learning" (MRL). Typically, problems are decomposed into concurrent subgoals, allowing ...
246
Voted
ICLP
2003
Springer
16 years 18 days ago
2003
Springer
In recent research on nonmonotonic logic programming, repeatedly strong equivalence of logic programs P and Q has been considered, which holds if the programs P ∪ R and Q ∪ R h...