Skip navigation
Skip navigation

Declarative programming for agent applications

Lloyd, John; Ng, Kee Siong


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.

CollectionsANU Research Publications
Date published: 2010
Type: Journal article
Source: Autonomous Agents and Multi-Agent Systems
DOI: 10.1007/s10458-010-9138-1


File Description SizeFormat Image
01_Lloyd_Declarative_programming_for_2010.pdf1.69 MBAdobe PDF    Request a copy

Items in Open Research are protected by copyright, with all rights reserved, unless otherwise indicated.

Updated:  20 July 2017/ Responsible Officer:  University Librarian/ Page Contact:  Library Systems & Web Coordinator