Tractability of Separation Logic with Inductive Definitions: Beyond Lists.
Taolue ChenFu SongZhilin WuPublished in: CONCUR (2017)
Keyphrases
- deductive reasoning
- machine learning
- inductive learning
- np complete
- multi valued
- modal logic
- constraint satisfaction
- fixed point semantics
- logic programs
- logic programming
- functional programs
- concept learning
- inductive reasoning
- asynchronous circuits
- computational properties
- data sets
- semantics of logic programs
- databases
- proof theory
- classical logic
- search engine
- inductive inference
- information systems
- case study
- inductive logic programming
- computational complexity