Lemmaless Induction in Trace Logic.
Ahmed BhayatPamina GeorgiouClemens EisenhoferLaura KovácsGiles RegerPublished in: CICM (2022)
Keyphrases
- inductive learning
- modal logic
- neural network
- intuitionistic logic
- proof search
- logic programming
- predicate logic
- rule induction
- subgroup discovery
- inductive inference
- sound and complete axiomatization
- delay insensitive
- epistemic logic
- classical logic
- multi valued
- automated reasoning
- real time
- inductive logic programming
- evolutionary algorithm
- natural language
- case study
- social networks
- data sets