Deciding Predicate Logical Theories Of Real-Valued Functions.
Stefan RatschanPublished in: MFCS (2023)
Keyphrases
- real valued functions
- logical theories
- situation calculus
- inductive inference
- first order logic
- inductive logic programming
- propositional logic
- belief revision
- sample complexity
- concept class
- reasoning about actions
- uncertain databases
- training data
- data sets
- natural deduction
- prior knowledge
- inference rules
- machine learning
- data mining