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]

@inproceedings{GiurcaW05,
  title = {Towards an Abstract Syntax and Direct-Model Theoretic Semantics for RuleML},
  author = {Adrian Giurca and Gerd Wagner},
  year = {2005},
  doi = {10.1007/11580072_5},
  url = {http://dx.doi.org/10.1007/11580072_5},
  tags = {semantics, abstract syntax},
  researchr = {https://researchr.org/publication/GiurcaW05},
  cites = {0},
  citedby = {0},
  pages = {45-55},
  booktitle = {Rules and Rule Markup Languages for the Semantic Web, First International Conference, RuleML 2005, Galway, Ireland, November 10-12, 2005, Proceedings},
  editor = {Asaf Adi and Suzette Stoutenburg and Said Tabet},
  volume = {3791},
  series = {Lecture Notes in Computer Science},
  publisher = {Springer},
  isbn = {3-540-29922-X},
}