Modular Answer Set Programming as a Formal Specification Language (Q5140013)
From MaRDI portal
scientific article; zbMATH DE number 7284969
| Language | Label | Description | Also known as |
|---|---|---|---|
| English | Modular Answer Set Programming as a Formal Specification Language |
scientific article; zbMATH DE number 7284969 |
Statements
Modular Answer Set Programming as a Formal Specification Language (English)
0 references
13 December 2020
0 references
answer-set programming
0 references
formal specification
0 references
formal verification
0 references
modular logic programs
0 references
0 references
0 references
