Modular construction of minimal models

DOI10.1007/978-3-319-61660-5_5zbMath1491.68195OpenAlexW2731768564MaRDI QIDQ2401922

Fabio Fassetti, Fabrizio Angiulli, Rachel Ben-Eliyahu-Zohary, Luigi Palopoli

Publication date: 5 September 2017

Full work available at URL: https://doi.org/10.1007/978-3-319-61660-5_5

Mathematics Subject Classification ID

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

Related Items (1)

Witnesses for Answer Sets of Logic Programs

This page was built for publication: Modular construction of minimal models