Ara
Toplam kayıt 2, listelenen: 1-2
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 ...
Information passing in healthcare social networks
(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. ...