System J — Revision entailment

DOI10.1007/3-540-61313-7_106zbMath1419.68137OpenAlexW1832053360MaRDI QIDQ4632326

Emil Weydert

Publication date: 29 April 2019

Published in: Practical Reasoning (Search for Journal in Brave)

Full work available at URL: https://doi.org/10.1007/3-540-61313-7_106

zbMATH Keywords

nonmonotonic reasoningdefault reasoningranking measurepropositional variableinference relation

Mathematics Subject Classification ID

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

Related Items (1)

System JLZ -- rational default reasoning by minimal ranking constructions.

Cites Work

• Unnamed Item
• Unnamed Item
• Unnamed Item
• Conditional entailment: bridging two approaches to default reasoning.
• Default reasoning and possibility theory
• Nonmonotonic reasoning, preferential models and cumulative logics
• What does a conditional knowledge base entail?
• Another perspective on default reasoning
• System Z  : A Natural Ordering of Defaults with Tractable Applications to Nonmonotonic Reasoning

This page was built for publication: System J — Revision entailment