The Treewidth Boundedness Problem for an Inductive Separation Logic of Relations.
Marius BozgaLucas BueriRadu IosifFlorian ZulegerPublished in: CoRR (2023)
Keyphrases
- deductive reasoning
- sufficient conditions
- semantic relations
- search space
- relation algebra
- upper bound
- multi valued
- inductive learning
- truth values
- logic programming
- algebraic structure
- boolean functions
- horn clauses
- modal logic
- asynchronous circuits
- machine learning
- logical formulas
- predicate logic
- computational properties
- rule learning
- automated reasoning
- inductive inference
- spatial relations
- logic programs
- inductive logic programming
- expressive power