101
Published 2016
Springer International Publishing
... Conference on Inductive Logic Programming, ILP 2015, held in Kyoto, Japan, in August 2015. The 14 revised...

102
Published 2017
Springer International Publishing
... Conference on Inductive Logic Programming, ILP 2016, held in London, UK, in September 2016. The 10 full...

103
Published 2018
Springer International Publishing
...-logic programming, re-writing systems, formal methods and model checking, program transformations...

105
Published 2013
Springer Berlin Heidelberg
Table of Contents: ... Driver’s Cognitive Load Using Inductive Logic Programming -- Opening Doors: An Initial SRL Approach...

113
by Alferes, José
Published 1996
Springer

114
Published 2022
Springer International Publishing
Table of Contents: ... Classes -- Asynchronous Unfold/Fold Transformation for Fixpoint Logic -- Program Logic for Higher-Order...

115
Published 2022
Springer International Publishing
Table of Contents: ... Generalization -- Learning Logic Programs Using Neural Networks by Exploiting Symbolic Invariance -- Learning...

116
Published 2023
Springer Nature Switzerland
Table of Contents: ... -- Regularization in Probabilistic Inductive Logic Programming -- Towards ILP-based LTLf passive learning...

117
Published 2024
Springer Nature Switzerland
... Logic Programming, ILP 2022, held during September 28-30, 2022. The 11 regular papers presented...

118
Published 2003
Springer Berlin Heidelberg
Table of Contents: ... -- An Empirical Evaluation of Bagging in Inductive Logic Programming -- Kernels for Structured Data...

119
by Bergadano, Francesco
Published 1996
MIT Press
Subjects: ...Logic programming...

120
by Apt, Krzysztof R.
Published 1993
MIT Press
Subjects: ...Logic programming...