Polytime, combinatory logic and positive safe induction.
Andrea CantiniPublished in: Arch. Math. Log. (2002)
Keyphrases
- positive and negative
- logic programming
- modal logic
- classical logic
- machine learning
- predicate logic
- intuitionistic logic
- functional programs
- proof theory
- inductive learning
- multi valued
- subgroup discovery
- concept learning
- proof search
- sound and complete axiomatization
- positively correlated
- asynchronous circuits
- positive feedback
- defeasible logic
- rule induction
- first order logic
- decision rules
- expert systems
- multi agent systems