Simplification and Backjumping in Modal Tableau.

Ullrich Hustadt Renate A. Schmidt

Published in: TABLEAUX (1998)

Keyphrases

description logics
modal logic
quantified boolean formulas
multiresolution
nonmonotonic logics
constraint satisfaction problems
databases
neural network
preprocessing
automated theorem proving
tableau calculus
elementary functions
genetic algorithm
pairwise
proof search