The Expected Complexity of Analytic Tableaux Analyses in Propositional Calculus - II.

John W. Rosenthal

Published in: Ann. Math. Artif. Intell. (1992)

Keyphrases

propositional calculus
computational complexity
neural network
decision problems
modal logic
complexity analysis
genetic algorithm
decision making
knowledge base
data model
functional dependencies
space complexity
decision procedures