Many-valued Horn Logic is Hard.

Stefan Borgwardt Marco Cerami Rafael Peñaloza

Published in: PRUV (2014)

Keyphrases

horn logic
propositional logic
modal logic
artificial intelligence
belief change