@inproceedings{ dblp1850283,
  title = {Verification of Description Logic Knowledge and Action Bases},
  author = {Babak Bagheri Hariri and Diego Calvanese and Giuseppe De Giacomo and Riccardo De Masellis and Paolo Felli and Marco Montali},
  author_short = {Bagheri Hariri, B. and Calvanese, D. and De Giacomo, G. and De Masellis, R. and Felli, P. and Montali, M.},
  bibtype = {inproceedings},
  type = {inproceedings},
  year = {2012},
  key = {dblp1850283},
  id = {dblp1850283},
  biburl = {http://www.dblp.org/rec/bibtex/conf/ecai/HaririCGMFM12},
  url = {http://dx.doi.org/10.3233/978-1-61499-098-7-103},
  conference = {ECAI},
  pages = {103-108},
  text = {ECAI 2012:103-108},
  booktitle = {Proceedings of European Conference on Artificial Intelligence (ECAI)}
}

{"_id":{"_str":"54182ba2ffe14fcc4f000c58"},"__v":0,"authorIDs":[],"author_short":["Bagheri Hariri, B.","Calvanese, D.","De Giacomo, G.","De Masellis, R.","Felli, P.","Montali, M."],"bibbaseid":"bagherihariri-calvanese-degiacomo-demasellis-felli-montali-verificationofdescriptionlogicknowledgeandactionbases-2012","bibdata":{"downloads":0,"urls":{"Paper":"http://dx.doi.org/10.3233/978-1-61499-098-7-103"},"role":"author","bibbaseid":"bagherihariri-calvanese-degiacomo-demasellis-felli-montali-verificationofdescriptionlogicknowledgeandactionbases-2012","bibtex":"@inproceedings{ dblp1850283,\n title = {Verification of Description Logic Knowledge and Action Bases},\n author = {Babak Bagheri Hariri and Diego Calvanese and Giuseppe De Giacomo and Riccardo De Masellis and Paolo Felli and Marco Montali},\n author_short = {Bagheri Hariri, B. and Calvanese, D. and De Giacomo, G. and De Masellis, R. and Felli, P. and Montali, M.},\n bibtype = {inproceedings},\n type = {inproceedings},\n year = {2012},\n key = {dblp1850283},\n id = {dblp1850283},\n biburl = {http://www.dblp.org/rec/bibtex/conf/ecai/HaririCGMFM12},\n url = {http://dx.doi.org/10.3233/978-1-61499-098-7-103},\n conference = {ECAI},\n pages = {103-108},\n text = {ECAI 2012:103-108},\n booktitle = {Proceedings of European Conference on Artificial Intelligence (ECAI)}\n}","booktitle":"Proceedings of European Conference on Artificial Intelligence (ECAI)","text":"ECAI 2012:103-108","pages":"103-108","conference":"ECAI","url":"http://dx.doi.org/10.3233/978-1-61499-098-7-103","biburl":"http://www.dblp.org/rec/bibtex/conf/ecai/HaririCGMFM12","id":"dblp1850283","key":"dblp1850283","year":"2012","type":"inproceedings","bibtype":"inproceedings","author_short":["Bagheri Hariri, B.","Calvanese, D.","De Giacomo, G.","De Masellis, R.","Felli, P.","Montali, M."],"author":["Babak Bagheri Hariri","Diego Calvanese","Giuseppe De Giacomo","Riccardo De Masellis","Paolo Felli","Marco Montali"],"title":"Verification of Description Logic Knowledge and Action Bases"},"bibtype":"inproceedings","biburl":"http://www.dblp.org/rec/bibtex/conf/ecai/HaririCGMFM12","creationDate":"2014-09-16T12:22:58.311Z","downloads":0,"keywords":[],"search_terms":["verification","description","logic","knowledge","action","bases","bagheri hariri","calvanese","de giacomo","de masellis","felli","montali"],"title":"Verification of Description Logic Knowledge and Action Bases","year":2012,"dataSources":["zbXt3zvb72isakXBB"]}