Vicious circle principle and formation of sets in ASP based languages

DOI10.1007/978-3-319-61660-5_14zbMath1491.68043arXiv1608.08262OpenAlexW2962822920MaRDI QIDQ2401931

Michael Gelfond, Yuan Lin Zhang

Publication date: 5 September 2017

Full work available at URL: https://arxiv.org/abs/1608.08262

Mathematics Subject Classification ID

Semantics in the theory of computing (68Q55) Logic programming (68N17)

Related Items (4)

Recursive rules with aggregation: a simple unified semantics ⋮ Determining inference semantics for disjunctive logic programs ⋮ P-log: refinement and a new coherency condition ⋮ Vicious circle principle, aggregates, and formation of sets in ASP based languages

This page was built for publication: Vicious circle principle and formation of sets in ASP based languages