Overriding subsuming rules

DOI10.1016/J.IJAR.2012.11.003zbMath1264.68170OpenAlexW2050871532MaRDI QIDQ1951296

Éric Grégoire, S. Ramon, Philippe Besnard

Publication date: 4 June 2013

Published in: International Journal of Approximate Reasoning (Search for Journal in Brave)

Full work available at URL: https://doi.org/10.1016/j.ijar.2012.11.003

zbMATH Keywords

nonmonotonic reasoningdefault reasoningimplicantsdynamics of knowledge

Mathematics Subject Classification ID

Logic in artificial intelligence (68T27) Reasoning under uncertainty in the context of artificial intelligence (68T37)

Cites Work

• A logic for default reasoning
• A survey of multiple contractions
• On the logic of theory change: Partial meet contraction and revision functions
• Unnamed Item

This page was built for publication: Overriding subsuming rules