Formalizing Production Systems with Rule-Based Ontologies

Martín Rezk, Michael Kifer. Formalizing Production Systems with Rule-Based Ontologies. In Thomas Lukasiewicz, Attila Sali, editors, Foundations of Information and Knowledge Systems - 7th International Symposium, FoIKS 2012, Kiel, Germany, March 5-9, 2012. Proceedings. Volume 7153 of Lecture Notes in Computer Science, pages 332-351, Springer, 2012. [doi]

Abstract

Abstract is missing.