144
click to vote
LPNMR
15 years 7 months ago
2007 Springer 
Decision making models for autonomous agents have received increased attention, particularly in the field of intelligent robots. In this paper we will show how a Defeasible Logic ...
123
click to vote
LPNMR
2007 Springer Alternative Characterizations for Program Equivalence under Answer-Set Semantics: Preliminary Report
15 years 7 months ago
Logic programs under answer-set semantics constitute an important tool for declarative problem solving. In recent years, two research issues received growing attention. On the one ...
101
click to vote
LPNMR
15 years 7 months ago
2007 Springer 
We describe a new grounder system for logic programs under answer set semantics, called GrinGo. Our approach combines and extends techniques from the two primary grounding approach...
118
click to vote
LPNMR
15 years 7 months ago
2007 Springer 
Recently, the stable model semantics was extended to the syntax of arbitrary propositional formulas, which are beyond the traditional rule form. Cabalar and Ferraris, as well as Ca...
136
click to vote
LPNMR
15 years 7 months ago
2007 Springer
Abstract. In this paper, we present a logic R for rule bases by introducing a set of rule connectives. We define both the models and extensions of a rule base. The semantics of ex...
|
Automated Reasoning