Answer Set Programming for Regular Inference
We propose an approach to non-deterministic finite automaton (NFA) inductive synthesis that is based on answer set programming (ASP) solvers. To that end, we explain how an NFA and its response to input samples can be encoded as rules in a logic program. We then ask an ASP solver to find an answer s...
Na minha lista:
| Principais autores: | , , |
|---|---|
| Format: | Artigo |
| Sprog: | Inglês |
| Udgivet: |
MDPI AG
2020-10-01
|
| Serier: | Applied Sciences |
| Fag: | |
| Online adgang: | https://www.mdpi.com/2076-3417/10/21/7700 |
| Tags: |
Ingen Tags, Vær først til at tagge denne postø!
|