Pages that link to "Item:Q2900545"

The following pages link to Answer Set Programming and Planning with Knowledge and World-Altering Actions in Multiple Agent Domains (Q2900545):

Displayed 2 items.

• Reasoning about actions with loops via Hoare logic (Q1712544) ‎ (← links)
• State transition in multi-agent epistemic domains using answer set programming (Q2694576) ‎ (← links)