Expressiveness Results for an Inductive Logic of Separated Relations.
Radu IosifFlorian ZulegerPublished in: CONCUR (2023)
Keyphrases
- deductive reasoning
- computational properties
- expressive power
- inductive learning
- relation algebra
- multi valued
- defeasible logic
- proof theory
- machine learning
- modal logic
- truth values
- automated reasoning
- inductive logic programming
- attribute values
- spatial relations
- logic programming
- predicate logic
- digital circuits
- classical logic
- horn clauses
- semantic relations
- probability theory
- deontic logic
- concept learning
- functional programs
- monadic second order logic
- query language