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 -