Planning with regression analysis in transaction logic

DOI10.1007/978-3-319-22002-4_5MaRDI QIDQ2360182zbMATH OpenOpenAlexFDO

Authors Reza Basseda, Michael Kifer

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

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

Recommendations

• Regression planning
• Formalizing Goal Serializability for Evaluation of Planning Features
• A probabilistic analysis of propositional STRIPS planning
• Fast planning through planning graph analysis
• The logical foundations of goal-regression planning in autonomous agents

Cites work

• scientific article; zbMATH DE number 3872640 (Why is no real title available?)
• scientific article; zbMATH DE number 3657150 (Why is no real title available?)
• scientific article; zbMATH DE number 52885 (Why is no real title available?)
• scientific article; zbMATH DE number 1182730 (Why is no real title available?)
• scientific article; zbMATH DE number 1536548 (Why is no real title available?)
• scientific article; zbMATH DE number 1759374 (Why is no real title available?)
• scientific article; zbMATH DE number 1820675 (Why is no real title available?)
• scientific article; zbMATH DE number 2201583 (Why is no real title available?)
• An overview of transaction logic
• Applications of the situation calculus to formalizing control and strategic information: the Prolog cut operator
• On Linear Logic Planning and Concurrency
• Planning as heuristic search
• STRIPS: A new approach to the application of theorem proving to problem solving
• The logical foundations of goal-regression planning in autonomous agents
• Using temporal logics to express search control knowledge for planning

Cited in

(4)

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

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

Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q2360182)