Incremental guideline formalization with tool support

Radu Serban, Anna Puig-Centelles, Annette ten Teije. Incremental guideline formalization with tool support. In Ilias Maglogiannis, Kostas Karpouzis, Max Bramer, editors, Artificial Intelligence Applications and Innovations, 3rd IFIP Conference on Artificial Intelligence Applications and Innovations (AIAI) 2006, June 7-9, 2006, Athens, Greece. Volume 204 of IFIP, pages 106-118, Springer, 2006. [doi]

Abstract

Abstract is missing.