Gulay Ünel

Publication Activity (10 Years)

Years Active: 2004-2018
Publications (10 Years): 3

Top Topics

Default Reasoning

Knowledge Representation

Decision Procedures

Top Venues

J. Log. Algebraic Methods Program.

University of Waterloo, Ontario, Canada (PHD)

Education History

University of Waterloo, Ontario, Canada

PHD

Publications

Gulay Ünel
Stream Reasoning on Expressive Logics. CoRR (2018)
Gulay Ünel, David Toman
Logic programming approach to automata-based decision procedures. J. Log. Algebraic Methods Program. 86 (1) (2017)
Gulay Ünel
Incremental reasoning on monadic second-order logics with logic programming. J. Log. Algebraic Methods Program. 85 (2) (2016)
Amir Aavani, Shahab Tasharrofi, Gulay Ünel, Eugenia Ternovska, David G. Mitchell
Speed-Up Techniques for Negation in Grounding. LPAR (Dakar) (2010)
Gulay Ünel, Dumitru Roman
Stream Reasoning: A Survey and Further Research Directions. FQAS (2009)
Florian Fischer, Gulay Ünel, Barry Bishop, Dieter Fensel
Towards a Scalable, Pragmatic Knowledge Representation Language for the Web. Ershov Memorial Conference (2009)
Gulay Ünel, David Toman
Logic Programming Approach to Automata-Based Decision Procedures. ICLP (2007)
Gulay Ünel, David Toman
An Incremental Technique for Automata-Based Decision Procedures. CADE (2007)
Gulay Ünel, Mehmet Emin Dönderler, Özgür Ulusoy, Ugur Güdükbay
An efficient query optimization strategy for spatio-temporal queries in video databases. J. Syst. Softw. 73 (2004)