Entrenchment-Based Horn Contraction
From MaRDI portal
Publication:2922397
DOI10.1613/jair.4430zbMath1364.03027OpenAlexW2144697623WikidataQ129493226 ScholiaQ129493226MaRDI QIDQ2922397
Maurice Pagnucco, Zhiqiang Zhuang
Publication date: 10 October 2014
Published in: Journal of Artificial Intelligence Research (Search for Journal in Brave)
Full work available at URL: https://doi.org/10.1613/jair.4430
Logic in artificial intelligence (68T27) Logics of knowledge and belief (including belief change) (03B42) Logic in computer science (03B70)
Related Items (4)
Inter-definability of Horn contraction and Horn revision ⋮ Belief Update Within Propositional Fragments ⋮ An investigation of parametrized difference revision operators ⋮ Belief revision in Horn theories
This page was built for publication: Entrenchment-Based Horn Contraction
