Knowledge compilation using interval automata and applications to planning

DOI10.3233/978-1-60750-606-5-459MaRDI QIDQ2999176zbMATH OpenFDO

Authors Alexandre Niveau, Hélène Fargier, Cédric Pralet, Gérard Verfaillie

Publication date 11 May 2011

Full work available at URL https://doi.org/10.3233/978-1-60750-606-5-459

Mathematics Subject Classification ID

Formal languages and automata (68Q45) Knowledge representation (68T30)

Recommendations

• scientific article; zbMATH DE number 1946853
• Compiling constraint satisfaction problems
• Symmetry-driven decision diagrams for knowledge compilation
• Automaton plans
• Compiling CSPs into tree-driven automata for interactive solving

Describes a project that uses

Uses Software

• RealPaver

This page was built for publication: Knowledge compilation using interval automata and applications to planning

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