Lemma learning in the model evolution calculus


Baumgartner, P, Fuchs, A & Tinelli, C 2006, 'Lemma learning in the model evolution calculus', International Conference on Logic for Programming, Artificial Intelligence and Reasoning (LPAR 2006), ed. Miki Hermann, Andrei Voronkov, Springer, New York, pp. 572-586.



ANU Authors

Field of Research

  • Artificial Intelligence And Image Processing Not Elsewhere Classified

Updated:  27 September 2021 / Responsible Officer:  Director (Research Services Division) / Page Contact:  Researchers