Keyphrases
- logical operations
- logical representation
- deductive reasoning
- probabilistic logic
- logical framework
- predicate calculus
- logical rules
- truth values
- logical theories
- inductive learning
- recursive programs
- lambda calculus
- inductive logic programming
- functional programs
- predicate logic
- classical logic
- machine learning
- probabilistic knowledge
- inductive inference
- modal logic
- logic programming
- logical implication
- dynamic logic
- sound and complete axiomatization
- information systems
- knowledge representation
- inference rules
- rule learning
- data sets
- logic programs
- knowledge acquisition
- concept learning
- multi valued
- epistemic logic
- logical reasoning
- model theoretic
- logical properties
- logical formulas
- logical structure
- linear logic
- deontic logic