Deciding Predicate Logical Theories of Real-Valued Functions.
Stefan RatschanPublished in: CoRR (2023)
Keyphrases
- real valued functions
- logical theories
- situation calculus
- inductive inference
- first order logic
- inductive logic programming
- propositional logic
- belief revision
- sample complexity
- uncertain databases
- learning algorithm
- conceptual structures
- logic programs
- decision rules
- inference rules
- reasoning about actions
- information extraction
- natural language