Declarative Specification and Interpretation of Rule-Based Systems

Dietmar Seipel, Joachim Baumeister. Declarative Specification and Interpretation of Rule-Based Systems. In David Wilson, H. Chad Lane, editors, Proceedings of the Twenty-First International Florida Artificial Intelligence Research Society Conference, May 15-17, 2008, Coconut Grove, Florida, USA. pages 359-364, AAAI Press, 2008.

Abstract

Abstract is missing.