SkILL - A Stochastic Inductive Logic Learner.
Joana Côrte-RealTheofrastos MantadelisInês de Castro DutraRicardo RochaElizabeth S. BurnsidePublished in: ICMLA (2015)
Keyphrases
- deductive reasoning
- inductive learning
- learning environment
- functional programs
- modal logic
- machine learning
- recursive programs
- e learning
- classical logic
- automated reasoning
- learning materials
- monte carlo
- inductive inference
- logic programming
- stochastic model
- multi valued
- learning process
- stochastic optimization
- predicate logic
- language learning
- stochastic processes
- cognitive skills
- program synthesis
- inductive bias
- information technology
- knowledge representation
- knowledge acquisition
- logical framework
- adaptive learning