Pages that link to "Item:Q814436"
From MaRDI portal
The following pages link to A logic programming approach to knowledge-state planning. II: The DLV\(^\mathcal K\) system (Q814436):
Displayed 5 items.
- Conformant planning via symbolic model checking and heuristic search (Q814631) (← links)
- Modeling biological networks by action languages via answer set programming (Q941667) (← links)
- Undoing the effects of action sequences (Q946576) (← links)
- Conformant planning via heuristic forward search: A new approach (Q2457623) (← links)
- Strong planning under partial observability (Q2457630) (← links)