Gulay Unel
Gulay Unel
Unknown affiliation
Verified email at isikun.edu.tr
Title
Cited by
Cited by
Year
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
212009
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
142004
Stream reasoning: A survey and further research directions
G Unel, D Roman
International Conference on Flexible Query Answering Systems, 653-662, 2009
132009
Towards a scalable, pragmatic knowledge representation language for the Web
F Fischer, G Unel, B Bishop, D Fensel
International Andrei Ershov Memorial Conference on Perspectives of System …, 2009
92009
Speed-up techniques for negation in grounding
A Aavani, S Tasharrofi, G Unel, E Ternovska, D Mitchell
International Conference on Logic for Programming Artificial Intelligence …, 2010
72010
Answering reachability queries on streaming graphs
G Unel, F Fischer, B Bishop
Proc. 1st Int’l Workshop Stream Reasoning, 2009
42009
Logic programming approach to automata-based decision procedures
G Unel, D Toman
International Conference on Logic Programming, 165-179, 2007
42007
An incremental technique for automata-based decision procedures
G Unel, D Toman
International Conference on Automated Deduction, 100-115, 2007
32007
Deciding weak monadic second-order logics using complexvalue datalog
G Unel, D Toman
Proc. LPAR (Short Paper), 2005
32005
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
12016
Reasoning in Semantic Web-based Systems
F Fischer, G Unel
Semantic Web Information Management, 127-146, 2010
12010
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
The system can't perform the operation now. Try again later.
Articles 1–15