Horn clause contraction functions

DOI10.1613/JAIR.4031zbMATH Open1364.03023OpenAlexW2170431068WikidataQ129489991 ScholiaQ129489991MaRDI QIDQ2865010FDOQ2865010

Authors: James Delgrande, Renata Wassermann 

Publication date: 28 November 2013

Published in: The Journal of Artificial Intelligence Research (JAIR) (Search for Journal in Brave)

Full work available at URL: https://doi.org/10.1613/jair.4031

Recommendations

• Horn contraction via epistemic entrenchment
• On the link between partial meet, kernel, and infra contraction and its application to Horn logic
• Theory contraction and base contraction unified
• Entrenchment-based Horn contraction
• Belief revision in Horn theories

zbMATH Keywords

belief changeHorn knowledge basesHorn belief set contraction

Mathematics Subject Classification ID

Knowledge representation (68T30) Logics of knowledge and belief (including belief change) (03B42) Logic in artificial intelligence (68T27)

Cited In (12)

• Horn contraction via epistemic entrenchment
• On the link between partial meet, kernel, and infra contraction and its application to Horn logic
• The ghosts of forgotten things: a study on size after forgetting
• Partial meet pseudo-contractions
• Belief revision in Horn theories
• Belief Update Within Propositional Fragments
• Main issues in belief revision, belief merging and information fusion
• Belief Merging within Fragments of Propositional Logic
• Inter-definability of Horn contraction and Horn revision
• Characterizability in Horn Belief Revision
• Common equivalence and size of forgetting from Horn formulae
• Merging in the Horn Fragment

This page was built for publication: Horn clause contraction functions

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