Towards Types for Web Rule Languages

Wlodzimierz Drabent. Towards Types for Web Rule Languages. In Norbert Eisinger, Jan Maluszynski, editors, Reasoning Web, First International Summer School 2005, Msida, Malta, July 25-29, 2005, Tutorial Lectures. Volume 3564 of Lecture Notes in Computer Science, pages 305-317, Springer, 2005. [doi]

@inproceedings{Drabent05,
  title = {Towards Types for Web Rule Languages},
  author = {Wlodzimierz Drabent},
  year = {2005},
  doi = {10.1007/11526988_10},
  url = {http://dx.doi.org/10.1007/11526988_10},
  tags = {rule-based, rules},
  researchr = {https://researchr.org/publication/Drabent05},
  cites = {0},
  citedby = {0},
  pages = {305-317},
  booktitle = {Reasoning Web, First International Summer School 2005, Msida, Malta, July 25-29, 2005, Tutorial Lectures},
  editor = {Norbert Eisinger and Jan Maluszynski},
  volume = {3564},
  series = {Lecture Notes in Computer Science},
  publisher = {Springer},
  isbn = {3-540-27828-1},
}