583 search results - page 57 / 117 » Preferences in Answer Set Programming |
107
click to vote
VL
2008
IEEE
15 years 7 months ago
2008
IEEE
Previous research has identified several challenges that programmers face in answering questions about a code base. To explore ways to overcome those challenges, we have develope...
124
click to vote
IJCAI
1989
15 years 2 months ago
1989
The foundations of a class of logic programming systems with the expressive power of full first-order logic and a non-monotonic component is addressed. The underlying refutation m...
109
click to vote
AAAI
2010
15 years 2 months ago
2010
In this paper, we propose a translation from normal first-order logic programs under the answer set semantics to first-order theories on finite structures. Specifically, we introd...
130
click to vote
TPLP
2002
15 years 28 days ago
2002
In this paper, we consider an approach to update nonmonotonic knowledge bases represented as extended logic programs under the answer set semantics. In this approach, new informat...
103
click to vote
LPNMR
2005
Springer
15 years 6 months ago
2005
Springer
Given two classes of logic programs, we may be interested in modular translations from one class into the other that are sound wth respect to the answer set semantics. The main the...