Logic Programming

DOI10.1007/B99475MaRDI QIDQ5313201zbMATH OpenOpenAlexFDO

Authors Jia-Huai You, Li Yan Yuan, Xiumei Jia

Publication date 26 August 2005

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

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

Mathematics Subject Classification ID

Problem solving in the context of artificial intelligence (heuristics, search strategies, etc.) (68T20) Knowledge representation (68T30) Logic programming (68N17)

Recommendations

• Domain-dependent knowledge in answer set planning
• scientific article; zbMATH DE number 1884393
• Answer set programming and planning with knowledge and world-altering actions in multiple agent domains
• Approximate Epistemic Planning with Postdiction as Answer-Set Programming
• Answer set programming and its applications in planning and multi-agent systems
• Planning with Incomplete Information in Quantified Answer Set Programming
• Answer set programming and plan generation
• Planning in answer set programming using ordered task decomposition
• Planning in answer set programming using ordered task decomposition

Cited in

(6)

• Strategy of extracting domain knowledge for the STRIPS world based on derived predicates
• Comparing planning domain models using answer set programming
• Approximate Epistemic Planning with Postdiction as Answer-Set Programming
• Encoding domain and control knowledge for propositional planning
• scientific article; zbMATH DE number 1884393 (Why is no real title available?)
• Domain-dependent knowledge in answer set planning

Describes a project that uses

Uses Software

• GOLOG
• Smodels
• CPlan

This page was built for publication: Logic Programming

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