scientific article; zbMATH DE number 1931653

zbMATH Open1013.68094MaRDI QIDQ4708911FDOQ4708911

Hudson Turner

Publication date: 20 June 2003

Full work available at URL: http://link.springer.de/link/service/series/0558/bibs/2424/24240111.htm

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

Mathematics Subject Classification ID

Analysis of algorithms and problem complexity (68Q25) Logic in artificial intelligence (68T27)

Cited In (11)

• Conformant planning via heuristic forward search: A new approach
• Planning with Incomplete Information in Quantified Answer Set Programming
• Thirty years of Epistemic Specifications
• A self-adaptive multi-engine solver for quantified Boolean formulas
• DEL-based epistemic planning: decidability and complexity
• Conformant plans and beyond: principles and complexity
• Reactive Policies with Planning for Action Languages
• Approximation of action theories and its application to conformant planning
• Planning with partial observability by SAT
• Undoing the effects of action sequences
• Enhancing disjunctive logic programming systems by SAT checkers

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 Q4708911)