A realizability semantics for inductive formal topologies, Church's Thesis and Axiom of Choice.
Maria Emilia MaiettiSamuele MaschioMichael RathjenPublished in: Log. Methods Comput. Sci. (2021)
Keyphrases
- machine learning
- model theoretic
- formal language
- operational semantics
- machine processable
- formal semantics
- mathematical foundations
- logic programming
- computer vision
- inductive learning
- conceptual model
- semantic information
- dynamic aspects
- formal languages
- highly expressive
- inductive logic programming
- formal model
- formal methods
- semantic representation
- description logics
- database systems
- high level
- case study
- decision trees
- inductive concept learning