Sciweavers

46 search results - page 5 / 10
» Declarative Agent Programming Support for a FIPA-Compliant A...
Sort
View
TSE
1998
114views more  TSE 1998»
13 years 7 months ago
KLAIM: A Kernel Language for Agents Interaction and Mobility
—We investigate the issue of designing a kernel programming language for mobile computing and describe KLAIM, a language that supports a programming paradigm where processes, lik...
Rocco De Nicola, Gian Luigi Ferrari, Rosario Pugli...
COMPSAC
2005
IEEE
14 years 1 months ago
Agent Oriented Programming Based on SLABS
SLABS is a formal specification language designed for modular and composable specification of multi-agent systems. This paper reports our attempts to support SLABS at the level ...
Ji Wang, Rui Shen, Hong Zhu
ICLP
2009
Springer
14 years 8 months ago
Logic Programming for Multiagent Planning with Negotiation
Multiagent planning deals with the problem of generating plans for multiple agents. It requires formalizing ways for the agents to interact and cooperate, in order to achieve their...
Tran Cao Son, Enrico Pontelli, Chiaki Sakama
ATAL
2006
Springer
13 years 11 months ago
Component Agent Framework for domain-Experts (CAFnE) toolkit
The Component Agent Framework for domain-Experts (CAFnE) toolkit is an extension to the Prometheus Design Tool (PDT). It uses the detailed design produced by PDT with further anno...
Gaya Buddhinath Jayatilleke, John Thangarajah, Lin...
ATAL
2008
Springer
13 years 9 months ago
A flexible framework for verifying agent programs
There is an increasing number of agent-oriented programming languages that have working interpreters and platforms, with significant progress in the quality of such platforms over...
Louise A. Dennis, Berndt Farwer, Rafael H. Bordini...