Pages that link to "Item:Q2900545"
From MaRDI portal
The following pages link to Answer Set Programming and Planning with Knowledge and World-Altering Actions in Multiple Agent Domains (Q2900545):
Displaying 5 items.
- Reasoning about actions with loops via Hoare logic (Q1712544) (← links)
- State transition in multi-agent epistemic domains using answer set programming (Q2694576) (← links)
- Reasoning and planning with sensing actions, incomplete information, and static causal laws using answer set programming (Q5297630) (← links)
- Logic Programming (Q5313201) (← links)
- IASCAR: incremental answer set counting by anytime refinement (Q6656460) (← links)