Abstraction for non-ground answer set programs (Q5919432)
From MaRDI portal
scientific article; zbMATH DE number 7169132
Language | Label | Description | Also known as |
---|---|---|---|
English | Abstraction for non-ground answer set programs |
scientific article; zbMATH DE number 7169132 |
Statements
Abstraction for non-ground answer set programs (English)
0 references
18 February 2020
0 references