Constructive Satisfiability Procedure for ALC\(^\mboxP\)(Z) (Preliminary Report)

Labai, Nadia; Homola, Martin; Ortiz, Magdalena

by Nadia Labai, Martin Homola, Magdalena Ortiz

Reference:

Constructive Satisfiability Procedure for ALC\(^\mboxP\)(Z) (Preliminary Report)Nadia Labai, Martin Homola, Magdalena OrtizProceedings of the 30th International Workshop on Description Logics, Montpellier, France, July 18-21, 2017. (Alessandro Artale, Birte Glimm, Roman Kontchakov, eds.), volume 1879 of CEUR Workshop Proceedings, 2017, CEUR-WS.org.

Bibtex Entry:

@inproceedings{DBLP:conf/dlog/LabaiHO17,
  author    = {Nadia Labai and
               Martin Homola and
               Magdalena Ortiz},
  editor    = {Alessandro Artale and
               Birte Glimm and
               Roman Kontchakov},
  title     = {Constructive Satisfiability Procedure for ALC\({}^{\mbox{P}}\)(Z)
               (Preliminary Report)},
  booktitle = {Proceedings of the 30th International Workshop on Description Logics,
               Montpellier, France, July 18-21, 2017.},
  series    = {{CEUR} Workshop Proceedings},
  volume    = {1879},
  publisher = {CEUR-WS.org},
  year      = {2017},
  url       = {http://ceur-ws.org/Vol-1879/paper16.pdf},
  timestamp = {Thu, 20 Jul 2017 09:50:21 +0200},
  biburl    = {https://dblp.org/rec/bib/conf/dlog/LabaiHO17},
  bibsource = {dblp computer science bibliography, https://dblp.org}
}