Künye "Ünel, G. (2016). Incremental reasoning on monadic second-order logics with logic programming. Journal of Logical and Algebraic Methods in Programming, 85(2), 316-331. doi:10.1016/j.jlamp.2015.11.002" FEF - Makale Koleksiyonu | Enformasyon Teknolojileri Bölümü / Department of Information Technologies için listeleme
Toplam kayıt 1, listelenen: 1-1
-
Incremental reasoning on monadic second-order logics with logic programming
(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 ...