149 search results - page 14 / 30 » Encoding Planning Problems in Nonmonotonic Logic Programs |
111
click to vote
ILP
2000
Springer
15 years 6 months ago
2000
Springer
First-order probabilistic models are recognized as efficient frameworks to represent several realworld problems: they combine the expressive power of first-order logic, which serv...
141
click to vote
ECAI
2010
Springer
15 years 3 months ago
2010
Springer
Logic programs under the stable models semantics, or answer-set programs, provide an expressive rule based knowledge representation framework, featuring formal, declarative and wel...
135
click to vote
APIN
2000
15 years 2 months ago
2000
Defeasible logic is a system of reasoning in which rules have exceptions, and when rules conflict, the one that applies most specifically to the situation wins out. This paper repo...
132
click to vote
KR
1998
Springer
15 years 6 months ago
1998
Springer
A theory is elaboration tolerant to the extent that new information can be incorporated with only simple changes. The simplest change is conjoining new information, and only conju...
153
click to vote
AGP
2003
IEEE
15 years 7 months ago
2003
IEEE
Constraint Logic Programming (CLP) and Abductive Logic Programming (ALP) share the important concept of conditional answer. We exploit their deep similarities to implement an effic...