Sciweavers

258 search results - page 9 / 52
» A formal framework for agent interaction semantics
Sort
View
AUSAI
1998
Springer
15 years 1 months ago
A Formal Embedding of AgentSpeak(L) in 3APL
Agent-based computing in Arti cial Intelligence has given rise to a number of diverse and competing proposals for agent programming languages. Agents, in the sense we are using it...
Koen V. Hindriks, Frank S. de Boer, Wiebe van der ...
ATAL
2005
Springer
15 years 3 months ago
Towards a formal model for task allocation via coalition formation
This paper focuses on the problem of generating coalition structures for task allocation via coalition formation. It provides a unified formal framework for constructing those co...
Leila Amgoud
IJSWIS
2007
113views more  IJSWIS 2007»
14 years 9 months ago
A Formal Foundation for Ontology-Alignment Interaction Models
Ontology alignment foundations are hard to find in the literature. The abstract nature of the topic and the diverse means of practice make it difficult to capture it in a universal...
W. Marco Schorlemmer, Yannis Kalfoglou, Manuel Ate...
AAAI
2010
14 years 11 months ago
A General Framework for Representing and Reasoning with Annotated Semantic Web Data
We describe a generic framework for representing and reasoning with annotated Semantic Web data, formalise the annotated language, the corresponding deductive system, and address ...
Umberto Straccia, Nuno Lopes 0002, Gergely Lukacsy...
ATAL
2007
Springer
15 years 3 months ago
Dynamic semantics for agent communication languages
This paper proposes dynamic semantics for agent communication languages (ACLs) as a method for tackling some of the fundamental problems associated with agent communication in ope...
Michael Rovatsos