Results 41 to 50 of about 201,128 (321)
Mathematical applications of inductive logic programming [PDF]
, 2006 Accepted ...
G. Sutcliffe +7 more
core +3 more sources
Incremental learning of event definitions with Inductive Logic Programming [PDF]
Machine-mediated learning, 2014 Event recognition systems rely on knowledge bases of event definitions to infer occurrences of events in time. Using a logical framework for representing and reasoning about events offers direct connections to machine learning, via Inductive Logic ...
Nikos Katzouris +2 more
semanticscholar +1 more source
Answer Set Programming for Regular Inference
Applied Sciences, 2020 We propose an approach to non-deterministic finite automaton (NFA) inductive synthesis that is based on answer set programming (ASP) solvers. To that end, we explain how an NFA and its response to input samples can be encoded as rules in a logic program.
Wojciech Wieczorek +2 more
doaj +1 more source
Abella: A System for Reasoning about Relational Specifications
Journal of Formalized Reasoning, 2014 The Abella interactive theorem prover is based on an intuitionistic logic that allows for inductive and co-inductive reasoning over relations. Abella supports the λ-tree approach to treating syntax containing binders: it allows simply typed λ-terms to be
David Baelde +6 more
doaj +1 more source
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
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
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
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
Learning Weak Constraints in Answer Set Programming [PDF]
, 2015 This paper contributes to the area of inductive logic programming by presenting a new learning framework that allows the learning of weak constraints in Answer Set Programming (ASP).
Broda, Krysia +2 more
core +2 more sources
Improving numerical reasoning capabilities of inductive logic programming systems [PDF]
, 2004 Inductive Logic Programming (ILP) systems have been largely applied to classification problems with a considerable success. The use of ILP systems in problems requiring numerical reasoning capabilities has been far less successful.
A. Karalic +16 more
core +1 more source