BibTeX record conf/hais/CantoneGA14

• > Home > conf/hais/CantoneGA14

@inproceedings{DBLP:conf/hais/CantoneGA14,
  author       = {Domenico Cantone and
                  Joanna Golinska{-}Pilarek and
                  Marianna Nicolosi Asmundo},
  editor       = {Marios M. Polycarpou and
                  Andr{\'{e}} Carlos Ponce de Leon Ferreira de Carvalho and
                  Jeng{-}Shyang Pan and
                  Michal Wozniak and
                  H{\'{e}}ctor Quinti{\'{a}}n and
                  Emilio Corchado},
  title        = {A Relational Dual Tableau Decision Procedure for Multimodal and Description
                  Logics},
  booktitle    = {Hybrid Artificial Intelligence Systems - 9th International Conference,
                  {HAIS} 2014, Salamanca, Spain, June 11-13, 2014. Proceedings},
  series       = {Lecture Notes in Computer Science},
  volume       = {8480},
  pages        = {466--477},
  publisher    = {Springer},
  year         = {2014},
  url          = {https://doi.org/10.1007/978-3-319-07617-1\_41},
  doi          = {10.1007/978-3-319-07617-1\_41},
  timestamp    = {Thu, 02 Apr 2020 11:52:52 +0200},
  biburl       = {https://dblp.org/rec/conf/hais/CantoneGA14.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}