Towards an Abstract Syntax and Direct-Model Theoretic Semantics for RuleML

Adrian Giurca, Gerd Wagner. Towards an Abstract Syntax and Direct-Model Theoretic Semantics for RuleML. In Asaf Adi, Suzette Stoutenburg, Said Tabet, editors, Rules and Rule Markup Languages for the Semantic Web, First International Conference, RuleML 2005, Galway, Ireland, November 10-12, 2005, Proceedings. Volume 3791 of Lecture Notes in Computer Science, pages 45-55, Springer, 2005. [doi]

Abstract

Abstract is missing.