Modal vs. Propositional Reasoning for Model Checking With Description Logics

Title Modal vs. Propositional Reasoning for Model Checking With Description Logics
Author
Shoham Ben-David
Richard Trefler
Grant Weddell
Year of Publication
2007
Conference Name
Modal vs. Propositional Reasoning for Model Checking With Description Logics
URL
http://ceur-ws.org/Vol-250/paper_65.pdf
Download citation