Actions Over a Constructive Semantics for Description Logics

Loris Bozzato, Mauro Ferrari, Paola Villa. Actions Over a Constructive Semantics for Description Logics. Fundamenta Informaticae, 96(3):253-269, 2009. [doi]

@article{BozzatoFV09,
  title = {Actions Over a Constructive Semantics for Description Logics},
  author = {Loris Bozzato and Mauro Ferrari and Paola Villa},
  year = {2009},
  doi = {10.3233/FI-2009-178},
  url = {http://dx.doi.org/10.3233/FI-2009-178},
  tags = {semantics,  action semantics, logic},
  researchr = {https://researchr.org/publication/BozzatoFV09},
  cites = {0},
  citedby = {0},
  journal = {Fundamenta Informaticae},
  volume = {96},
  number = {3},
  pages = {253-269},
}