Declarative programming for agent applications

J. W. Lloyd; K. S. Ng

doi:10.1007/s10458-010-9138-1

Declarative programming for agent applications

Research output: Contribution to journal › Article › peer-review

4 Citations (Scopus)

Abstract

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.

Original language	English
Pages (from-to)	224-272
Number of pages	49
Journal	Autonomous Agents and Multi-Agent Systems
Volume	23
Issue number	2
DOIs	https://doi.org/10.1007/s10458-010-9138-1
Publication status	Published - Sept 2011

Access to Document

10.1007/s10458-010-9138-1

Cite this

@article{4e52ad327c0348f3bb417986cd02426d,

title = "Declarative programming for agent applications",

abstract = "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.",

keywords = "Declarative programming, Higher-order logic, Modal programming, Multi-agent systems, Multi-modal logic, Probabilistic programming",

author = "Lloyd, \{J. W.\} and Ng, \{K. S.\}",

year = "2011",

month = sep,

doi = "10.1007/s10458-010-9138-1",

language = "English",

volume = "23",

pages = "224--272",

journal = "Autonomous Agents and Multi-Agent Systems",

issn = "1387-2532",

publisher = "Springer Netherlands",

number = "2",

}

TY - JOUR

T1 - Declarative programming for agent applications

AU - Lloyd, J. W.

AU - Ng, K. S.

PY - 2011/9

Y1 - 2011/9

N2 - 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.

AB - 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.

KW - Declarative programming

KW - Higher-order logic

KW - Modal programming

KW - Multi-agent systems

KW - Multi-modal logic

KW - Probabilistic programming

UR - https://www.scopus.com/pages/publications/79955463249

U2 - 10.1007/s10458-010-9138-1

DO - 10.1007/s10458-010-9138-1

M3 - Article

SN - 1387-2532

VL - 23

SP - 224

EP - 272

JO - Autonomous Agents and Multi-Agent Systems

JF - Autonomous Agents and Multi-Agent Systems

IS - 2

ER -

Declarative programming for agent applications

Abstract

Access to Document

Other files and links

Fingerprint

Cite this