Propositional Truth Maintenance Systems: Classification and Complexity Analysis.
Vladislav RutenburgPublished in: Ann. Math. Artif. Intell. (1993)
Keyphrases
- complexity analysis
- truth maintenance systems
- first order logic
- machine learning
- theoretical analysis
- default logic
- lower bound
- propositional logic
- classification algorithm
- consequence finding
- computational complexity
- decision trees
- knowledge based systems
- general purpose
- classification rules
- intelligent tutoring systems
- fuzzy logic
- constraint propagation
- bayesian networks
- high level