Planning with regression analysis in transaction logic

DOI10.1007/978-3-319-22002-4_5zbMath1365.68384OpenAlexW1133241177MaRDI QIDQ2360182

Michael Kifer, Reza Basseda

Publication date: 26 June 2017

Full work available at URL: https://doi.org/10.1007/978-3-319-22002-4_5

Mathematics Subject Classification ID

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

Related Items (3)

Doctoral Consortium Extended Abstract: Planning with Concurrent Transaction Logic ⋮ Formalizing Goal Serializability for Evaluation of Planning Features ⋮ Non-commutative propositional logic with short-circuit evaluation

Cites Work

• Applications of the situation calculus to formalizing control and strategic information: the Prolog cut operator
• The logical foundations of goal-regression planning in autonomous agents
• An overview of transaction logic
• Using temporal logics to express search control knowledge for planning
• STRIPS: A new approach to the application of theorem proving to problem solving
• On Linear Logic Planning and Concurrency
• Planning as heuristic search
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item

This page was built for publication: Planning with regression analysis in transaction logic