Pages that link to "Item:Q5297630"
From MaRDI portal
The following pages link to Reasoning and planning with sensing actions, incomplete information, and static causal laws using answer set programming (Q5297630):
Displaying 15 items.
- Reducts of propositional theories, satisfiability relations, and generalizations of semantics of logic programs (Q622117) (← links)
- Detecting and repairing anomalous evolutions in noisy environments. Logic programming formalization and complexity results (Q645074) (← links)
- Approximate postdictive reasoning with answer set programming (Q893596) (← links)
- A history based approximate epistemic action theory for efficient postdictive reasoning (Q893597) (← links)
- Proof systems for planning under 0-approximation semantics (Q893736) (← links)
- Reasoning about actions with loops via Hoare logic (Q1712544) (← links)
- Characterizing causal action theories and their implementations in answer set programming (Q2407453) (← links)
- State transition in multi-agent epistemic domains using answer set programming (Q2694576) (← links)
- Probabilistic Reasoning by SAT Solvers (Q3638188) (← links)
- Practical reasoning about knowledge states for open world planning with sensing (Q3647290) (← links)
- Hybrid conditional planning using answer set programming (Q4592727) (← links)
- Planning with Incomplete Information in Quantified Answer Set Programming (Q5019607) (← links)
- (Q5020546) (← links)
- Reasoning about actions with sensing under qualitative and probabilistic uncertainty (Q5277823) (← links)
- Logic Programming and Nonmonotonic Reasoning (Q5424879) (← links)
