Işık Yazarı "Ünel, Gülay" FEF - Makale Koleksiyonu | Enformasyon Teknolojileri Bölümü / Department of Information Technologies İçin Listeleme
-
Incremental reasoning on monadic second-order logics with logic programming
Ünel, Gülay (Elsevier Science Inc, 2016-02)Data streams occur widely in various real world applications. The research on streaming data mainly focuses on the data management, query evaluation and optimization on data, but the work on incremental reasoning procedures ... -
Information passing in healthcare social networks
Ünel, Gülay (Gazi Üniversitesi Bilişim Enstitüsü, 2017)In recent years, social networks have become one of the most influential developments in our lives. In this paper, we investigate trust relationships and information passing in online social networks that focus on health. ... -
Logic programming approach to automata-based decision procedures
Ünel, Gülay; Toman, David (Elsevier Science Inc, 2017-01)We propose a novel technique that reduces the decision problem of WSnS (weak monadic second-order logic with n successors) to the problem of evaluation of Complex-value Datalog queries. We then show how the use of advanced ...