3891 search results - page 86 / 779 » A logic for strategic reasoning |
177
click to vote
DLOG
2003
15 years 7 months ago
2003
In this paper we introduce a decidable fixpoint extension of temporal Description Logics. We exploit the decidability results obtained for various monodic extensions of Descripti...
173
click to vote
CADE
2003
Springer
16 years 6 months ago
2003
Springer
A classical higher-order logic PFsub of partial functions is defined. The logic extends a version of Farmer's logic PF by enriching the type system of the logic with subset ty...
174
click to vote
LPKR
1997
Springer
15 years 10 months ago
1997
Springer
In this paper, we use autoepistemic reasoning semantics to classify various semantics for disjunctive logic programs with default negation. We have observed that two different typ...
196
click to vote
ASP
2005
Springer
15 years 12 months ago
2005
Springer
We present extended conceptual logic programs (ECLPs), for which reasoning is decidable and, moreover, can be reduced to finite answer set programming. ECLPs are useful to reason ...
172
click to vote
AAAI
2006
15 years 7 months ago
2006
Billiards is a game of both strategy and physical skill. To succeed, a player must be able to select strong shots, and then execute them accurately and consistently. Several robot...