The following pages link to Frames in the space of situations (Q1174513):
Displaying 16 items.
- SAT-based planning in complex domains: Concurrency, constraints and nondeterminism (Q814472) (← links)
- On updates of hybrid knowledge bases composed of ontologies and rules (Q900304) (← links)
- Reasoning about actions: steady versus stabilizing state constraints (Q1274697) (← links)
- Let's plan it deductively! (Q1274761) (← links)
- Reasoning about nondeterministic and concurrent actions: A process algebra approach (Q1277769) (← links)
- Deriving properties of belief update from theories of action (Q1334984) (← links)
- Ramification and causality (Q1399132) (← links)
- Specifying causality in action theories: A default logic approach (Q1575839) (← links)
- A circumscriptive calculus of events (Q1855238) (← links)
- Applying the persistent set approach in temporal reasoning (Q1924730) (← links)
- Propositional belief base update and minimal change (Q1978472) (← links)
- Specifying and verifying interaction protocols in a temporal action logic (Q2372184) (← links)
- On propositional definability (Q2389643) (← links)
- A general first-order solution to the ramification problem with cycles (Q2446550) (← links)
- Reasoning about actions with \(\mathcal{EL}\) ontologies and temporal answer sets for DLTL (Q2694571) (← links)
- Reasoning about actions with Temporal Answer Sets (Q5299584) (← links)
