Inductive Completeness of Logics of Programs.
Daniel LeivantPublished in: Electron. Notes Theor. Comput. Sci. (2009)
Keyphrases
- functional programs
- recursive programs
- machine learning
- expressive power
- inductive learning
- data quality
- program synthesis
- logic programs
- inductive logic programming
- inductive inference
- provably correct
- programming environment
- deductive reasoning
- proof theory
- epistemic logic
- conditional logic
- computational properties
- classical logic
- stable models
- real time
- inference rules
- modal logic
- expert systems
- neural network