2638 search results - page 70 / 528 » Frameworks for Reasoning about Agent Based Systems |
101
click to vote
ICAIL
2007
ACM
15 years 8 months ago
2007
ACM
This paper proposes an architecture for a sense-making system for crime investigation named AVERs (Argument Visualization for Evidential Reasoning based on stories). It is targete...
110
click to vote
SEMWEB
2005
Springer
15 years 9 months ago
2005
Springer
Abstract. We introduce a framework, based on logic programming, for preferential reasoning with agents on the Semantic Web. Initially, we encode the knowledge of an agent as a logi...
129
click to vote
IGPL
2010
15 years 2 months ago
2010
This paper is a contribution to the formalisation of Thagard’s coherence theory. The term coherence is defined as the quality or the state of cohering, especially a logical, ord...
119
click to vote
ARGMAS
2007
Springer
15 years 10 months ago
2007
Springer
This paper focuses of the group judgments obtained from a committee of agents that use deliberation. The deliberative process is realized by an argumentation framework called AMAL....
136
click to vote
CADE
2000
Springer
15 years 8 months ago
2000
Springer
Abstract. The Nuprl system is a framework for reasoning about mathematics and programming. Over the years its design has been substantially improved to meet the demands of large-sc...