Planning as tabled logic programming

DOI10.1017/S1471068415000216zbMath1379.68287arXiv1507.03979OpenAlexW3098453185MaRDI QIDQ4592996

Neng-Fa Zhou, Agostino Dovier, Roman Barták

Publication date: 9 November 2017

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

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

Mathematics Subject Classification ID

Problem solving in the context of artificial intelligence (heuristics, search strategies, etc.) (68T20) Logic programming (68N17)

Related Items

Fixpoint semantics and optimization of recursive Datalog programs with aggregates, A temporal logic programming approach to planning

Uses Software

• GOLOG

Cites Work

• Unnamed Item
• Unnamed Item
• Unnamed Item
• Depth-first iterative-deepening: An optimal admissible tree search
• Answer set programming and plan generation
• Using temporal logics to express search control knowledge for planning
• Using Tabled Logic Programming to Solve the Petrobras Planning Problem
• Perspectives on Logic-Based Approaches for Reasoning about Actions and Change
• GOLOG: A logic programming language for dynamic domains
• Efficient tabling of structured data with enhanced hash-consing
• A logic programming approach to knowledge-state planning
• Tools and Algorithms for the Construction and Analysis of Systems
• Linear tabling strategies and optimizations