*sublabel_EDS*

*custom_text_above_search_result**custom_text_above_search_result_EDS*

*Showing* 1 - 20 *of* 22*number_thousands_separator*029

2

Implementation issues in Inductive Logic Programming
Robert Kolter ; The Pennsylvania State University CiteSeerX Archives
http://www-ag-mayer.informatik.uni-kl.de/~kolter/publications/implementation.ps.gz.

Logic Programming ILP Theorem Proving Contents
*Academic Journal*
3

Proceedings 40th International Conference on Logic Programming
Cabalar, Pedro ; Fabiano, Francesco ; Gebser, Martin ; et al.
EPTCS 416, 2025

Computer Science - Logic... Computer Science - Artif...
*Report*
4

Implementation issues in Inductive Logic Programming
Kolter, Robert ; Kolter, Robert

*Electronic Resource*
5

Implementation issues in Inductive Logic Programming
Kolter, Robert ; Kolter, Robert

*Electronic Resource*
6

*This result is not displayed to guests*

7

Proceedings 38th International Conference on Logic Programming
Lierler, Yuliya ; Morales, Jose F. ; Dodaro, Carmine ; et al.
EPTCS 364, 2022

Computer Science - Logic... Computer Science - Artif...
*Report*
8

Proceedings 37th International Conference on Logic Programming (Technical Communications)
Formisano, Andrea ; Liu, Yanhong Annie ; Bogaerts, Bart ; et al.
EPTCS 345, 2021

Computer Science - Logic... Computer Science - Artif...
*Report*
9

Relational machine learning for electronic health record-driven phenotyping
Peissig, Peggy L. ; Santos Costa, Vitor ; Caldwell, Michael D. ; et al.
In Journal of Biomedical Informatics December 2014 52:260-270

*Academic Journal*
10

Bounded Quantifier Instantiation for Checking Inductive Invariants
Feldman, Yotam M. Y. ; Padon, Oded ; Immerman, Neil ; et al.
Logical Methods in Computer Science, Volume 15, Issue 3 (August 21, 2019) lmcs:4018

Computer Science - Logic... Computer Science - Progr...
*Report*
11

Scaling Up Inductive Logic Programming by Learning from Interpretations
Blockeel, Hendrik ; De Raedt, Luc ; Jacobs, Nico ; et al.
Data Mining and Knowledge Discovery. March, 1999, Vol. 3 Issue 1, p59, 35 p.

*Academic Journal*
12

*This result is not displayed to guests*

13

Design and Implementation of Switched Capacitor Banks Controlled by a Programmable Logic Controller for Power Factor Improvement of Three-Phase Induction Motors
Amir Hamza ; Muhammad Awais ; Mohammad Hamza ; et al.
NUML International Journal of Engineering and Computing, Vol 2, Iss 1 (2023)

Induction motor Power Factor Programmable Logic Contr... Capacitor Bank Protective Devices Systems engineering
*Academic Journal*
14

Refining Inductive Types
Atkey, Robert ; Johann, Patricia ; Ghani, Neil
Logical Methods in Computer Science, Volume 8, Issue 2 (June 4, 2012) lmcs:957

Computer Science - Logic... Computer Science - Progr... D.3.3, F.3.3, D.3.1, F.3...
*Report*
15

Pairwise saturations in inductive logic programming
Drole, Miha ; Kononenko, Igor
Artificial Intelligence Review. March, 2017, Vol. 47 Issue 3, p395, 21 p.

*Academic Journal*
16

Numerical reasoning with an ILP system capable of lazy evaluation and customised search
Srinivasan, Ashwin ; Camacho, Rui
In The Journal of Logic Programming 1999 40(2):185-213

*Academic Journal*
17

*This result is not displayed to guests*

18

*This result is not displayed to guests*

20

Implementing Multi-relational Mining with Relational Database Systems.
Inuzuka, Nobuhiro ; Makino, Toshiyuki
Knowledge-based & Intelligent Information & Engineering Systems; 2009, p672-680, 9p

*Book*

*Filter*