Results 11 to 20 of about 4,200 (297)
Regularization in Probabilistic Inductive Logic Programming [PDF]
, 2023 AbstractProbabilistic Logic Programming combines uncertainty and logic-based languages. Liftable Probabilistic Logic Programs have been recently proposed to perform inference in a lifted way. LIFTCOVER is an algorithm used to perform parameter and structure learning of liftable probabilistic logic programs. In particular, it performs parameter learning
Gentili E. +4 more
openaire +3 more sources
On Avoiding Redundancy in Inductive Logic Programming [PDF]
, 2004 ILP systems induce first-order clausal theories performing a search through very large hypotheses spaces containing redundant hypotheses. The generation of redundant hypotheses may prevent the systems from finding good models and increases the time to induce them.
Nuno A. Fonseca +3 more
openaire +4 more sources
Logic programming revisited [PDF]
ACM Transactions on Computational Logic, 2001 Logic programming has been introduced as programming in the Horn clause subset of first-order logic. This view breaks down for the negation as failure inference rule. To overcome the problem, one line of research has been to view a logic program as a set of iff-definitions.
Denecker, Marc +2 more
openaire +4 more sources
Inductive Logic Programming [PDF]
, 2011 Inductive logic programming is the subfield of machine learning that uses first-order logic to represent hypotheses and data. Because first-order logic is expressive and declarative, inductive logic programming specifically targets problems involving ...
De Raedt, Luc,
core +6 more sources
An Inductive Logic Programming Approach to Validate Hexose Binding Biochemical Knowledge. [PDF]
Inductive Log Program, 2010 Hexoses are simple sugars that play a key role in many cellular pathways, and in the regulation of development and disease mechanisms. Current protein-sugar computational models are based, at least partially, on prior biochemical findings and knowledge ...
Nassif H +4 more
europepmc +2 more sources
Program Logics for Homogeneous Generative Run-Time Meta-Programming [PDF]
Logical Methods in Computer Science, 2015 This paper provides the first program logic for homogeneous generative run-time meta-programming---using a variant of MiniML by Davies and Pfenning as its underlying meta-programming language.
Martin Berger, Laurence Tratt
doaj +1 more source
Induction of Non-monotonic Logic Programs To Explain Statistical Learning Models [PDF]
Electronic Proceedings in Theoretical Computer Science, 2019 We present a fast and scalable algorithm to induce non-monotonic logic programs from statistical learning models. We reduce the problem of search for best clauses to instances of the High-Utility Itemset Mining (HUIM) problem.
Farhad Shakerin
doaj +1 more source
NUML International Journal of Engineering and Computing, 2023 Industries widely use three-phase inductive loads, such as induction motors, due to their cost-effectiveness, low maintenance, reliability, and durability.
Amir Hamza +4 more
doaj +1 more source
Symbolic AI for XAI: Evaluating LFIT Inductive Programming for Explaining Biases in Machine Learning
Computers, 2021 Machine learning methods are growing in relevance for biometrics and personal information processing in domains such as forensics, e-health, recruitment, and e-learning.
Alfonso Ortega +6 more
doaj +1 more source
Efficient data structures for inductive logic programming [PDF]
, 2003 This work aims at improving the scalability of memory usage in Inductive Logic Programming systems. In this context, we propose two ecient data structures: the Trie, used to represent lists and clauses; and the RL-Tree, a novel data structure used to ...
Rui Camacho +4 more
core +1 more source