Gulay Unel
Gulay Unel
Okänd anknytning
Verifierad e-postadress på
TitelCiteras avÅr
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
Stream reasoning: A survey and further research directions
G Unel, D Roman
International Conference on Flexible Query Answering Systems, 653-662, 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
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
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
Answering reachability queries on streaming graphs
G Unel, F Fischer, B Bishop
Proc. 1st Int’l Workshop Stream Reasoning, 2009
Logic programming approach to automata-based decision procedures
G Unel, D Toman
International Conference on Logic Programming, 165-179, 2007
Deciding weak monadic second-order logics using complexvalue datalog
G Unel, D Toman
Proc. LPAR (Short Paper), 2005
An Incremental Technique for Automata-Based Decision Procedures
G Unel, D Toman
International Conference on Automated Deduction, 100-115, 2007
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
Reasoning in Semantic Web-based Systems
F Fischer, G Unel
Semantic Web Information Management, 127-146, 2010
Stream Reasoning on Expressive Logics
G Unel
arXiv preprint arXiv:1808.04738, 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, ...
Defining the Features of the WSML-DL v2. 0 Language
B Bishop, F Fischer, P Hitzler, M Krotzsch, S Rudolph, Y Trimponias, ...
Deciding Second-order Logics using Database Evaluation Techniques
G Unel
University of Waterloo, 2008
Systemet kan inte utföra åtgärden just nu. Försök igen senare.
Artiklar 1–15