The following pages link to (Q4002238):
Displaying 4 items.
- Applications of the situation calculus to formalizing control and strategic information: the Prolog cut operator (Q1274764) (← links)
- How to progress a database (Q1402735) (← links)
- Loop formulas for circumscription (Q2457644) (← links)
- On strongest necessary and weakest sufficient conditions (Q5941135) (← links)
