The following pages link to (Q4707774):
Displayed 11 items.
- Reactive computing as model generation (Q264957) (← links)
- John McCarthy's legacy (Q543573) (← links)
- \(\mathcal M\)odular-\(\mathcal E\) and the role of elaboration tolerance in solving the qualification problem (Q543579) (← links)
- Using abduction and induction for operational requirements elaboration (Q833728) (← links)
- Nonmonotonic abductive inductive learning (Q833734) (← links)
- Deriving non-zeno behaviour models from goal models using ILP (Q973050) (← links)
- Probabilistic reasoning about epistemic action narratives (Q2211870) (← links)
- Event calculus and temporal action logics compared (Q2457610) (← links)
- Probabilistic Event Calculus for Event Recognition (Q2946767) (← links)
- An event calculus production rule system for reasoning in dynamic and uncertain domains (Q4593031) (← links)
- (Q5240229) (← links)