ALPprolog : a new logic programming method for dynamic domains

Conrad Drescher; Michael Thielscher

doi:10.1017/S1471068411000111

ALPprolog : a new logic programming method for dynamic domains

Conrad Drescher
, Michael Thielscher

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

1 Citation (Scopus)

Abstract

Logic programming is a powerful paradigm for programming autonomous agents in dynamic domains as witnessed by languages such as Golog and Flux. In this work we present ALPprolog, an expressive, yet efficient, logic programming language for the online control of agents that have to reason about incomplete information and sensing actions.

Original language	English
Pages (from-to)	451-468
Number of pages	18
Journal	Theory and Practice of Logic Programming
Volume	11
Issue number	45416
DOIs	https://doi.org/10.1017/S1471068411000111
Publication status	Published - 2011

Access to Document

10.1017/S1471068411000111

Cite this

@article{23549ab76cb446debe4595f41adf135e,

title = "ALPprolog : a new logic programming method for dynamic domains",

abstract = "Logic programming is a powerful paradigm for programming autonomous agents in dynamic domains as witnessed by languages such as Golog and Flux. In this work we present ALPprolog, an expressive, yet efficient, logic programming language for the online control of agents that have to reason about incomplete information and sensing actions.",

author = "Conrad Drescher and Michael Thielscher",

year = "2011",

doi = "10.1017/S1471068411000111",

language = "English",

volume = "11",

pages = "451--468",

journal = "Theory and Practice of Logic Programming",

issn = "1471-0684",

publisher = "Cambridge University Press",

number = "45416",

}

TY - JOUR

T1 - ALPprolog : a new logic programming method for dynamic domains

AU - Drescher, Conrad

AU - Thielscher, Michael

PY - 2011

Y1 - 2011

N2 - Logic programming is a powerful paradigm for programming autonomous agents in dynamic domains as witnessed by languages such as Golog and Flux. In this work we present ALPprolog, an expressive, yet efficient, logic programming language for the online control of agents that have to reason about incomplete information and sensing actions.

AB - Logic programming is a powerful paradigm for programming autonomous agents in dynamic domains as witnessed by languages such as Golog and Flux. In this work we present ALPprolog, an expressive, yet efficient, logic programming language for the online control of agents that have to reason about incomplete information and sensing actions.

UR - http://handle.uws.edu.au:8081/1959.7/549361

U2 - 10.1017/S1471068411000111

DO - 10.1017/S1471068411000111

M3 - Article

SN - 1471-0684

VL - 11

SP - 451

EP - 468

JO - Theory and Practice of Logic Programming

JF - Theory and Practice of Logic Programming

IS - 45416

ER -

ALPprolog : a new logic programming method for dynamic domains

Abstract

Access to Document

Other files and links

Fingerprint

Cite this