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
References
Filter by:
2007
2006
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
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
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
Golab, L. (2006). Sliding Window Query Processing Over Data Streams Retrieved from http://hdl.handle.net/10012/2930
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
2005
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