We use cookies to store basic information for your identification in our website.
We assure you that no personal information is stored in these cookies and we do not track your navigation.
By continuing to use our site, you accept our use of cookies.
We assure you that no personal information is stored in these cookies and we do not track your navigation.
By continuing to use our site, you accept our use of cookies.
Author's search
Search query
Career Stage
Junior Researcher Senior LeadingGender
Female MaleCountry
Sort by
ONE Index Relevance Docs
1,116 authors found
quering by "Inductive logic programming"
.
Showing
the first 25
sort by ONE Index.
924
One Index
|
Flach, Peter PhD 0000-0001-6857-5810 |
444 docs (1989 - 2024)
Inductive logic programming , ROC Analysis , Description Logics , Robust Learning , Interpretable Models |
909
One Index
|
Domingos, Pedro PhD 0000-0003-4523-5631 |
307 docs (1994 - 2023)
Probabilistic Learning , Structure Learning , Inference Algorithms , Markov Logic Networks , Statistical relational learning |
904
One Index
|
Sternberg, Michael PhD 0000-0002-1884-5445 |
458 docs (1957 - 2024)
Proteins , Inductive logic programming , Homology Modeling , Sequence (biology) , Docking (animal) |
900
One Index
|
Fonseca, Nuno PhD 0000-0003-4832-578X |
171 docs (1998 - 2023)
Cancer Genomics , Tumor Evolution , Inductive logic programming , Intratumor Heterogeneity , genome annotation |
895
One Index
|
Naik, Mayur PhD 0000-0003-1348-8618 |
153 docs (1999 - 2024)
Software Defect Prediction , Datalog , Source Code Analysis , Model Checking , Program Repair |
887
One Index
|
Cohen, Larry PhD 0000-0002-0721-8980 |
345 docs (1949 - 2024)
Content (measure theory) , Philosophy of language , Philosophy of Science , Argument (complex analysis) , Assertion |
882
One Index
|
Paliouras, Georgios PhD 0000-0001-9629-2367 |
304 docs (1995 - 2024)
Complex Event Processing , Event calculus , Topic Modeling , Temporal Logic , Benchmark (surveying) |
876
One Index
|
Gebser, Martin PhD 0000-0002-8010-4752 |
217 docs (2005 - 2024)
Answer Set Programming , Constraint Logic Programming , Argumentation Frameworks , Solver , Nonmonotonic Reasoning |
869
One Index
|
Li, Lihong PhD 0000-0002-5440-8242 |
353 docs (1996 - 2024)
Reinforcement Learning , Bandit Optimization , Contextual Bandits , Semi-Supervised Learning , Online Learning |
864
One Index
|
Hernandez-Orallo, Jose PhD 0000-0001-9746-7632 |
292 docs (1997 - 2024)
Generality , Responsibility in AI , Robust Learning , Computability , ROC Analysis |
862
One Index
|
Heit, Evan PhD 0000-0003-3457-1816 |
407 docs (1971 - 2024)
Decision-making , Inductive reasoning , Syllogism , Cognitive Reflection , Similarity (geometry) |
862
One Index
|
Mooney, Raymond PhD 0000-0002-4504-0490 |
368 docs (1985 - 2024)
Language Modeling , Topic Modeling , Syntax-based Translation Models , Neural Machine Translation , Image Captioning |
862
One Index
|
Muggleton, Stephen PhD 0000-0001-6061-6104 |
297 docs (1987 - 2024)
Inductive logic programming , Constraint Logic Programming , Description Logics , Modal Logics , Temporal Logic |
861
One Index
|
De Raedt, Luc PhD 0000-0002-6860-6303 |
750 docs (1934 - 2024)
Constraint Logic Programming , Probabilistic Learning , Inductive logic programming , Statistical relational learning , Temporal Logic |
860
One Index
|
Wrobel, Stefan PhD |
248 docs (1966 - 2024)
Visual Analytics , Information Visualization , Interactive Visualization , Representation (politics) , Temporal Data Mining |
859
One Index
|
Mo, Yujie 0000-0001-7784-6221 |
18 docs (2021 - 2024)
Representation Learning , Signal Processing on Graphs , Knowledge Graph Embedding , Semi-Supervised Learning , Graph Neural Networks |
859
One Index
|
Krause, Paul PhD 0000-0002-5987-295X |
377 docs (1877 - 2023)
Motor Design Optimization , Switched Reluctance Motors , Transient (computer programming) , Electric Motor Drives , Synchronous motor |
856
One Index
|
Jude William Shavlik PhD |
253 docs (1985 - 2017)
Statistical relational learning , Inductive logic programming , Advice (programming) , Connectionism , Structure Learning |
851
One Index
|
Kaliszyk, Cezary PhD 0000-0002-8273-6059 |
190 docs (2004 - 2024)
HOL , Proof assistant , Model Checking , Gas meter prover , Neural Machine Translation |
845
One Index
|
Blockeel, Hendrik PhD 0000-0003-0378-3699 |
479 docs (1980 - 2024)
Probabilistic Learning , Structure Learning , Temporal Data Mining , Tree (set theory) , Statistical relational learning |
840
One Index
|
Voronkov, Aleksey PhD 0009-0009-4367-4885 |
299 docs (1986 - 2024)
Temporal Logic , Constraint Logic Programming , Nonmonotonic Reasoning , Separation Logic , Modal Logics |
839
One Index
|
Millstein, Todd PhD 0000-0002-2031-1514 |
180 docs (1997 - 2024)
Model Checking , Programming Language Semantics , Performance Optimization , Soundness , Abstraction |
838
One Index
|
Gottlob, Georg PhD 0000-0002-2353-5230 |
564 docs (1974 - 2024)
Datalog , Conjunctive query , Description Logics , Nonmonotonic Reasoning , Constraint Logic Programming |
837
One Index
|
Sagiv, Shmuel PhD 0000-0002-0723-1309 |
347 docs (1977 - 2023)
Heap (data structure) , Model Checking , Abstract Interpretation , Temporal Logic , Runtime Verification |
837
One Index
|
Frasconi, Paolo PhD 0000-0003-3117-9245 |
228 docs (1991 - 2024)
Support Vector Machines , Representation (politics) , Backpropagation Learning , Kernel (algebra) , Hyperparameter |