A Minimal Model Semantics for Nonmonotonic Reasoning

DOI10.1007/978-3-642-33353-8_18MaRDI QIDQ2915074zbMATH OpenOpenAlexWikidataFDO

Authors N. Olivetti, Laura Giordano, V. Gliozzi, G. L. Pozzato

Publication date 21 September 2012

Published in Logics in Artificial Intelligence (Search for Journal in Brave)

Full work available at URL https://doi.org/10.1007/978-3-642-33353-8_18

Mathematics Subject Classification ID

Other nonclassical logic (03B60) Logic in artificial intelligence (68T27)

Recommendations

• scientific article; zbMATH DE number 517019
• Reasoning about minimal knowledge in nonmonotonic modal logics
• A non-preferential semantics of non-monotonic modal logic
• scientific article; zbMATH DE number 1531820
• Modal logic based theory for non-monotonic reasoning
• Multi-modal nonmonotonic logics of minimal knowledge
• scientific article; zbMATH DE number 4047198
• Minimum model semantics for logic programs with negation-as-failure
• Formalizing nonmonotonic reasoning systems
• scientific article; zbMATH DE number 176156

Cites work

• A nonmonotonic extension of KLM preferential logic P
• A note on the rational closure of knowledge bases with both positive and negative knowledge
• Conditional logics of normality: A modal approach
• scientific article; zbMATH DE number 4189229 (Why is no real title available?)
• Nonmonotonic reasoning, preferential models and cumulative logics
• Plausibility measures and default reasoning
• Rational Closure for Defeasible Description Logics
• Semantic characterization of rational closure: from propositional logic to description logics
• What does a conditional knowledge base entail?

Cited in

(15)

• Minimalism, justification and non-monotonicity in deductive databases
• A polynomial time subsumption algorithm for nominal safe \(\mathcal{ELO}_\bot\) under rational closure
• Contextual rational closure for defeasible \(\mathcal{ALC} \)
• On rational entailment for propositional typicality logic
• Rational closure for all description logics
• Multi-modal nonmonotonic logics of minimal knowledge
• PTL: a propositional typicality logic
• scientific article; zbMATH DE number 496042 (Why is no real title available?)
• scientific article; zbMATH DE number 517019 (Why is no real title available?)
• scientific article; zbMATH DE number 1531820 (Why is no real title available?)
• Minimal models vs. logic programming: the case of counterfactual conditionals
• From KLM-style conditionals to defeasible modalities, and back
• Situated conditional reasoning
• On the disjunctive rational closure of a conditional knowledge base
• Semantic characterization of rational closure: from propositional logic to description logics

This page was built for publication: A Minimal Model Semantics for Nonmonotonic Reasoning

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