Research chapters in the area of stream reasoning E Della Valle, S Ceri, D Braga, I Celino, D Frensel, F van Harmelen, ... SR2009 466, 2009 | 23 | 2009 |
Stream reasoning: A survey and further research directions G Unel, D Roman Flexible Query Answering Systems: 8th International Conference, FQAS 2009 …, 2009 | 16 | 2009 |
An efficient query optimization strategy for spatio-temporal queries in video databases G Ünel, ME Dönderler, Ö Ulusoy, U Güdükbay Journal of Systems and Software 73 (1), 113-131, 2004 | 12 | 2004 |
Towards a scalable, pragmatic knowledge representation language for the Web F Fischer, G Unel, B Bishop, D Fensel Perspectives of Systems Informatics: 7th International Andrei Ershov …, 2010 | 9 | 2010 |
Speed-up techniques for negation in grounding A Aavani, S Tasharrofi, G Unel, E Ternovska, D Mitchell Logic for Programming, Artificial Intelligence, and Reasoning: 16th …, 2010 | 7 | 2010 |
Answering reachability queries on streaming graphs G Unel, F Fischer, B Bishop Proc. 1st Int’l Workshop Stream Reasoning, 2009 | 5 | 2009 |
Logic programming approach to automata-based decision procedures G Unel, D Toman Logic Programming: 23rd International Conference, ICLP 2007, Porto, Portugal …, 2007 | 4 | 2007 |
Deciding weak monadic second-order logics using complexvalue datalog G Unel, D Toman Proc. LPAR (Short Paper), 2005 | 3 | 2005 |
Incremental reasoning on monadic second-order logics with logic programming G Unel Journal of Logical and Algebraic Methods in Programming 85 (2), 316-331, 2016 | 2 | 2016 |
An incremental technique for automata-based decision procedures G Unel, D Toman International Conference on Automated Deduction, 100-115, 2007 | 2 | 2007 |
Reasoning in Semantic Web-based Systems F Fischer, G Unel Semantic Web Information Management: A Model-Based Perspective, 127-146, 2009 | 1 | 2009 |
Stream Reasoning on Expressive Logics G Unel arXiv preprint arXiv:1808.04738, 2018 | | 2018 |
D3. 1.3 Defining the Features of the WSML-DL v2. 0 Language B Bishop, F Fischer, P Hitzler, M Krötzsch, S Rudolph, Y Trimponias, ... | | 2009 |
Defining the Features of the WSML-DL v2. 0 Language B Bishop, F Fischer, P Hitzler, M Krotzsch, S Rudolph, Y Trimponias, ... | | 2009 |
Deciding Second-order Logics using Database Evaluation Techniques G Unel University of Waterloo, 2008 | | 2008 |