Let's plan it deductively!

DOI10.1016/S0004-3702(98)00064-2zbMath0909.68166MaRDI QIDQ1274761

Wolfgang Bibel

Publication date: 12 January 1999

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

zbMATH Keywords

planningramificationframe problemautomated deductionqualificationlinear connection methodreasoning about actions and causalitytransition logic

Mathematics Subject Classification ID

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

Related Items (2)

Linear temporal logic as an executable semantics for planning languages ⋮ The qualification problem: A solution to the problem of anomalous models

Uses Software

• E-SETHEO
• Graphplan
• UCPOP
• Unnamed Item

Cites Work

• A deductive solution for plan generation
• Linear logic
• A new deductive approach to planning
• Reasoning about action. I: A possible worlds approach
• Constraint satisfaction from a deductive viewpoint
• Linearity and plan generation
• Frames in the space of situations
• SETHEO: A high-performance theorem prover
• Probabilistic Horn abduction and Bayesian networks
• Automated deduction techniques for classification in description logic systems
• Ramification and causality
• STRIPS: A new approach to the application of theorem proving to problem solving
• The Mathematics of Sentence Structure
• Explicit and implicit indeterminism reasoning about uncertain and contradictory specifications of dynamic systems
• Rules as actions: A situation calculus semantics for logic programs
• Linear deductive planning
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item

This page was built for publication: Let's plan it deductively!