Answer Set Programming for Regular Inference

Wieczorek, W; Jastrzab, T; Unold, O

Wieczorek, W (corresponding author), Univ Bielsko Biala, Dept Comp Sci & Automat, Willowa 2, PL-43309 Bielsko Biala, Poland.

APPLIED SCIENCES-BASEL, 2020; 10 (21):

Abstract

We propose an approach to non-deterministic finite automaton (NFA) inductive synthesis that is based on answer set programming (ASP) solvers. To that ......

Full Text Link


Links

期刊讨论 | 中国SCI论文 | 期刊主页 | 投稿经验 | 杂志官网 | 投稿链接 | 作者需知 | PMC链接 | Pubmed全文检索