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

Logic programming approach to automata-based decision procedures

Thumbnail

View/Open

Publisher's Version (587.5Kb)

Date

2017-01

Author

Ünel, Gülay
Toman, David

Metadata

Show full item record

Citation

Unel, G., & Toman, D. (2017). Logic programming approach to automata-based decision procedures. Journal of Logical and Algebraic Methods in Programming, 86(1), 391-407. doi:10.1016/j.jlamp.2016.02.005

Abstract

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 implementation techniques for Logic Programs, in particular the use of tabling in the XSB system, yields a considerable improvement in performance over more traditional approaches. We also explore various optimizations of the proposed technique based on variants of tabling and goal reordering. Although our primary focus is on WS1S, the logic of single successor, we show that it is straightforward to adapt our approach for other logics with existing automata-theoretic decision procedures, for example WS2S.

Source

Journal of Logical and Algebraic Methods in Programming

Volume

86

Issue

1
SI

URI

https://hdl.handle.net/11729/1501
http://dx.doi.org/10.1016/j.jlamp.2016.02.005

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.