Unifying logic, topology and learning in Parametric logic.
Eric MartinArun SharmaFrank StephanPublished in: Theor. Comput. Sci. (2006)
Keyphrases
- learning systems
- knowledge acquisition
- learning algorithm
- learning tasks
- predicate logic
- classical logic
- automated reasoning
- learning scheme
- logic programming
- learning process
- data sets
- online learning
- learning problems
- modal logic
- computational properties
- unsupervised learning
- probabilistic model
- learning scenarios
- learning community
- prior knowledge
- database