Horn Clause Contraction Functions

DOI10.1613/jair.4031zbMath1364.03023OpenAlexW2170431068WikidataQ129489991 ScholiaQ129489991MaRDI QIDQ2865010

James P. Delgrande, Renata Wassermann

Publication date: 28 November 2013

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

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

zbMATH Keywords

belief changeHorn knowledge basesHorn belief set contraction

Mathematics Subject Classification ID

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

Related Items (7)

Belief Merging within Fragments of Propositional Logic ⋮ Merging in the Horn Fragment ⋮ Inter-definability of Horn contraction and Horn revision ⋮ Belief Update Within Propositional Fragments ⋮ Partial meet pseudo-contractions ⋮ Belief revision in Horn theories ⋮ Characterizability in Horn Belief Revision

This page was built for publication: Horn Clause Contraction Functions