Rule-Based Visualization of Tableau Calculus for Propositional Logic.

Nada Sharaf Slim Abdennadher Thom W. Frühwirth

Published in: IV (2018)

Keyphrases

propositional logic
minimal models
tableau calculus
first order logic
belief revision
quantified boolean formulae
expert systems
lattice theory
description logics
propositional satisfiability
belief change
machine learning
theorem proving
nonmonotonic logics
satisfiability testing