MULTILOG: A System for Axiomatizing Many-valued Logics.
Matthias BaazChristian G. FermüllerArie OvrutckiRichard ZachPublished in: LPAR (1993)
Keyphrases
- modal logic
- truth values
- inference rules
- temporal logic
- expressive power
- decision procedures
- classical logic
- conditional logic
- conceptual clustering
- epistemic logic
- concept lattice
- nonmonotonic logics
- situation calculus
- default logic
- probabilistic graphical models
- data sets
- proof theory
- multi valued
- evolutionary algorithm
- artificial intelligence
- machine learning
- databases