Sciweavers

609 search results - page 6 / 122
» Declarative programming for agent applications
Sort
View
PROMAS
2007
Springer
14 years 1 months ago
A Practical Agent Programming Language
This paper discusses the need for an effective and practical BDI-based agentoriented programming language. It proposes an alternative by presenting the syntax and semantics of a ...
Mehdi Dastani, John-Jules Ch. Meyer
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
ATAL
2009
Springer
14 years 2 months ago
Resource allocation with answer-set programming
Multi-agent resource allocation is a growing area of research at the frontier between Economics and Computer Science. Despite the extensive theoretical work and raising number of ...
João Leite, José Júlio Alfere...
SAS
2005
Springer
118views Formal Methods» more  SAS 2005»
14 years 1 months ago
Inference of Well-Typings for Logic Programs with Application to Termination Analysis
A method is developed to infer a polymorphic well-typing for a logic program. Our motivation is to improve the automation of termination analysis by deriving types from which norms...
Maurice Bruynooghe, John P. Gallagher, Wouter Van ...
PADL
2009
Springer
14 years 8 months ago
Operational Semantics for Declarative Networking
Declarative Networking has been recently promoted as a high-level programming paradigm to more conveniently describe and implement systems that run in a distributed fashion over a ...
Juan A. Navarro, Andrey Rybalchenko