Reactive Policies with Planning for Action Languages

DOI10.1007/978-3-319-48758-8_30zbMath1483.68424arXiv1603.09495OpenAlexW2319771472MaRDI QIDQ2835891

Thomas Eiter, Zeynep G. Saribatur

Publication date: 30 November 2016

Published in: Logics in Artificial Intelligence (Search for Journal in Brave)

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

Mathematics Subject Classification ID

Logic in artificial intelligence (68T27) Agent technology and artificial intelligence (68T42)

Related Items (2)

What do you really want to do? Towards a theory of intentions for human-robot collaboration ⋮ Abstraction for non-ground answer set programs

Uses Software

• GOLOG
• ActHEX

Cites Work

• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• From logic programming towards multi-agent systems
• Strong planning under partial observability
• Verification of Golog Programs over Description Logic Actions
• GOLOG: A logic programming language for dynamic domains
• A logic programming approach to knowledge-state planning
• Formalizing sensing actions -- a transition function based approach

This page was built for publication: Reactive Policies with Planning for Action Languages