The Jacobson radical for an inconsistency predicate.

Peter Schuster Daniel Wessel

Published in: Comput. (2022)

Keyphrases

genetic algorithm
first order logic
horn clauses
probabilistic model
classical logic
integrity checking
computer vision
inconsistent information
monotonicity constraints
logic rules