MUltlog 1.0: Towards an Expert System for Many-Valued Logics.
Matthias BaazChristian G. FermüllerGernot SalzerRichard ZachPublished in: CADE (1996)
Keyphrases
- modal logic
- truth values
- expert systems
- inference rules
- temporal logic
- expressive power
- knowledge base
- nonmonotonic logics
- epistemic logic
- decision aiding
- conditional logic
- classical logic
- knowledge acquisition
- concept lattice
- default logic
- knowledge representation
- blackboard architecture
- coalition logic
- database
- multi valued
- fuzzy logic
- information systems
- learning algorithm
- data mining
- modal operators
- proof theory
- propositional dynamic logic
- real time