Gulay Ünel

According to our database, Gulay Ünel authored at least 10 papers between 2004 and 2018.

Collaborative distances:

• Dijkstra number of four.
• Erdős number of four.

2018

Stream Reasoning on Expressive Logics.

Gulay Ünel

CoRR, 2018

2017

Logic programming approach to automata-based decision procedures.

Gulay Ünel, David Toman

J. Log. Algebraic Methods Program., 2017

2016

Incremental reasoning on monadic second-order logics with logic programming.

Gulay Ünel

J. Log. Algebraic Methods Program., 2016

2010

Speed-Up Techniques for Negation in Grounding.

Amir Aavani, Shahab Tasharrofi, Gulay Ünel, Eugenia Ternovska, David G. Mitchell

Proceedings of the Logic for Programming, Artificial Intelligence, and Reasoning, 2010

2009

Stream Reasoning: A Survey and Further Research Directions.

Gulay Ünel, Dumitru Roman

Proceedings of the Flexible Query Answering Systems, 8th International Conference, 2009

Towards a Scalable, Pragmatic Knowledge Representation Language for the Web.

Florian Fischer, Gulay Ünel, Barry Bishop, Dieter Fensel

Proceedings of the Perspectives of Systems Informatics, 2009

Reasoning in Semantic Web-based Systems.

Florian Fischer, Gulay Ünel

Proceedings of the Semantic Web Information Management - A Model-Based Perspective, 2009

2008

Deciding Second-order Logics using Database Evaluation Techniques.

Gulay Ünel

PhD thesis, 2008

2007

An Incremental Technique for Automata-Based Decision Procedures.

Gulay Ünel, David Toman

Proceedings of the Automated Deduction, 2007

2004

An efficient query optimization strategy for spatio-temporal queries in video databases.

Gulay Ünel, Mehmet Emin Dönderler, Özgür Ulusoy, Ugur Güdükbay

J. Syst. Softw., 2004