DiMo - Discrete Modelling Using Propositional Logic.

Norbert Hundeshagen Martin Lange Georg Siebert

Published in: SAT (2021)

Keyphrases

propositional logic
belief revision
first order logic
quantified boolean formulae
possibilistic logic
belief change
proof procedure
lattice theory
horn logic
solving hard
satisfiability testing
search algorithm
expert systems
relational databases