scientific article; zbMATH DE number 1560500

MaRDI QIDQ4527273zbMATHFDO

Authors Rune Møller Jensen, Manuela M. Veloso

Publication date 4 June 2001

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)

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

Cited in

(6)

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

Describes a project that uses

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)