Efficient Model Construction for Horn Logic with VLog: Extended Abstract

From International Center for Computational Logic

Toggle side column

Efficient Model Construction for Horn Logic with VLog: Extended Abstract

Jacopo UrbaniJacopo Urbani,  Markus KrötzschMarkus Krötzsch,  Ceriel JacobsCeriel Jacobs,  Irina DragosteIrina Dragoste,  David CarralDavid Carral
Jacopo Urbani, Markus Krötzsch, Ceriel Jacobs, Irina Dragoste, David Carral
Efficient Model Construction for Horn Logic with VLog: Extended Abstract
Proceedings of the 31st International Workshop on Description Logics (DL 2018), to appear
@inproceedings{UKJDC2018,
  author    = {Jacopo Urbani and Markus Krötzsch and Ceriel Jacobs and
               Irina Dragoste and David Carral},
  title     = {Efficient Model Construction for Horn Logic with VLog},
  editor    = {Didier Galmiche and Stephan Schulz and Roberto Sebastiani},
  booktitle = {Proceedings of the 8th International Joint Conference on
               Automated Reasoning (IJCAR 2018)},
  series    = {LNCS},
  volume    = {10900},
  publisher = {Springer},
  year      = {2018},
  pages     = {680--688},
  doi       = {10.1007/978-3-319-94205-6_44}
}