1963 search results - page 55 / 393 » Applications of Preferences using Answer Set Programming |
126
Voted
AGP
2003
IEEE
15 years 6 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...
114
Voted
AAAI
2006
15 years 4 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...
104
Voted
JELIA
2010
Springer
15 years 1 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...
145
Voted
EWCBR
2004
Springer
15 years 8 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...
147
click to vote
RTA
2010
Springer
15 years 6 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 ...