884 search results - page 15 / 177 » Using Nested Logic Programs for Answer Set Programming |
CADE
2001
Springer
14 years 8 months ago
2001
Springer
LPNMR
2005
Springer
14 years 1 months ago
2005
Springer
We investigate techniques for approximating answer sets of general logic programs of Lifschitz and Woo, whose rules have single literals as heads. We propose three different method...
ASP
2003
Springer
14 years 27 days ago
2003
Springer
Abstract. We integrate an expressive class of description logics (DLs) and answer set programming by extending the latter to support inverted predicates and infinite domains, feat...
APAL
2005
13 years 7 months ago
2005
We propose an extension of answer sets, that we call safe beliefs, that can be used to study several properties and notions of answer sets and logic programming from a more genera...
IAT
2008
IEEE
14 years 2 months ago
2008
IEEE
In this work we introduce the first steps towards the definition of an answer set semantics for residuated logic programs with negation.