Pages that link to "Item:Q2551696"

The following pages link to STRIPS: A new approach to the application of theorem proving to problem solving (Q2551696):

Displaying 50 items.

• Reactive computing as model generation (Q264957) (← links)
• Goal distance estimation for automated planning using neural networks and support vector machines (Q269064) (← links)
• Applicability conditions for plans with loops: computability results and algorithms (Q359973) (← links)
• An action-based approach to the formal specification and automatic analysis of business processes under authorization constraints (Q414857) (← links)
• Monitoring and recovery for web service applications (Q488218) (← links)
• Robust planning with incomplete domain models (Q514145) (← links)
• Constructing situations and time (Q543532) (← links)
• John McCarthy's legacy (Q543573) (← links)
• A unifying action calculus (Q543584) (← links)
• From systems to logic in the early development of nonmonotonic reasoning (Q543606) (← links)
• The situation calculus: a case for modal logic (Q616039) (← links)
• The computational complexity of avoiding spurious states in state space abstraction (Q622104) (← links)
• Multiobjective heuristic state-space planning (Q814441) (← links)
• On the undecidability of probabilistic planning and related stochastic optimization problems (Q814465) (← links)
• Contingent planning under uncertainty via stochastic satisfiability (Q814473) (← links)
• Reconstructing force-dynamic models from video sequences (Q814526) (← links)
• A unifying semantics for time and events (Q814548) (← links)
• Nonmonotonic causal theories (Q814551) (← links)
• Representing the Zoo World and the Traffic World in the language of the Causal Calculator (Q814554) (← links)
• The representation of planning strategies (Q814562) (← links)
• Heuristic planning: A declarative approach based on strategies for action selection (Q814564) (← links)
• Learning from planner performance (Q835821) (← links)
• A heuristic search approach to planning with temporally extended preferences (Q835825) (← links)
• Practical solution techniques for first-order MDPs (Q835833) (← links)
• A preferential semantics for causal reasoning about action (Q862556) (← links)
• A history based approximate epistemic action theory for efficient postdictive reasoning (Q893597) (← links)
• The roles of associational and causal reasoning in problem solving. (Q989160) (← links)
• Linear temporal logic as an executable semantics for planning languages (Q1006453) (← links)
• Learning action models from plan examples using weighted MAX-SAT (Q1028900) (← links)
• \texttt{SymChaff}: Exploiting symmetry in a structure-aware satisfiability solver (Q1037644) (← links)
• Reasoning about actions with imprecise and incomplete state descriptions (Q1037952) (← links)
• Reasoning from last conflict(s) in constraint programming (Q1045989) (← links)
• Towards a general theory of action and time (Q1060013) (← links)
• Planning for conjunctive goals (Q1101262) (← links)
• Reasoning about action. I: A possible worlds approach (Q1103419) (← links)
• Reasoning about action. II: The qualification problem (Q1103420) (← links)
• A geometric approach to error detection recovery for robot motion planning with uncertainty (Q1116358) (← links)
• Planning parallel actions (Q1128648) (← links)
• State-variable planning under structural restrictions: algorithms and complexity (Q1128767) (← links)
• Extended inference modes in reasoning by computer systems (Q1140438) (← links)
• Non-monotonic logic. I (Q1140441) (← links)
• Synthesising recursive functions with side effects (Q1143825) (← links)
• Implementation of conjunctive and disjunctive fuzzy logic rules with neural networks (Q1190187) (← links)
• Gazing: An approach to the problem of definition and lemma use (Q1197385) (← links)
• Conceptual dependency and its descendants (Q1202622) (← links)
• Model verification and improvement using DISPROVER (Q1215412) (← links)
• Artificial intelligence and automatic programming in CAI (Q1218287) (← links)
• A logical theory of robot problem solving (Q1226869) (← links)
• Reasoning about partially ordered events (Q1263999) (← links)
• Inductive learning of search control rules for planning (Q1274272) (← links)