Expressiveness Results for an Inductive Logic of Separated Relations.
Radu IosifFlorian ZulegerPublished in: CoRR (2023)
Keyphrases
- computational properties
- deductive reasoning
- expressive power
- relation algebra
- horn clauses
- logic programming
- modal logic
- inductive learning
- logical framework
- machine learning
- multi valued
- inductive logic programming
- automated reasoning
- attribute values
- knowledge representation
- inductive reasoning
- recursive programs
- artificial intelligence
- rule learning
- formal theory
- asynchronous circuits
- linear logic
- database systems
- functional programs