A logic for reasoning with inconsistent knowledge

DOI10.1016/0004-3702(92)90105-7zbMath0763.68057OpenAlexW1983672048MaRDI QIDQ1199925

Nico Roos

Publication date: 17 January 1993

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

Full work available at URL: https://doi.org/10.1016/0004-3702(92)90105-7

zbMATH Keywords

preferential semanticsreasoning with inconsistent knowledge

Mathematics Subject Classification ID

Related Items (2)

A simple signed system for paraconsistent reasoning ⋮ Abductive inference in defeasible reasoning: a model for research programmes

Cites Work

• Reasoning about action. I: A possible worlds approach
• A logical framework for default reasoning
• A logic for default reasoning
• Nonmonotonic reasoning, preferential models and cumulative logics
• Cumulative default logic: In defense of nonmonotonic inference rules
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item

This page was built for publication: A logic for reasoning with inconsistent knowledge