Trakhtenbrot Theorem and First-Order Axiomatic Extensions of MTL.
Matteo BianchiFranco MontagnaPublished in: Stud Logica (2015)
Keyphrases
- first order logic
- multi task learning
- decision theory
- higher order
- multiple task learning
- efficient implementation
- inductive learning
- default theories
- multitask learning
- von neumann
- theoretical analysis
- multi task
- interactive theorem proving
- training data
- axiomatic characterization
- valued logic
- multiple tasks
- possibility theory
- default logic
- learning experience
- bayesian networks