Compiling Proof Search in Semantic Tableaux.

Joachim Posegga

Published in: ISMIS (1993)

Keyphrases

proof search
proof procedure
theorem proving
linear logic
inference rules
proof planning
theorem prover
decision procedures
modal logic
sequent calculus
semantic network
propositional logic
search procedure
automated reasoning
scheduling problem
evolutionary algorithm
natural language
neural network