230 search results - page 28 / 46 » An Argumentation Based Semantics for Agent Reasoning |
RR
2009
Springer
14 years 1 months ago
2009
Springer
In this paper we argue the case for integrating the distinctive functionalities of logic programs and production systems within an abductive logic programming agent framework. In t...
CSL
2008
Springer
13 years 10 months ago
2008
Springer
Type-based termination is a semantically intuitive method that ensures termination of recursive definitions by tracking the size of datatype elements, and by checking that recursiv...
AMSTERDAM
2009
13 years 6 months ago
2009
An argument by Kratzer (2000) based on Schein (1986, 1993) does not conclusively show that events and thematic roles are necessary ingredients of the logical representation of natu...
WISE
2003
Springer
14 years 1 months ago
2003
Springer
Semantic web services hold the promise of greatly increasing interoperability among software agents and web services by enabling content-based (as opposed to format-based) automat...
AGENTCL
2003
Springer
14 years 1 months ago
2003
Springer
Abstract. This paper proposes a new model of communication in multiagent systems according to which the semantics of communication depends on their pragmatics. Since these pragmati...