Pages that link to "Item:Q4352536"
From MaRDI portal
The following pages link to Rules as actions: A situation calculus semantics for logic programs (Q4352536):
Displaying 5 items.
- Stable models and circumscription (Q543596) (← links)
- Let's plan it deductively! (Q1274761) (← links)
- Applications of the situation calculus to formalizing control and strategic information: the Prolog cut operator (Q1274764) (← links)
- Thirteen Definitions of a Stable Model (Q3586017) (← links)
- Twelve Definitions of a Stable Model (Q5504644) (← links)