The following pages link to (Q4707774):
Displayed 6 items.
- 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)
- Event calculus and temporal action logics compared (Q2457610) (← links)