Follow
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
242009
Stream reasoning: A survey and further research directions
G Unel, D Roman
Flexible Query Answering Systems: 8th International Conference, FQAS 2009 …, 2009
162009
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
122004
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
92010
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
72010
Answering reachability queries on streaming graphs
G Unel, F Fischer, B Bishop
Proc. 1st Int’l Workshop Stream Reasoning, 2009
52009
Logic programming approach to automata-based decision procedures
G Unel, D Toman
Logic Programming: 23rd International Conference, ICLP 2007, Porto, Portugal …, 2007
42007
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
22016
An incremental technique for automata-based decision procedures
G Unel, D Toman
International Conference on Automated Deduction, 100-115, 2007
22007
Reasoning in Semantic Web-based Systems
F Fischer, G Unel
Semantic Web Information Management: A Model-Based Perspective, 127-146, 2009
12009
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