An Application of Automated Equational Reasoning to Many-valued Logic.
Siva AnantharamanMaria Paola BonacinaPublished in: CTRS (1990)
Keyphrases
- modal logic
- truth values
- fully automated
- semi automated
- logic programming
- conceptual clustering
- classical logic
- multi valued
- horn clauses
- computer algebra
- asynchronous circuits
- predicate logic
- defeasible logic
- logical framework
- probabilistic graphical models
- fixpoint
- data sets
- concept lattice
- inference rules
- graphical models
- machine learning
- neural network