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
References
Filter by:
Hudek, A. K., & Weddell, G. (2006). Binary Absorption in Tableaux-Based Reasoning for Description Logics Presented at the Binary Absorption in Tableaux-Based Reasoning for Description Logics conference. Retrieved from http://ceur-ws.org/Vol-189/submission_34.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
Hudek, A. K., & Weddell, G. (2006). Binary Absorption in Tableaux-Based Reasoning for Description Logics Presented at the Binary Absorption in Tableaux-Based Reasoning for Description Logics conference. Retrieved from http://ceur-ws.org/Vol-189/submission_34.pdf
Toman, D. (2006). On Construction of Holistic Synopses Under the Duplicate Semantics Of Streaming Queries Presented at the On Construction of Holistic Synopses Under the Duplicate Semantics Of Streaming Queries conference. Retrieved from http://ceur-ws.org/Vol-174/paper6.pdf
Warren, R. H., & Tompa, F. (2006). Multi-Column Substring Matching for Database Schema Translation Presented at the Multi-Column Substring Matching for Database Schema Translation conference. Retrieved from http://dl.acm.org/citation.cfm?id=1164157
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
Golab, L. (2006). Sliding Window Query Processing Over Data Streams Retrieved from http://hdl.handle.net/10012/2930
Toman, D., & Weddell, G. (2005). On Path-Functional Dependencies as First-Class Citizens in Description Logics Presented at the On Path-Functional Dependencies As First-Class Citizens in Description Logics conference. https://doi.org/123456
Chomicki, J., & Toman, D. (2005). Temporal Databases Elsevier. https://doi.org/10.1016/S1574-6526(05)80016-1