2573 search results - page 96 / 515 » Combinations of Modal Logics |
122
click to vote
ATAL
2007
Springer
15 years 10 months ago
2007
Springer
We propose an extension of alternating-time temporal logic, that can be used for reasoning about the behavior and abilities of agents under various rationality assumptions. Catego...
142
click to vote
FROCOS
2007
Springer
15 years 10 months ago
2007
Springer
In abstract algebra, a structure is said to be Noetherian if it does not admit infinite strictly ascending chains of congruences. In this paper, we adapt this notion to first-ord...
139
click to vote
JANCL
2007
15 years 4 months ago
2007
ABSTRACT. We show how belief revision can be treated systematically in the format of dynamicepistemic logic, when operators of conditional belief are added. The core engine consist...
151
click to vote
AAAI
2011
14 years 4 months ago
2011
A general game player automatically learns to play arbitrary new games solely by being told their rules. For this purpose games are specified in the game description language GDL...
145
click to vote
ATAL
2005
Springer
15 years 9 months ago
2005
Springer
In this paper we combine existing work in the area of social laws with a framework for reasoning about knowledge in multi-agent systems. The unifying framework in which this is do...