Incremental reasoning on monadic second-order logics with logic programming

Basit Öğe Kaydı
dc.contributor.authorÜnel, Gülayen_US
dc.date.accessioned2016-04-08T10:57:16Z
dc.date.available2016-04-08T10:57:16Z
dc.date.issued2016-02
dc.departmentIşık Üniversitesi, Fen Edebiyat Fakültesi, Enformasyon Teknolojileri Bölümüen_US
dc.departmentIşık University, Faculty of Arts and Sciences, Department of Information Technologiesen_US
dc.description.abstractData 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 for streaming knowledge bases is very limited. Typically reasoning services on large knowledge bases are very expensive, and need to be applied continuously when the data is received as a stream. Hence new techniques for optimizing this continuous process is needed for developing efficient reasoners on streaming data. In this paper, we describe a solution to an incremental reasoning problem on an expressive logic, namely monadic second-order logic, and point out further research directions in this area.en_US
dc.description.versionPublisher's Versionen_US
dc.identifier.citationÜ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.002en_US
dc.identifier.doi10.1016/j.jlamp.2015.11.002
dc.identifier.endpage331
dc.identifier.issn2352-2208
dc.identifier.issue2
dc.identifier.scopus2-s2.0-84995878291
dc.identifier.scopusqualityQ1
dc.identifier.startpage316
dc.identifier.urihttps://hdl.handle.net/11729/829
dc.identifier.urihttp://dx.doi.org/10.1016/j.jlamp.2015.11.002
dc.identifier.volume85
dc.identifier.wosWOS:000370910400003
dc.identifier.wosqualityQ1
dc.indekslendigikaynakWeb of Scienceen_US
dc.indekslendigikaynakScopusen_US
dc.indekslendigikaynakScience Citation Index Expanded (SCI-EXPANDED)en_US
dc.institutionauthorÜnel, Gülayen_US
dc.language.isoenen_US
dc.peerreviewedYesen_US
dc.publicationstatusPublisheden_US
dc.publisherElsevier Science Incen_US
dc.relation.ispartofJournal of Logical and Algebraic Methods in Programmingen_US
dc.relation.publicationcategoryMakale - Uluslararası Hakemli Dergi - Kurum Öğretim Elemanıen_US
dc.rightsinfo:eu-repo/semantics/closedAccessen_US
dc.subjectStreamen_US
dc.subjectReasoningen_US
dc.subjectIncrementalen_US
dc.subjectLogicen_US
dc.subjectModel checkingen_US
dc.subjectAutomataen_US
dc.titleIncremental reasoning on monadic second-order logics with logic programmingen_US
dc.typeArticleen_US
dspace.entity.typePublication

Dosyalar

Orijinal paket
Listeleniyor 1 - 1 / 1
Küçük Resim Yok
İsim:
829.pdf
Boyut:
605.16 KB
Biçim:
Adobe Portable Document Format
Açıklama:
Publisher's Version
İndir
Lisans paketi
Listeleniyor 1 - 1 / 1
Küçük Resim Yok
İsim:
license.txt
Boyut:
1.71 KB
Biçim:
Item-specific license agreed upon to submission
Açıklama:
İndir

Koleksiyon

Makale Koleksiyonu | Enformasyon Teknolojileri Bölümü
Scopus İndeksli Yayınlar Koleksiyonu
WoS İndeksli Yayınlar Koleksiyonu