Confirmation as partial entailment: A representation theorem in inductive logic.
Vincenzo CrupiKatya TentoriPublished in: J. Appl. Log. (2013)
Keyphrases
- logic programming
- multi valued
- logical representation
- representation scheme
- representation language
- modal logic
- neural network
- inductive learning
- relation algebra
- predicate calculus
- probabilistic logic
- partial information
- image representation
- co occurrence
- natural language processing
- knowledge representation
- artificial intelligence
- machine learning