Sciweavers

86 search results - page 11 / 18
» On the Syntax and Semantics of Effect Axioms
Sort
View
ISMB
2000
13 years 8 months ago
An Evaluation of Ontology Exchange Languages for Bioinformatics
Ontologies are specifications of the concepts in a given field, and of the relationships among those concepts. The development of ontologies for molecular-biology information and ...
Robin McEntire, Peter D. Karp, Neil F. Abernethy, ...
CIMCA
2008
IEEE
14 years 1 months ago
Collective Operations as Building Blocks for Agent Cooperation
Cooperation is the process of synchronization and exchanging useful knowledge between agents in multiagent systems. Since cooperation associates agents into a collaborative team t...
Nguyen Tuan Duc, Ikuo Takeuchi
ATAL
2005
Springer
13 years 9 months ago
Observation-based proactive communication in team cooperation
Observation and communication are important aspects of agent teamwork. We employ the agent’s observability as the major means for individual agents to reason about the environme...
Yu Zhang, Richard A. Volz, Thomas R. Ioerger
AAMAS
2008
Springer
13 years 7 months ago
2APL: a practical agent programming language
This paper presents a BDI-based agent-oriented programming language, called 2APL (A Practical Agent Programming Language). This programming language facilitates the implementation...
Mehdi Dastani
IICAI
2007
13 years 8 months ago
Logics for Action
Logics of action, for reasoning about the effects of state change, and logics of belief, accounting for belief revision and update, have much in common. Furthermore, we may underta...
Michael P. Fourman