Sciweavers

DALT
2006
Springer
15 years 6 months ago
Dynamic Model Checking for Multi-agent Systems
Abstract. This paper is concerned with the problem of obtaining predictable interactions between groups of agents in open environments when individual agents do not expose their bd...
Nardine Osman, David Robertson, Christopher Walton
DALT
2006
Springer
15 years 6 months ago
A Fibred Tableau Calculus for Modal Logics of Agents
Vineet Padmanabhan, Guido Governatori
DALT
2006
Springer
15 years 6 months ago
Agreeing on Defeasible Commitments
Social commitments are developed for multi-agent systems according to the current practice in law regarding contract formation and breach. Deafeasible commitments are used to provi...
Ioan Alfred Letia, Adrian Groza
DALT
2006
Springer
15 years 6 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
DALT
2006
Springer
15 years 6 months ago
Programming Declarative Goals Using Plan Patterns
AgentSpeak is a well-known language for programming intelligent agents which captures the key features of reactive planning systems in a simple framework with an elegant formal sem...
Jomi Fred Hübner, Rafael H. Bordini, Michael ...