The following pages link to (Q4247256):
Displaying 8 items.
- Computational inductive definability (Q598276) (← links)
- Inductive situation calculus (Q1028914) (← links)
- Proving properties of states in the situation calculus (Q1313962) (← links)
- Integrating actions and state constraints: A closed-form solution to the ramification problem (sometimes) (Q1978240) (← links)
- Non-terminating processes in the situation calculus (Q2188782) (← links)
- (Q2763092) (← links)
- (Q3493322) (← links)
- SAT(ID): Satisfiability of Propositional Logic Extended with Inductive Definitions (Q3502709) (← links)