Implication Connectives for Logics with Right Weakening.
Philippe BesnardYves MoinardPublished in: IPMU (1994)
Keyphrases
- data mining
- inference rules
- classical logic
- valued logic
- truth values
- expressive power
- modal logic
- horn clauses
- functional dependencies
- logic programs
- proof theory
- real world
- fixpoint
- logic programming
- nonmonotonic logics
- epistemic logic
- proof theoretic
- decision procedures
- computational properties
- xml keys
- default logic
- theorem proving
- propositional logic
- theorem prover
- first order logic
- fuzzy logic
- knowledge representation
- bayesian networks
- decision trees
- social networks
- information retrieval