Inductive Logic Programming can be used to provide automated support to help correct the errors identified by model checking, which in turn provides the relevant context for learning hypotheses that are meaningful within the domain of interest. Model checking and Inductive Logic Programming can thus be seen as two complementary approaches with much to gain from their integration. In this paper we present a general framework for such an integration, discuss its main characteristics and present an overview of its application. © 2012 Springer-Verlag Berlin Heidelberg.
CITATION STYLE
Alrajeh, D., Russo, A., Uchitel, S., & Kramer, J. (2012). Integrating model checking and inductive logic programming. In Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics) (Vol. 7207 LNAI, pp. 45–60). https://doi.org/10.1007/978-3-642-31951-8_9
Mendeley helps you to discover research relevant for your work.