Sciweavers

14 search results - page 1 / 3
» dalt 2006
Sort
View
DALT
2006
Springer
13 years 8 months ago
A Fibred Tableau Calculus for Modal Logics of Agents
Vineet Padmanabhan, Guido Governatori
DALT
2006
Springer
13 years 8 months ago
Plan Generation and Plan Execution in Agent Programming
Abstract. This paper presents two approaches for generating and executing the plans of cognitive agents. They can be used to define the semantics of programming languages for cogni...
M. Birna van Riemsdijk, Mehdi Dastani
DALT
2006
Springer
13 years 8 months ago
A Collaborative Framework to Realize Virtual Enterprises Using 3APL
Abstract. In this paper, we propose a collaborative framework to realize a Virtual Enterprise (VE) for the domain of Micro Assembly. The framework is developed using 3APL technolog...
Gobinath Narayanasamy, Joe Cecil, Tran Cao Son
DALT
2006
Springer
13 years 8 months ago
When Agents Communicate Hypotheses in Critical Situations
This paper discusses the problem of efficient propagation of uncertain information in dynamic environments and critical situations. When a number of (distributed) agents have only ...
Gauvain Bourgne, Nicolas Maudet, Suzanne Pinson
DALT
2006
Springer
13 years 8 months ago
JADL - An Agent Description Language for Smart Agents
Abstract. In this paper, we describe the declarative agent programming language Jadl (JIAC Agent Description Language). Based on threevalued logic, it incorporates ontologies, FIPA...
Thomas Konnerth, Benjamin Hirsch, Sahin Albayrak