@inproceedings{DBLP:conf/ecai/HaririCGMFM12,
  author    = {Babak Bagheri Hariri and
               Diego Calvanese and
               Giuseppe {De Giacomo} and
               Riccardo {De Masellis} and
               Paolo Felli and
               Marco Montali},
  title     = {Verification of Description Logic Knowledge and Action Bases},
  booktitle = {{ECAI} 2012 - 20th European Conference on Artificial Intelligence.
               Including Prestigious Applications of Artificial Intelligence {(PAIS-2012)}
               System Demonstrations Track, Montpellier, France, August 27-31 , 2012},
  pages     = {103--108},
  year      = {2012},
  crossref  = {DBLP:conf/ecai/2012},
  url       = {https://doi.org/10.3233/978-1-61499-098-7-103},
  doi       = {10.3233/978-1-61499-098-7-103},
  timestamp = {Mon, 18 Nov 2019 15:00:16 +0100},
  biburl    = {https://dblp.org/rec/conf/ecai/HaririCGMFM12.bib},
  bibsource = {dblp computer science bibliography, https://dblp.org}
}

{"_id":"2b8XJhQfZK6a84Xzr","bibbaseid":"hariri-calvanese-degiacomo-demasellis-felli-montali-verificationofdescriptionlogicknowledgeandactionbases-2012","authorIDs":[],"author_short":["Hariri, B. B.","Calvanese, D.","De Giacomo, G.","De Masellis, R.","Felli, P.","Montali, M."],"bibdata":{"bibtype":"inproceedings","type":"inproceedings","author":[{"firstnames":["Babak","Bagheri"],"propositions":[],"lastnames":["Hariri"],"suffixes":[]},{"firstnames":["Diego"],"propositions":[],"lastnames":["Calvanese"],"suffixes":[]},{"firstnames":["Giuseppe"],"propositions":[],"lastnames":["De Giacomo"],"suffixes":[]},{"firstnames":["Riccardo"],"propositions":[],"lastnames":["De Masellis"],"suffixes":[]},{"firstnames":["Paolo"],"propositions":[],"lastnames":["Felli"],"suffixes":[]},{"firstnames":["Marco"],"propositions":[],"lastnames":["Montali"],"suffixes":[]}],"title":"Verification of Description Logic Knowledge and Action Bases","booktitle":"ECAI 2012 - 20th European Conference on Artificial Intelligence. Including Prestigious Applications of Artificial Intelligence (PAIS-2012) System Demonstrations Track, Montpellier, France, August 27-31 , 2012","pages":"103–108","year":"2012","crossref":"DBLP:conf/ecai/2012","url":"https://doi.org/10.3233/978-1-61499-098-7-103","doi":"10.3233/978-1-61499-098-7-103","timestamp":"Mon, 18 Nov 2019 15:00:16 +0100","biburl":"https://dblp.org/rec/conf/ecai/HaririCGMFM12.bib","bibsource":"dblp computer science bibliography, https://dblp.org","bibtex":"@inproceedings{DBLP:conf/ecai/HaririCGMFM12,\n author = {Babak Bagheri Hariri and\n Diego Calvanese and\n Giuseppe {De Giacomo} and\n Riccardo {De Masellis} and\n Paolo Felli and\n Marco Montali},\n title = {Verification of Description Logic Knowledge and Action Bases},\n booktitle = {{ECAI} 2012 - 20th European Conference on Artificial Intelligence.\n Including Prestigious Applications of Artificial Intelligence {(PAIS-2012)}\n System Demonstrations Track, Montpellier, France, August 27-31 , 2012},\n pages = {103--108},\n year = {2012},\n crossref = {DBLP:conf/ecai/2012},\n url = {https://doi.org/10.3233/978-1-61499-098-7-103},\n doi = {10.3233/978-1-61499-098-7-103},\n timestamp = {Mon, 18 Nov 2019 15:00:16 +0100},\n biburl = {https://dblp.org/rec/conf/ecai/HaririCGMFM12.bib},\n bibsource = {dblp computer science bibliography, https://dblp.org}\n}\n\n","author_short":["Hariri, B. B.","Calvanese, D.","De Giacomo, G.","De Masellis, R.","Felli, P.","Montali, M."],"key":"DBLP:conf/ecai/HaririCGMFM12","id":"DBLP:conf/ecai/HaririCGMFM12","bibbaseid":"hariri-calvanese-degiacomo-demasellis-felli-montali-verificationofdescriptionlogicknowledgeandactionbases-2012","role":"author","urls":{"Paper":"https://doi.org/10.3233/978-1-61499-098-7-103"},"downloads":0},"bibtype":"inproceedings","biburl":"https://raw.githubusercontent.com/whitemech/whitemech.github.io/master/whitemech-publications.bib","creationDate":"2020-03-01T13:35:45.386Z","downloads":0,"keywords":[],"search_terms":["verification","description","logic","knowledge","action","bases","hariri","calvanese","de giacomo","de masellis","felli","montali"],"title":"Verification of Description Logic Knowledge and Action Bases","year":2012,"dataSources":["a7J9cXfn5aGm5Rka2"]}