• Türkçe
    • English
  • English 
    • Türkçe
    • English
  • Login
View Item 
  •   DSpace Home
  • 1- Fakülteler | Faculties
  • Fen Edebiyat Fakültesi / Faculty of Arts and Sciences
  • Enformasyon Teknolojileri Bölümü / Department of Information Technologies
  • FEF - Makale Koleksiyonu | Enformasyon Teknolojileri Bölümü / Department of Information Technologies
  • View Item
  •   DSpace Home
  • 1- Fakülteler | Faculties
  • Fen Edebiyat Fakültesi / Faculty of Arts and Sciences
  • Enformasyon Teknolojileri Bölümü / Department of Information Technologies
  • FEF - Makale Koleksiyonu | Enformasyon Teknolojileri Bölümü / Department of Information Technologies
  • View Item
JavaScript is disabled for your browser. Some features of this site may not work without it.

Incremental reasoning on monadic second-order logics with logic programming

Thumbnail

View/Open

Publisher's Version (605.1Kb)

Date

2016-02

Author

Ünel, Gülay

Metadata

Show full item record

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.002

Abstract

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 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.

Source

Journal of Logical and Algebraic Methods in Programming

Volume

85

Issue

2

URI

https://hdl.handle.net/11729/829
http://dx.doi.org/10.1016/j.jlamp.2015.11.002

Collections

  • FEF - Makale Koleksiyonu | Enformasyon Teknolojileri Bölümü / Department of Information Technologies [67]
  • Scopus İndeksli Makale Koleksiyonu [792]
  • WoS İndeksli Makale Koleksiyonu [810]



DSpace software copyright © 2002-2015  DuraSpace
Contact Us | Send Feedback
Theme by 
@mire NV
 

 




| Policy | Guide | Contact |

DSpace@Işık

by OpenAIRE
Advanced Search

sherpa/romeo

Browse

All of DSpaceCommunities & CollectionsBy Issue DateAuthorsTitlesSubjectsTypeLanguageDepartmentCategoryPublisherAccess TypeIşık AuthorCitationThis CollectionBy Issue DateAuthorsTitlesSubjectsTypeLanguageDepartmentCategoryPublisherAccess TypeIşık AuthorCitation

My Account

LoginRegister

Statistics

View Google Analytics Statistics

DSpace software copyright © 2002-2015  DuraSpace
Contact Us | Send Feedback
Theme by 
@mire NV
 

 


|| Policy || Guide || Library || Işık University || OAI-PMH ||

Işık University Library, Şile, İstanbul, Turkey
If you find any errors in content please report us

Creative Commons License
Işık University Institutional Repository is licensed under a Creative Commons Attribution-NonCommercial-NoDerivs 4.0 Unported License..

DSpace@Işık:


DSpace 6.2

tarafından İdeal DSpace hizmetleri çerçevesinde özelleştirilerek kurulmuştur.