ALPprolog - a new logic programming method for dynamic domains

DOI10.1017/S1471068411000111MaRDI QIDQ3087435zbMATH OpenOpenAlexFDO

Authors Conrad Drescher, Michael Thielscher

Publication date 16 August 2011

Published in Theory and Practice of Logic Programming (Search for Journal in Brave)

Full work available at URL https://arxiv.org/abs/1107.5242

zbMATH Keywords

reasoning about actionsagent logic programs

Mathematics Subject Classification ID

Logic programming (68N17) Agent technology and artificial intelligence (68T42)

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.

Recommendations

• GOLOG: A logic programming language for dynamic domains
• Dynamic Logic for Plan Revision in Agent Programming
• Computational Logic in Multi-Agent Systems
• Programming rational agents in a modal action logic
• FLUX: A logic programming method for reasoning agents

Cited in

(4)

• Computational Logic in Multi-Agent Systems
• Assumable logic programming
• scientific article; zbMATH DE number 773989 (Why is no real title available?)
• scientific article; zbMATH DE number 1929205 (Why is no real title available?)

This page was built for publication: ALPprolog - a new logic programming method for dynamic domains

Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q3087435)