Reasoning and planning with sensing actions, incomplete information, and static causal laws using answer set programming

DOI10.1017/S1471068406002948zbMath1120.68101OpenAlexW1987742978MaRDI QIDQ5297630

Phan Huy Tu, Tran Cao Son, Chitta R. Baral

Publication date: 12 July 2007

Published in: Theory and Practice of Logic Programming (Search for Journal in Brave)

Full work available at URL: https://doi.org/10.1017/s1471068406002948

zbMATH Keywords

incomplete informationsensing actionsanswer set programmingconformant planningconditional planningreasoning about actions and changes

Mathematics Subject Classification ID

Reasoning under uncertainty in the context of artificial intelligence (68T37) Logic programming (68N17)

Related Items (12)

Hybrid conditional planning using answer set programming ⋮ Approximate postdictive reasoning with answer set programming ⋮ A history based approximate epistemic action theory for efficient postdictive reasoning ⋮ Proof systems for planning under 0-approximation semantics ⋮ Reducts of propositional theories, satisfiability relations, and generalizations of semantics of logic programs ⋮ State transition in multi-agent epistemic domains using answer set programming ⋮ Detecting and repairing anomalous evolutions in noisy environments. Logic programming formalization and complexity results ⋮ Reasoning about actions with loops via Hoare logic ⋮ Unnamed Item ⋮ Probabilistic Reasoning by SAT Solvers ⋮ Practical reasoning about knowledge states for open world planning with sensing ⋮ Planning with Incomplete Information in Quantified Answer Set Programming

Uses Software

• ASSAT
• Cmodels
• NoMoRe

Cites Work

• SAT-based planning in complex domains: Concurrency, constraints and nondeterminism
• Knowledge Representation, Reasoning and Declarative Problem Solving

This page was built for publication: Reasoning and planning with sensing actions, incomplete information, and static causal laws using answer set programming