Logic programming approach to automata-based decision procedures

Basit Öğe Kaydı
dc.contributor.authorÜnel, Gülayen_US
dc.contributor.authorToman, Daviden_US
dc.date.accessioned2019-03-26T02:51:46Z
dc.date.available2019-03-26T02:51:46Z
dc.date.issued2017-01
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.abstractWe 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.en_US
dc.identifier.citationUnel, 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.005en_US
dc.identifier.doi10.1016/j.jlamp.2016.02.005
dc.identifier.endpage407
dc.identifier.issn2352-2208
dc.identifier.issue1
dc.identifier.issueSI
dc.identifier.scopus2-s2.0-85010874906
dc.identifier.scopusqualityQ1
dc.identifier.startpage391
dc.identifier.urihttps://hdl.handle.net/11729/1501
dc.identifier.urihttp://dx.doi.org/10.1016/j.jlamp.2016.02.005
dc.identifier.volume86
dc.identifier.wosWOS:000390497700016
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.subjectWS1Sen_US
dc.subjectWS2Sen_US
dc.subjectAutomata complex-value datalog (Datalog(CV))en_US
dc.subjectMagic setsen_US
dc.subjectSLG-resolutionen_US
dc.subjectModel checkingen_US
dc.subjectMu-calculusen_US
dc.titleLogic programming approach to automata-based decision proceduresen_US
dc.typeArticleen_US
dspace.entity.typePublication

Dosyalar

Orijinal paket
Listeleniyor 1 - 1 / 1
Küçük Resim Yok
İsim:
1501.pdf
Boyut:
587.52 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