Modular construction of minimal models

DOI10.1007/978-3-319-61660-5_5MaRDI QIDQ2401922zbMATH OpenOpenAlexFDO

Authors Rachel Ben-Eliyahu-Zohary, Fabrizio Angiulli, Fabio Fassetti, 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)

Recommendations

• On Minimal Models
• Graph-based construction of minimal models
• Minimal models of minimal theories
• On computing minimal models
• Building models of strongly minimal theories
• Minimal finite models
• Minimal resolutions and other minimal models
• scientific article; zbMATH DE number 177241
• scientific article; zbMATH DE number 177515
• Computing minimal models by partial instantiation

Cited in

(5)

• On computing minimal models
• scientific article; zbMATH DE number 177515 (Why is no real title available?)
• scientific article; zbMATH DE number 4118557 (Why is no real title available?)
• On the tractability of minimal model computation for some CNF theories
• Witnesses for Answer Sets of Logic Programs

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

Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q2401922)