Declarative Semantics for the Rule Interchange Format Production Rule Dialect

Carlos Viegas Damásio, José Júlio Alferes, João Leite. Declarative Semantics for the Rule Interchange Format Production Rule Dialect. In Peter F. Patel-Schneider, Yue Pan, Pascal Hitzler, Peter Mika, Lei Zhang 0007, Jeff Z. Pan, Ian Horrocks, Birte Glimm, editors, The Semantic Web - ISWC 2010 - 9th International Semantic Web Conference, ISWC 2010, Shanghai, China, November 7-11, 2010, Revised Selected Papers, Part I. Volume 6496 of Lecture Notes in Computer Science, pages 798-813, Springer, 2010. [doi]

@inproceedings{DamasioAL10,
  title = {Declarative Semantics for the Rule Interchange Format Production Rule Dialect},
  author = {Carlos Viegas Damásio and José Júlio Alferes and João Leite},
  year = {2010},
  doi = {10.1007/978-3-642-17746-0_50},
  url = {http://dx.doi.org/10.1007/978-3-642-17746-0_50},
  tags = {semantics, rule-based, rules},
  researchr = {https://researchr.org/publication/DamasioAL10},
  cites = {0},
  citedby = {0},
  pages = {798-813},
  booktitle = {The Semantic Web - ISWC 2010 - 9th International Semantic Web Conference, ISWC 2010, Shanghai, China, November 7-11, 2010, Revised Selected Papers, Part I},
  editor = {Peter F. Patel-Schneider and Yue Pan and Pascal Hitzler and Peter Mika and Lei Zhang 0007 and Jeff Z. Pan and Ian Horrocks and Birte Glimm},
  volume = {6496},
  series = {Lecture Notes in Computer Science},
  publisher = {Springer},
  isbn = {978-3-642-17745-3},
}