Cn-Definitions of Propositional Connectives.
Witold A. PogorzelskiPiotr WojtylakPublished in: Stud Logica (2001)
Keyphrases
- valued logic
- propositional logic
- first order logic
- rule induction
- inference rules
- multi valued
- rule learning
- subgroup discovery
- default logic
- probabilistic logic
- horn clauses
- satisfiability testing
- knowledge compilation
- modus ponens
- disjunctive logic programming
- rule learner
- database
- inductive logic programming
- belief revision
- fuzzy logic
- data sets