Ben-David, S., Trefler, R. J., & Weddell, G. (2006). Model Checking the Basic Modalities of CTL With Description Logic Presented at the Model Checking the Basic Modalities of CTL With Description Logic conference. 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 Presented at the Bounded Model Checking With Description Logic Reasoning conference. 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 Presented at the Modal Vs. Propositional Reasoning for Model Checking With Description Logics conference. 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 Presented at the Fair Cycle Detection Using Description Logic Reasoning conference. 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 Presented at the Model Checking the Basic Modalities of CTL With Description Logic conference. 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 Presented at the Bounded Model Checking With Description Logic Reasoning conference. 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 Presented at the Modal Vs. Propositional Reasoning for Model Checking With Description Logics conference. Retrieved from http://ceur-ws.org/Vol-250/paper_65.pdf