648 search results - page 14 / 130 » Using Criticalities as a Heuristic for Answer Set Programmin... |
148
click to vote
DEXAW
2003
IEEE
15 years 6 months ago
2003
IEEE
We integrate ontology languages and logic programming (LP) by extending disjunctive logic programs (DLPs) and their semantics in order to support inverses and an infinite univers...
122
Voted
ICLP
2010
Springer
15 years 5 months ago
2010
Springer
Within the last years, especially since the work proposed by Dung in 1995, argumentation has emerged as a central issue in Artificial Intelligence. With the so called argumentatio...
107
click to vote
ICLP
2007
Springer
15 years 7 months ago
2007
Springer
Abstract. We provide a general and modular framework for describing inferences in Answer Set Programming (ASP) that aims at an easy incorporation of additional language constructs....
118
click to vote
FLAIRS
2008
15 years 3 months ago
2008
The next generation of online reference works will require structured representations of their contents in order to support scholarly functions such as semantic search, automated ...
109
click to vote
LPNMR
2004
Springer
15 years 6 months ago
2004
Springer
Abstract. This paper studies computational issues related to the problem of reasoning about actions and change (RAC) by exploiting its link with the Answer Set Programming paradigm...