A characterization of belief merging operators in the regular Horn fragment of signed logic

DOI10.1007/978-3-030-57524-3_1zbMath1478.68350OpenAlexW3081079646MaRDI QIDQ1997240

Pilar Dellunde i Clavé

Publication date: 1 March 2021

Full work available at URL: https://doi.org/10.1007/978-3-030-57524-3_1

zbMATH Keywords

belief changebelief mergingHorn clausesigned logic

Mathematics Subject Classification ID

Logic in artificial intelligence (68T27)

Related Items (1)

A first polynomial non-clausal class in many-valued logic

This page was built for publication: A characterization of belief merging operators in the regular Horn fragment of signed logic