3891 search results - page 105 / 779 » A logic for strategic reasoning |
187
click to vote
SAS
2007
Springer
16 years 13 days ago
2007
Springer
We present a framework for inductive definitions in the logic of bunched implications, BI, and formulate two sequent calculus proof systems for inductive reasoning in this framewo...
200
click to vote
ATAL
2011
Springer
14 years 6 months ago
2011
Springer
In modal logic, when adding a syntactic property to an axiomatisation, this property will semantically become true in all models, in all situations, under all circumstances. For i...
190
click to vote
DLOG
2009
15 years 4 months ago
2009
In the current paper we study the reasoning problem for fuzzy SI (f-SI) under arbitrary continuous fuzzy operators. Our work can be seen as an extension of previous works that stud...
128
click to vote
DLOG
2006
15 years 7 months ago
2006
The goal of this paper is to present how the Prolog Technology Theorem Proving (PTTP) approach can be used for ABox-reasoning. This work presents an inference algorithm over the l...
191
click to vote
IJCAI
1997
15 years 7 months ago
1997
We address the problem of introducing preferences into default logic. Two approaches are given, one a generalisation of the other. In the first approach, an ordered default theory...