dc.contributor.author | Ünel, Gülay | en_US |
dc.contributor.author | Toman, David | en_US |
dc.date.accessioned | 2019-03-26T02:51:46Z | |
dc.date.available | 2019-03-26T02:51:46Z | |
dc.date.issued | 2017-01 | |
dc.identifier.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 | en_US |
dc.identifier.issn | 2352-2208 | |
dc.identifier.uri | https://hdl.handle.net/11729/1501 | |
dc.identifier.uri | http://dx.doi.org/10.1016/j.jlamp.2016.02.005 | |
dc.description.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. | en_US |
dc.language.iso | eng | en_US |
dc.publisher | Elsevier Science Inc | en_US |
dc.relation.isversionof | 10.1016/j.jlamp.2016.02.005 | |
dc.rights | info:eu-repo/semantics/closedAccess | en_US |
dc.subject | WS1S | en_US |
dc.subject | WS2S | en_US |
dc.subject | Automata complex-value datalog (Datalog(CV)) | en_US |
dc.subject | Magic sets | en_US |
dc.subject | SLG-resolution | en_US |
dc.subject | Model checking | en_US |
dc.subject | Mu-calculus | en_US |
dc.title | Logic programming approach to automata-based decision procedures | en_US |
dc.type | article | en_US |
dc.relation.journal | Journal of Logical and Algebraic Methods in Programming | en_US |
dc.contributor.department | Işık Üniversitesi, Fen Edebiyat Fakültesi, Enformasyon Teknolojileri Bölümü | en_US |
dc.contributor.department | Işık University, Faculty of Arts and Sciences, Department of Information Technologies | en_US |
dc.identifier.volume | 86 | |
dc.identifier.issue | 1 | |
dc.identifier.issue | SI | |
dc.identifier.startpage | 391 | |
dc.identifier.endpage | 407 | |
dc.peerreviewed | Yes | en_US |
dc.publicationstatus | Published | en_US |
dc.relation.publicationcategory | Makale - Uluslararası Hakemli Dergi - Kurum Öğretim Elemanı | en_US |
dc.contributor.institutionauthor | Ünel, Gülay | en_US |
dc.relation.index | WOS | en_US |
dc.relation.index | Scopus | en_US |
dc.relation.index | Science Citation Index Expanded (SCI-EXPANDED) | en_US |
dc.description.quality | Q1 | |
dc.description.wosid | WOS:000390497700016 | |