Answer set programs with queries over subprograms (Q2401932)
From MaRDI portal
scientific article
| Language | Label | Description | Also known as |
|---|---|---|---|
| English | Answer set programs with queries over subprograms |
scientific article |
Statements
Answer set programs with queries over subprograms (English)
0 references
5 September 2017
0 references
answer-set programming
0 references
nonmonotonic reasoning
0 references
FLP semantics
0 references
meta-programming
0 references
saturation
0 references
