Towards a Logical Foundation of Reification in Modelling Languages

Alessandro Artale, Enrico Franconi. Towards a Logical Foundation of Reification in Modelling Languages. In Stefano Borgo, Roberta Ferrario, Claudio Masolo, Laure Vieu, editors, Ontology Makes Sense - Essays in honor of Nicola Guarino. Volume 316 of Frontiers in Artificial Intelligence and Applications, pages 242-256, IOS Press, 2019. [doi]

@inproceedings{ArtaleF19,
  title = {Towards a Logical Foundation of Reification in Modelling Languages},
  author = {Alessandro Artale and Enrico Franconi},
  year = {2019},
  doi = {10.3233/978-1-61499-955-3-242},
  url = {https://doi.org/10.3233/978-1-61499-955-3-242},
  researchr = {https://researchr.org/publication/ArtaleF19},
  cites = {0},
  citedby = {0},
  pages = {242-256},
  booktitle = {Ontology Makes Sense - Essays in honor of Nicola Guarino},
  editor = {Stefano Borgo and Roberta Ferrario and Claudio Masolo and Laure Vieu},
  volume = {316},
  series = {Frontiers in Artificial Intelligence and Applications},
  publisher = {IOS Press},
  isbn = {978-1-61499-955-3},
}