BibTeX record conf/aiia/GiordanoGOPV15

• > Home > conf/aiia/GiordanoGOPV15

@inproceedings{DBLP:conf/aiia/GiordanoGOPV15,
  author       = {Laura Giordano and
                  Valentina Gliozzi and
                  Nicola Olivetti and
                  Gian Luca Pozzato and
                  Luca Violanti},
  editor       = {Marco Gavanelli and
                  Evelina Lamma and
                  Fabrizio Riguzzi},
  title        = {A Multi-engine Theorem Prover for a Description Logic of Typicality},
  booktitle    = {AI*IA 2015, Advances in Artificial Intelligence - XIVth International
                  Conference of the Italian Association for Artificial Intelligence,
                  Ferrara, Italy, September 23-25, 2015, Proceedings},
  series       = {Lecture Notes in Computer Science},
  volume       = {9336},
  pages        = {164--178},
  publisher    = {Springer},
  year         = {2015},
  url          = {https://doi.org/10.1007/978-3-319-24309-2\_13},
  doi          = {10.1007/978-3-319-24309-2\_13},
  timestamp    = {Tue, 14 May 2019 10:00:52 +0200},
  biburl       = {https://dblp.org/rec/conf/aiia/GiordanoGOPV15.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}