3891 search results - page 212 / 779 » A logic for strategic reasoning |
168
click to vote
CADE
2006
Springer
16 years 6 months ago
2006
Springer
We present a proof procedure that is complete for first-order logic, but which can also be used when searching for finite models. The procedure uses a normal form which is based on...
147
click to vote
LPNMR
2005
Springer
16 years 17 hour ago
2005
Springer
ID-logic uses ideas from the field of logic programming to extend second order logic with non-monotone inductive defintions. In this work, we reformulate the semantics of this lo...
144
click to vote
ATAL
2006
Springer
15 years 10 months ago
2006
Springer
There are numerous cases where a reasoning agent needs to reason about the behavior of an opponent agent. In this paper, we propose a hybrid probabilistic logic language within wh...
153
click to vote
DLOG
2001
15 years 8 months ago
2001
daml+oil is a new description logic developed for use within the DAML project and as a submission to the upcoming W3C semantic web ontology working group. It is closely based on t...
183
click to vote
DLOG
2009
15 years 4 months ago
2009
Context-sensitivity has been for long a subject of study in linguistics, logic and computer science. Recently the problem of representing and reasoning with contextual knowledge ha...