Applying the mu-calculus in planning and reasoning about action

DOI10.1093/LOGCOM/8.3.425zbMATH Open0904.68160OpenAlexW2002103066MaRDI QIDQ4209292

Munindar P. Singh

Publication date: 11 January 1999

Published in: Journal Of Logic And Computation (Search for Journal in Brave)

Full work available at URL: https://doi.org/10.1093/logcom/8.3.425

zbMATH Keywords

decision graphsplanning algorithms

Mathematics Subject Classification ID

Logic in artificial intelligence (68T27)

Recommendations

• Title not available (Why is that?) 👍 👎
• Title not available (Why is that?) 👍 👎
• Planning with natural actions in the situation calculus 👍 👎
• Complexity of Planning in Action Formalisms Based on Description Logics 👍 👎
• A Fluent Calculus Semantics for ADL with Plan Constraints 👍 👎
• Representing actions in logic programs and default theories a situation calculus approach 👍 👎
• An abductive event calculus planner 👍 👎
• Situational Calculus, linear connection proofs and STRIPS-like planning: An experimental comparison 👍 👎
• Incorporating Action Models into the Situation Calculus 👍 👎
• Efficient Reasoning About Action and Change in the Presence of Incomplete Information and Its Application in Planning 👍 👎

This page was built for publication: Applying the mu-calculus in planning and reasoning about action

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