20 search results - page 2 / 4 » lpnmr 2007 |
186
Voted
LPNMR
2007
Springer
15 years 11 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 ...
173
Voted
LPNMR
2007
Springer
15 years 11 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...
160
click to vote
LPNMR
2007
Springer
15 years 11 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...
134
Voted
LPNMR
2007
Springer
15 years 11 months ago
2007
Springer
Abstract. Most complete answer set solvers are based on DPLL. One of the constraint propagation methods is the so-called lookahead, which has been somewhat controversial, due to it...
165
click to vote
LPNMR
2007
Springer
15 years 11 months ago
2007
Springer
We describe BE, an implemented system for solving belief change problems in the presence of actions. We illustrate how we can use BE to compute the result of belief progression, be...