Integrating Model Checking and Inductive Logic Programming.
Dalal AlrajehAlessandra RussoSebastián UchitelJeff KramerPublished in: ILP (2011)
Keyphrases
- inductive logic programming
- model checking
- temporal logic
- background knowledge
- relational learning
- logic programs
- first order logic
- formal verification
- finite state
- finite state machines
- machine learning
- model checker
- computation tree logic
- logic programming
- formal methods
- verification method
- horn clauses
- programming language
- epistemic logic
- relational databases