147 search results - page 7 / 30 » SD2: A Sound and Complete Diagrammatic Reasoning System |
106
Voted
AMAI
2007
Springer
14 years 11 months ago
2007
Springer
It is widely accepted that spatial reasoning plays a central role in artificial intelligence, for it has a wide variety of potential applications, e.g., in robotics, geographical...
267
Voted
Book
Very well organized and easy to follow book. The table of content can be downloaded from the attachment section below.
86
Voted
ATAL
2006
Springer
15 years 3 months ago
2006
Springer
We present a logic for reasoning both about the ability of agents to cooperate to execute complex actions, and how this relates to their ability to reach certain states of affairs...
127
click to vote
LICS
2012
IEEE
13 years 2 months ago
2012
IEEE
—We study the logic of dynamical systems, that is, logics and proof principles for properties of dynamical systems. Dynamical systems are mathematical models describing how the s...
130
click to vote
ATAL
1997
Springer
15 years 3 months ago
1997
Springer
Abstract. Just as cooperation in multi-agent systems is a central issue for solving complex tasks, so too is the ability for an intelligent agent to reason about combined knowledge...