Verification of Description Logic Knowledge and Action Bases. Hariri, B. B., Calvanese, D., Giacomo, G. D., Masellis, R. D., Felli, P., & Montali, M. In Raedt, L. D., Bessiere, C., Dubois, D., Doherty, P., Frasconi, P., Heintz, F., & Lucas, P. J. F., editors, 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, volume 242, of Frontiers in Artificial Intelligence and Applications, pages 103–108, 2012. IOS Press. Paper doi bibtex @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},
editor = {Luc De Raedt and
Christian Bessiere and
Didier Dubois and
Patrick Doherty and
Paolo Frasconi and
Fredrik Heintz and
Peter J. F. Lucas},
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},
series = {Frontiers in Artificial Intelligence and Applications},
volume = {242},
pages = {103--108},
publisher = {{IOS} Press},
year = {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}
}
Downloads: 0
{"_id":"Bewb3vqTDg8CRqY4K","bibbaseid":"hariri-calvanese-giacomo-masellis-felli-montali-verificationofdescriptionlogicknowledgeandactionbases-2012","downloads":0,"creationDate":"2015-11-14T23:04:35.715Z","title":"Verification of Description Logic Knowledge and Action Bases","author_short":["Hariri, B. B.","Calvanese, D.","Giacomo, G. D.","Masellis, R. D.","Felli, P.","Montali, M."],"year":2012,"bibtype":"inproceedings","biburl":"https://dblp.org/pid/g/GDGiacomo.bib","bibdata":{"bibtype":"inproceedings","type":"inproceedings","author":[{"firstnames":["Babak","Bagheri"],"propositions":[],"lastnames":["Hariri"],"suffixes":[]},{"firstnames":["Diego"],"propositions":[],"lastnames":["Calvanese"],"suffixes":[]},{"firstnames":["Giuseppe","De"],"propositions":[],"lastnames":["Giacomo"],"suffixes":[]},{"firstnames":["Riccardo","De"],"propositions":[],"lastnames":["Masellis"],"suffixes":[]},{"firstnames":["Paolo"],"propositions":[],"lastnames":["Felli"],"suffixes":[]},{"firstnames":["Marco"],"propositions":[],"lastnames":["Montali"],"suffixes":[]}],"editor":[{"firstnames":["Luc","De"],"propositions":[],"lastnames":["Raedt"],"suffixes":[]},{"firstnames":["Christian"],"propositions":[],"lastnames":["Bessiere"],"suffixes":[]},{"firstnames":["Didier"],"propositions":[],"lastnames":["Dubois"],"suffixes":[]},{"firstnames":["Patrick"],"propositions":[],"lastnames":["Doherty"],"suffixes":[]},{"firstnames":["Paolo"],"propositions":[],"lastnames":["Frasconi"],"suffixes":[]},{"firstnames":["Fredrik"],"propositions":[],"lastnames":["Heintz"],"suffixes":[]},{"firstnames":["Peter","J.","F."],"propositions":[],"lastnames":["Lucas"],"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","series":"Frontiers in Artificial Intelligence and Applications","volume":"242","pages":"103–108","publisher":"IOS Press","year":"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 editor = {Luc De Raedt and\n Christian Bessiere and\n Didier Dubois and\n Patrick Doherty and\n Paolo Frasconi and\n Fredrik Heintz and\n Peter J. F. Lucas},\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 series = {Frontiers in Artificial Intelligence and Applications},\n volume = {242},\n pages = {103--108},\n publisher = {{IOS} Press},\n year = {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.","Giacomo, G. D.","Masellis, R. D.","Felli, P.","Montali, M."],"editor_short":["Raedt, L. D.","Bessiere, C.","Dubois, D.","Doherty, P.","Frasconi, P.","Heintz, F.","Lucas, P. J. F."],"key":"DBLP:conf/ecai/HaririCGMFM12","id":"DBLP:conf/ecai/HaririCGMFM12","bibbaseid":"hariri-calvanese-giacomo-masellis-felli-montali-verificationofdescriptionlogicknowledgeandactionbases-2012","role":"author","urls":{"Paper":"https://doi.org/10.3233/978-1-61499-098-7-103"},"metadata":{"authorlinks":{}}},"search_terms":["verification","description","logic","knowledge","action","bases","hariri","calvanese","giacomo","masellis","felli","montali"],"keywords":[],"authorIDs":[],"dataSources":["emAAKcDBswBqHnsSL","nYZATui8QfoZTWDxh"]}