On Minimal Models

DOI10.1093/JIGPAL/JZM037MaRDI QIDQ5436989zbMATH OpenOpenAlexFDO

Authors Francicleber Martins Ferreira, Ana Teresa Martins

Publication date 18 January 2008

Published in Logic Journal of the IGPL (Search for Journal in Brave)

Full work available at URL https://semanticscholar.org/paper/d0c484d333469d35725753af0d022d372f428c15

zbMATH Keywords

expressivenessfixed pointsminimal models

Mathematics Subject Classification ID

Logic in computer science (03B70) Model theory of finite structures (03C13) Logic in artificial intelligence (68T27)

Recommendations

• On the minimality of stable models
• APPLICATIONS OF LYNDON HOMOMORPHISM THEOREMS TO THE THEORY OF MINIMAL MODELS
• Minimum model semantics for logic programs with negation-as-failure
• Minimal consequence in sentential logic
• Minimal Logic Programs

Cited in

(8)

• New outlook on the minimal model program. II
• Foundations of the minimal model program
• Modular construction of minimal models
• Computing minimal models modulo subset-simulation for modal logics
• Minimal models for free actions
• APPLICATIONS OF LYNDON HOMOMORPHISM THEOREMS TO THE THEORY OF MINIMAL MODELS
• scientific article; zbMATH DE number 177515 (Why is no real title available?)
• Minimal predicates, fixed-points, and definability

This page was built for publication: On Minimal Models

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