notesum.ai
Published at December 9Normal Nested Answer Set Programs: Syntactics, Semantics and Logical Calculi
cs.LO
Released Date: December 9, 2024
Authors: Gonçal E. Imaz
| ASP | Semantical ASP | Flat NASP | NASP | |
|---|---|---|---|---|
| Normal | NPA | SNA | NFNPA | NNPA |
| Extended Normal | NPL | SNL | NFNPL | NNPL |
| Disjunctive | DPA | SDA | DFNPA | DNPA |
| Extend. Disjunctive | DPL | SDL | DFNPL | DNPL |