Results 21 to 30 of about 68,456 (257)
Inductive Logic Programming as Abductive Search [PDF]
, 2010 We present a novel approach to non-monotonic ILP and its implementation called TAL (Top-directed Abductive Learning). TAL overcomes some of the completeness problems of ILP systems based on Inverse Entailment and is the first top-down ILP system that ...
Corapi, Domenico +2 more
core +1 more source
Logical Rule-Based Knowledge Graph Reasoning: A Comprehensive Survey
Mathematics, 2023 With its powerful expressive capability and intuitive presentation, the knowledge graph has emerged as one of the primary forms of knowledge representation and management.
Zefan Zeng, Qing Cheng, Yuehang Si
doaj +1 more source
Predicate Invention in Inductive Logic Programming [PDF]
, 2012 The ability to recognise new concepts and incorporate them into our knowledge is an essential part of learning. From new scientific concepts to the words that are used in everyday conversation, they all must have at some point in the past, been invented ...
Athakravi, Duangtida +2 more
core +1 more source
Productive Corecursion in Logic Programming [PDF]
, 2017 Logic Programming is a Turing complete language. As a consequence, designing algorithms that decide termination and non-termination of programs or decide inductive/coinductive soundness of formulae is a challenging task.
Komendantskaya, Ekaterina, Li, Yue
core +2 more sources
Proofs for free - parametricity for dependent types [PDF]
, 2012 Reynolds' abstraction theorem shows how a typing judgement in System F can be translated into a relational statement (in second order predicate logic) about inhabitants of the type.
Bernardy, J. P. +2 more
core +2 more sources
SkILL - a Stochastic Inductive Logic Learner
, 2015 Probabilistic Inductive Logic Programming (PILP) is a rel- atively unexplored area of Statistical Relational Learning which extends classic Inductive Logic Programming (ILP).
Côrte-Real, Joana +3 more
core +1 more source
Stable Model Counting and Its Application in Probabilistic Logic Programming [PDF]
, 2014 Model counting is the problem of computing the number of models that satisfy a given propositional theory. It has recently been applied to solving inference tasks in probabilistic logic programming, where the goal is to compute the probability of given ...
Aziz, Rehan Abdul +3 more
core +1 more source
Logic Programming Applications: What Are the Abstractions and Implementations?
, 2018 This article presents an overview of applications of logic programming, classifying them based on the abstractions and implementations of logic languages that support the applications. The three key abstractions are join, recursion, and constraint. Their
Liu, Yanhong A.
core +1 more source
MathematicsSome knowledge bases (KBs) extracted from Wikipedia articles can achieve very high average precision values (over 95% in DBpedia). However, subtle mistakes including inconsistencies, outliers, and erroneous relations are usually ignored in the ...
Yan Wu +3 more
doaj +1 more source
A taxonomy for community-based care programs focused on HIV/AIDS prevention, treatment, and care in resource-poor settings [PDF]
Global Health Action, 2013 Community-based care (CBC) can increase access to key services for people affected by HIV/AIDS through the mobilization of community interests and resources and their integration with formal health structures.
Beth Rachlis +5 more
doaj +1 more source