Ben-David, S. ., Trefler, R. J., & Weddell, G. . (2006). Model Checking the Basic Modalities of CTL With Description Logic. Model Checking the Basic Modalities of CTL With Description Logic. Presented at the. Retrieved from http://ceur-ws.org/Vol-189/submission_33.pdf
Reference author: Richard Trefler
First name
Richard
Middle name
J.
Last name
Trefler
Ben-David, S. ., Trefler, R. J., & Weddell, G. . (2007). Bounded Model Checking With Description Logic Reasoning. Bounded Model Checking With Description Logic Reasoning. Presented at the. https://doi.org/10.1007/978-3-540-73099-6_7
Ben-David, S. ., Trefler, R. J., & Weddell, G. . (2007). Modal vs. Propositional Reasoning for Model Checking With Description Logics. Modal Vs. Propositional Reasoning for Model Checking With Description Logics. Presented at the. Retrieved from http://ceur-ws.org/Vol-250/paper_65.pdf
Ben-David, S. ., Pound, J. ., Trefler, R. J., Tsarkov, D. ., & Weddell, G. . (2009). Fair Cycle Detection Using Description Logic Reasoning. Fair Cycle Detection Using Description Logic Reasoning. Presented at the. Retrieved from http://ceur-ws.org/Vol-477/paper_56.pdf
Ben-David, S. ., Trefler, R. J., & Weddell, G. . (2006). Model Checking the Basic Modalities of CTL With Description Logic. Model Checking the Basic Modalities of CTL With Description Logic. Presented at the. Retrieved from http://ceur-ws.org/Vol-189/submission_33.pdf
Ben-David, S. ., Trefler, R. J., & Weddell, G. . (2007). Bounded Model Checking With Description Logic Reasoning. Bounded Model Checking With Description Logic Reasoning. Presented at the. https://doi.org/10.1007/978-3-540-73099-6_7
Ben-David, S. ., Trefler, R. J., & Weddell, G. . (2007). Modal vs. Propositional Reasoning for Model Checking With Description Logics. Modal Vs. Propositional Reasoning for Model Checking With Description Logics . Presented at the. Retrieved from http://ceur-ws.org/Vol-250/paper_65.pdf