Sciweavers

AAMAS
2011
Springer

Declarative programming for agent applications

12 years 8 months ago
Declarative programming for agent applications
This paper introduces the execution model of a declarative programming language intended for agent applications. Features supported by the language include functional and logic programming idioms, higher-order functions, modal computation, probabilistic computation, and some theorem-proving capabilities. The need for these features is motivated and examples are given to illustrate the central ideas.
John W. Lloyd, Kee Siong Ng
Added 23 Aug 2011
Updated 23 Aug 2011
Type Journal
Year 2011
Where AAMAS
Authors John W. Lloyd, Kee Siong Ng
Comments (0)