Publication:4707774
From MaRDI portal
zbMath1012.68192MaRDI QIDQ4707774
Publication date: 11 June 2003
Full work available at URL: http://link.springer.de/link/service/series/0558/bibs/2408/24080452.htm
Related Items
John McCarthy's legacy, \(\mathcal M\)odular-\(\mathcal E\) and the role of elaboration tolerance in solving the qualification problem, Using abduction and induction for operational requirements elaboration, Nonmonotonic abductive inductive learning, Deriving non-zeno behaviour models from goal models using ILP, Event calculus and temporal action logics compared