1963 search results - page 55 / 393 » Applications of Preferences using Answer Set Programming |
143
click to vote
AGP
2003
IEEE
15 years 8 months ago
2003
IEEE
Abstract. The interest in the area of non-monotonic reasoning and declarative logic programming is growing rapidly after the recent development of a number of Answer Set Programmin...
131
click to vote
AAAI
2006
15 years 5 months ago
2006
We establish a declarative theory of forgetting for disjunctive logic programs. The suitability of this theory is justified by a number of desirable properties. In particular, one...
123
click to vote
JELIA
2010
Springer
15 years 2 months ago
2010
Springer
Abstract. Tabled evaluation is a recognized and powerful implementation technique that overcomes some limitations of traditional Prolog systems in dealing with recursion and redund...
158
click to vote
EWCBR
2004
Springer
15 years 10 months ago
2004
Springer
Case-based Reasoning (CBR) is a mature technology for building knowledge-based systems that are capable to produce useful results even if no answer matches the query exactly. Often...
164
click to vote
RTA
2010
Springer
15 years 8 months ago
2010
Springer
Abstract. Declarative debugging is a semi-automatic technique that starts from an incorrect computation and locates a program fragment responsible for the error by building a tree ...