Sciweavers

474 search results - page 22 / 95
» Spatial Agents Implemented in a Logical Expressible Language
Sort
View
ECAIW
1994
Springer
14 years 20 days ago
Representing and Executing Agent-Based Systems
Abstract. In this paper we describe an approach to the representation and implementation of agent-based systems where the behaviour of an individual agent is represented by a set o...
Michael Fisher
IAT
2008
IEEE
14 years 3 months ago
Time and Defeasibility in FIPA ACL Semantics
Inferences about speech acts are often conditional, nonmonotonic, and involve the issue of time. Most agent communication languages, however, ignore these issues, due to the difï¬...
Guido Boella, Guido Governatori, Joris Hulstijn, R...
FSTTCS
2007
Springer
14 years 1 months ago
Efficient and Expressive Tree Filters
Abstract. We investigate streaming evaluation of filters on XML documents, evaluated both at the root node and at an arbitrary node. Motivated by applications in protocol processin...
Michael Benedikt, Alan Jeffrey
JAR
2007
90views more  JAR 2007»
13 years 9 months ago
A Tableau Decision Procedure for SHOIQ
Abstract. OWL DL, a new W3C ontology language recommendation, is based on the expressive description logic SHOIN. Although the ontology consistency problem for SHOIN is known to be...
Ian Horrocks, Ulrike Sattler
DALT
2003
Springer
14 years 2 months ago
Extending the Operational Semantics of a BDI Agent-Oriented Programming Language for Introducing Speech-Act Based Communication
Work on agent communication languages has since long striven to achieve adequate speech act semantics; partly, the problem is that references to an agent’s architecture (in parti...
Álvaro F. Moreira, Renata Vieira, Rafael H....