scientific article; zbMATH DE number 6139984

zbMath1259.68183MaRDI QIDQ4906882

Wolfgang Faber, Nicola Leone, Mario Alviano, Giovambattista Ianni, Francesco Calimeri

Publication date: 28 February 2013

Title: zbMATH Open Web Interface contents unavailable due to conflicting licenses.

zbMATH Keywords

expressivenessanswer set programmingrecursive structuresuninterpreted function symbolsASP programs with functionsdecidability of class membershipdecidability of coherence checkingfinite bottom-up evaluationsfinite representations of stable modelsfinite top-down evaluationsprograms with decidable reasoning

Mathematics Subject Classification ID

Logic in artificial intelligence (68T27) Research exposition (monographs, survey articles) pertaining to computer science (68-02) Logic programming (68N17)

Related Items (1)

ASPeRiX, a first-order forward chaining approach for answer set computing

Uses Software

• Gringo

This page was built for publication: