The following pages link to Inductive situation calculus (Q1028914):
Displaying 5 items.
- The aspect calculus (Q2305430) (← links)
- A general first-order solution to the ramification problem with cycles (Q2446550) (← links)
- (Q3493322) (← links)
- The ramification problem in temporal databases: Concurrent execution (Q3563646) (← links)
- A logic of nonmonotone inductive definitions (Q5277803) (← links)