Skip navigation
Skip navigation

Declarative programming for agent applications

Lloyd, John; Ng, Kee Siong

Description

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
URI: http://hdl.handle.net/1885/64703
Source: Autonomous Agents and Multi-Agent Systems
DOI: 10.1007/s10458-010-9138-1

Download

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:  12 November 2018/ Responsible Officer:  University Librarian/ Page Contact:  Library Systems & Web Coordinator