scientific article; zbMATH DE number 1560500

zbMATH Open0963.68196MaRDI QIDQ4527273FDOQ4527273

Rune Møller Jensen, Manuela M. Veloso

Publication date: 4 June 2001

Title of this publication is not available (Why is that?)

Recommendations

• scientific article; zbMATH DE number 1560498
• Agent planning programs
• Task decomposition on abstract states, for planning under nondeterminism
• Weak, strong, and strong cyclic planning via symbolic model checking
• Strong planning under partial observability

zbMATH Keywords

ordered binary decision diagramsplanning domain description language

Mathematics Subject Classification ID

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

Cited In (6)

• State-set branching: leveraging BDDs for heuristic search
• Strong planning under partial observability
• Weak, strong, and strong cyclic planning via symbolic model checking
• The symbolic OBDD scheme for generating mechanical assembly sequences
• Task decomposition on abstract states, for planning under nondeterminism
• Action failure recovery via model-based diagnosis and conformant planning

Uses Software

• Walksat

This page was built for publication:

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