Logic Programming and Nonmonotonic Reasoning

DOI10.1007/11546207MaRDI QIDQ5473969zbMATH OpenOpenAlexFDO

Authors Phan Huy Tu, A. Ricardo Morales, Tran Cao Son, Michael Gelfond

Publication date 23 June 2006

Published in Lecture Notes in Computer Science (Search for Journal in Brave)

Full work available at URL https://doi.org/10.1007/11546207

Mathematics Subject Classification ID

Logic programming (68N17) Logic in artificial intelligence (68T27)

Recommendations

• Approximation of action theories and its application to conformant planning
• Provably correct theories of action
• Approximate Epistemic Planning with Postdiction as Answer-Set Programming
• A dynamic epistemic framework for conformant planning
• scientific article; zbMATH DE number 1368932

Cited in

(8)

• Approximate planning
• An approximative inference method for solving \(\exists \forall \)SO satisfiability problems
• Planning with Incomplete Information in Quantified Answer Set Programming
• Modelling multi-agent epistemic planning in ASP
• Approximation of action theories and its application to conformant planning
• Answer set planning: a survey
• A history based approximate epistemic action theory for efficient postdictive reasoning
• Proof systems for planning under 0-approximation semantics

This page was built for publication: Logic Programming and Nonmonotonic Reasoning

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