Semantic Web and Algebraic Reasoning: Some First Applications Using Behavioral Specifications

Katerina Ksystra, Nikolaos Triantafyllou, Petros S. Stefaneas, Panayiotis Frangos. Semantic Web and Algebraic Reasoning: Some First Applications Using Behavioral Specifications. In Seventh International Workshop on Semantic and Social Media Adaptation and Personalization, SMAP 2012, Luxembourg City, Luxembourg, December 3-4, 2012. pages 81-86, IEEE, 2012. [doi]

@inproceedings{KsystraTSF12,
  title = {Semantic Web and Algebraic Reasoning: Some First Applications Using Behavioral Specifications},
  author = {Katerina Ksystra and Nikolaos Triantafyllou and Petros S. Stefaneas and Panayiotis Frangos},
  year = {2012},
  doi = {10.1109/SMAP.2012.8},
  url = {http://dx.doi.org/10.1109/SMAP.2012.8},
  researchr = {https://researchr.org/publication/KsystraTSF12},
  cites = {0},
  citedby = {0},
  pages = {81-86},
  booktitle = {Seventh International Workshop on Semantic and Social Media Adaptation and Personalization, SMAP 2012, Luxembourg City, Luxembourg, December 3-4, 2012},
  publisher = {IEEE},
  isbn = {978-1-4673-4563-7},
}