scientific article

zbMath1235.68223MaRDI QIDQ2880785

Giovambattista Ianni, Susanna Cozza, Francesco Calimeri, Nicola Leone

Publication date: 16 April 2012

Full work available at URL: http://iospress.metapress.com/content/el20u83422223807/fulltext.html

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

zbMATH Keywords

knowledge representationanswer set programmingfunction symbolsmagic sets

Mathematics Subject Classification ID

Logic in artificial intelligence (68T27) Knowledge representation (68T30)

Related Items (3)

Terminating Evaluation of Logic Programs with Finite Three-Valued Models ⋮ ASPeRiX, a first-order forward chaining approach for answer set computing ⋮ ASP-Core-2 Input Language Format

This page was built for publication: