10568 search results - page 324 / 2114 » Computer Intelligence and Formalization |
172
click to vote
STACS
1993
Springer
15 years 8 months ago
1993
Springer
Abduction is an important form of nonmonotonic reasoning allowing one to find explanations for certain symptoms or manifestations. When the application domain is described by a l...
134
Voted
AAAI
2007
15 years 6 months ago
2007
Agents’ pro attitudes such as goals, intentions, desires, wishes, and judgements of satisfactoriness play an important role in how agents act rationally. To provide a natural an...
136
Voted
ATAL
2009
Springer
15 years 10 months ago
2009
Springer
We present a logic for reasoning about strategic games. The logic is a modal formalism, based on the Coalition Logic of Propositional Control, to which we add the notions of outco...
121
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...
154
Voted
ATAL
2008
Springer
15 years 6 months ago
2008
Springer
The paper formalizes a distributed approach to the problem of supervising the execution of a multi-agent plan where (possibly joint) actions are executed concurrently by a team of...