Yayıncı "Elsevier Science Inc" FEF - Makale Koleksiyonu | Enformasyon Teknolojileri Bölümü / Department of Information Technologies için listeleme
Toplam kayıt 2, listelenen: 1-2
-
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 ... -
Logic programming approach to automata-based decision procedures
(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 ...