Skip navigation
Skip navigation
A change is coming. Click to see a sneak peek of the new Open Research Repository.

Declarative programming for agent applications

Download (1.69 MB)

link to publisher version

  • Altmetric Citations

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.

dc.contributor.authorLloyd, John
dc.contributor.authorNg, Kee Siong
dc.date.accessioned2015-12-10T23:15:33Z
dc.identifier.issn1387-2532
dc.identifier.urihttp://hdl.handle.net/1885/64703
dc.description.abstractThis 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.
dc.publisherSpringer
dc.sourceAutonomous Agents and Multi-Agent Systems
dc.subjectKeywords: Declarative Programming; Higher order logic; Modal programming; Multi-modal logic; Probabilistic programming; Functional programming; Intelligent agents; Logic programming; Probabilistic logics; Theorem proving; Multi agent systems Declarative programming; Higher-order logic; Modal programming; Multi-agent systems; Multi-modal logic; Probabilistic programming
dc.titleDeclarative programming for agent applications
dc.typeJournal article
local.description.notesImported from ARIES
dc.date.issued2010
local.identifier.absfor089999 - Information and Computing Sciences not elsewhere classified
local.identifier.ariespublicationf2965xPUB985
local.type.statusPublished Version
local.contributor.affiliationLloyd, John, College of Engineering and Computer Science, ANU
local.contributor.affiliationNg, Kee Siong, College of Engineering and Computer Science, ANU
local.description.embargo2037-12-31
local.bibliographicCitation.startpage1
local.bibliographicCitation.lastpage49
local.identifier.doi10.1007/s10458-010-9138-1
local.identifier.absseo970108 - Expanding Knowledge in the Information and Computing Sciences
dc.date.updated2016-02-24T08:34:43Z
local.identifier.scopusID2-s2.0-79955463249
local.identifier.thomsonID000289797300004
CollectionsANU Research Publications

Download

File Description SizeFormat Image
01_Lloyd_Declarative_programming_for_2010.pdf1.69 MBAdobe PDFThumbnail
Show simple item record


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

Updated:  17 November 2022/ Responsible Officer:  University Librarian/ Page Contact:  Library Systems & Web Coordinator