Artificial intelligence planning methods based on automated reasoning techniques

DOI10.3724/SP.J.1001.2009.03468MaRDI QIDQ3054224zbMATH OpenFDO

Authors Shuai Lü, Lei Liu, Lian Shi, Ying Li

Publication date 5 November 2010

Published in Journal of Software (Search for Journal in Brave)

Full work available at URL https://doi.org/10.3724/SP.J.1001.2009.03468

zbMATH Keywords

automated reasoningdescription logicintelligent planningmodal logicnonmonotonic logicpropositional logic

Mathematics Subject Classification ID

General topics in artificial intelligence (68T01) Logic in artificial intelligence (68T27)

Recommendations

• AI planning in a constraint programming framework
• scientific article; zbMATH DE number 2201583
• scientific article; zbMATH DE number 49438
• scientific article; zbMATH DE number 140366
• A Concise Introduction to Models and Methods for Automated Planning

Cited in

(2)

• AI planning in a constraint programming framework
• A Concise Introduction to Models and Methods for Automated Planning

This page was built for publication: Artificial intelligence planning methods based on automated reasoning techniques

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