In Praise of Impredicativity: A Contribution to the Formalization of Meta-Programming.
François BryPublished in: Theory Pract. Log. Program. (2020)
Keyphrases
- programming language
- programming environment
- knowledge representation
- artificial intelligence
- machine learning
- high level language
- meta reasoning
- programming environments
- formal model
- software engineering
- expert systems
- bayesian networks
- computer programs
- case study
- knowledge base
- learning algorithm
- programming paradigms
- data sets
- high level abstraction