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:
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
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
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
Chinaei, A. H., & Tompa, F. (2005). User-Managed Access Control for Health Care Systems Presented at the User-Managed Access Control for Health Care Systems conference. https://doi.org/10.1007/11552338_5