ALPprolog - a new logic programming method for dynamic domains

DOI10.1017/S1471068411000111zbMATH Open1222.68057arXiv1107.5242OpenAlexW2088828181MaRDI QIDQ3087435FDOQ3087435

Authors: Conrad Drescher, Michael Thielscher 

Publication date: 16 August 2011

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

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.

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

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

zbMATH Keywords

reasoning about actionsagent logic programs

Mathematics Subject Classification ID

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

Cites Work

• Title not available (Why is that?)
• Title not available (Why is that?)
• Title not available (Why is that?)

Cited In (4)

• Computational Logic in Multi-Agent Systems
• Assumable logic programming
• Title not available (Why is that?)
• Title not available (Why is that?)

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)