scientific article; zbMATH DE number 1560498
From MaRDI portal
Publication:4527271
zbMath0963.68195MaRDI QIDQ4527271
Marco Roveri, Alessandro Cimatti
Publication date: 4 June 2001
Title: zbMATH Open Web Interface contents unavailable due to conflicting licenses.
Related Items (18)
State-set branching: leveraging BDDs for heuristic search ⋮ Symbolic techniques in satisfiability solving ⋮ Proof systems for planning under 0-approximation semantics ⋮ A generic approach to planning in the presence of incomplete information: theory and implementation ⋮ Extending Classical Planning to the Multi-agent Case: A Game-Theoretic Approach ⋮ Unnamed Item ⋮ Conformant planning via heuristic forward search: A new approach ⋮ Strong planning under partial observability ⋮ Fast strong planning for fully observable nondeterministic planning problems ⋮ Approximation of action theories and its application to conformant planning ⋮ Minimax real-time heuristic search ⋮ The symbolic OBDD scheme for generating mechanical assembly sequences ⋮ CPCES: a planning framework to solve conformant planning problems through a counterexample guided refinement ⋮ ACTION FAILURE RECOVERY VIA MODEL-BASED DIAGNOSIS AND CONFORMANT PLANNING ⋮ A logic programming approach to knowledge-state planning. II: The DLV\(^\mathcal K\) system ⋮ Weak, strong, and strong cyclic planning via symbolic model checking ⋮ SAT-based planning in complex domains: Concurrency, constraints and nondeterminism ⋮ Conformant planning via symbolic model checking and heuristic search
Uses Software
This page was built for publication:
