Formalizing Goal Serializability for Evaluation of Planning Features

DOI10.1007/978-3-319-48758-8_33zbMath1483.68368OpenAlexW2545645150MaRDI QIDQ2835895

Michael Kifer, Reza Basseda

Publication date: 30 November 2016

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

Full work available at URL: https://doi.org/10.1007/978-3-319-48758-8_33

zbMATH Keywords

deductive planningSTRIPS planningtransaction logic

Mathematics Subject Classification ID

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

Cites Work

• Unnamed Item
• An overview of transaction logic
• Planning with regression analysis in transaction logic
• STRIPS: A new approach to the application of theorem proving to problem solving
• On Linear Logic Planning and Concurrency

This page was built for publication: Formalizing Goal Serializability for Evaluation of Planning Features