3891 search results - page 491 / 779 » A logic for strategic reasoning |
101
click to vote
AAMAS
2004
Springer
15 years 20 days ago
2004
Springer
In this paper we overview one specific approach to the formal development of multi-agent systems. This approach is based on the use of temporal logics to represent both the behavio...
KI
2002
Springer
15 years 13 days ago
2002
Springer
Abstract. We present a new classification algorithm that combines three properties: It generates decision trees, which proved a valuable and intelligible tool for classification an...
120
click to vote
NDJFL
2002
15 years 13 days ago
2002
Shortest possible axiomatizations for the implicational fragments of the modal logics S4 and S5 are reported. Among these axiomatizations is included a shortest single axiom for im...
111
click to vote
RULEML
2010
Springer
14 years 11 months ago
2010
Springer
We propose a systematic investigation on how to modify a preference relation in a defeasible logic theory to change the conclusions of the theory itself. We argue that the approach...
128
click to vote
IFM
2009
Springer
14 years 10 months ago
2009
Springer
Abstract. The complete specification of full contracts -- contracts which include tolerated exceptions, and which enable reasoning about the contracts themselves, can be achieved u...