A Minimal Model Semantics for Nonmonotonic Reasoning

DOI10.1007/978-3-642-33353-8_18zbMath1361.68228OpenAlexW2126470257WikidataQ58207603 ScholiaQ58207603MaRDI QIDQ2915074

Nicola Olivetti, Gian Luca Pozzato, Valentina Gliozzi, Laura Giordano

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)

Related Items

PTL: A Propositional Typicality Logic ⋮ Semantic characterization of rational closure: from propositional logic to description logics ⋮ Situated conditional reasoning ⋮ From KLM-style conditionals to defeasible modalities, and back ⋮ 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

Cites Work

• Unnamed Item
• Semantic characterization of rational closure: from propositional logic to description logics
• Nonmonotonic reasoning, preferential models and cumulative logics
• What does a conditional knowledge base entail?
• Conditional logics of normality: A modal approach
• A note on the rational closure of knowledge bases with both positive and negative knowledge
• Rational Closure for Defeasible Description Logics
• A Nonmonotonic Extension of KLM Preferential Logic P
• Plausibility measures and default reasoning

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