Simplification of Many-Valued Logic Formulas Using Anti-Links.
Bernhard BeckertReiner HähnleGonzalo Escalada-ImazPublished in: J. Log. Comput. (1998)
Keyphrases
- truth values
- modal logic
- modal operators
- inference rules
- predicate calculus
- classical logic
- multi valued
- horn clauses
- logical formulas
- conceptual clustering
- action theories
- logic programming
- automated reasoning
- conjunctive normal form
- predicate logic
- temporal logic
- linear time temporal logic
- security protection
- mathematical formulas
- fixpoint
- link analysis
- situation calculus
- expressive power
- association rule mining