Shoham Ben-David, Richard J. Trefler, Grant E. Weddell. Modal vs. Propositional Reasoning for model checking with Description Logics. In Diego Calvanese, Enrico Franconi, Volker Haarslev, Domenico Lembo, Boris Motik, Anni-Yasmin Turhan, Sergio Tessaris, editors, Proceedings of the 2007 International Workshop on Description Logics (DL2007), Brixen-Bressanone, near Bozen-Bolzano, Italy, 8-10 June, 2007. Volume 250 of CEUR Workshop Proceedings, CEUR-WS.org, 2007. [doi]
@inproceedings{Ben-DavidTW07,
title = {Modal vs. Propositional Reasoning for model checking with Description Logics},
author = {Shoham Ben-David and Richard J. Trefler and Grant E. Weddell},
year = {2007},
url = {http://ceur-ws.org/Vol-250/paper_65.pdf},
tags = {modal logic, model checking, meta-model, e-science, logic, Meta-Environment},
researchr = {https://researchr.org/publication/Ben-DavidTW07},
cites = {0},
citedby = {0},
booktitle = {Proceedings of the 2007 International Workshop on Description Logics (DL2007), Brixen-Bressanone, near Bozen-Bolzano, Italy, 8-10 June, 2007},
editor = {Diego Calvanese and Enrico Franconi and Volker Haarslev and Domenico Lembo and Boris Motik and Anni-Yasmin Turhan and Sergio Tessaris},
volume = {250},
series = {CEUR Workshop Proceedings},
publisher = {CEUR-WS.org},
}