Results 21 to 30 of about 18,076 (303)
PURE INDUCTIVE LOGIC WITH FUNCTIONS [PDF]
The Journal of Symbolic Logic, 2019 AbstractWe consider the version of Pure Inductive Logic which obtains for the language with equality and a single unary function symbol giving a complete characterization of the probability functions on this language which satisfy Constant Exchangeability.
Elizabeth Howarth, Jeffrey B. Paris
openaire +1 more source
J.S. Mill’s Canons of Induction: from True Causes to Provisional Ones [PDF]
, 2008 In this essay, my aim is twofold: to clarify how the late Mill conceived of the certainty of inductive generalizations and to offer a systematic clarification of the limited domain of application of the Mill’s Canons of Induction. I shall argue that Mill’
Steffen Ducheyne, Ducheyne, Steffen
core +1 more source
A History of Probabilistic Inductive Logic Programming
Frontiers in Robotics and AI, 2014 The field of Probabilistic Logic Programming (PLP) has seen significant advances in the last 20 years, with many proposals for languages that combine probability with logic programming.
Fabrizio eRiguzzi +2 more
doaj +1 more source
Extending Coinductive Logic Programming with Co-Facts [PDF]
Electronic Proceedings in Theoretical Computer Science, 2017 We introduce a generalized logic programming paradigm where programs, consisting of facts and rules with the usual syntax, can be enriched by co-facts, which syntactically resemble facts but have a special meaning.
Davide Ancona +2 more
doaj +1 more source
Maximum Entropy Applied to Inductive Logic and Reasoning
Entropy, 2015 This editorial explains the scope of the special issue and provides a thematic introduction to the contributed papers.
Jürgen Landes, Jon Williamson
doaj +1 more source
(Co)inductive Proof Systems for Compositional Proofs in Reachability Logic [PDF]
Electronic Proceedings in Theoretical Computer Science, 2019 Reachability Logic is a formalism that can be used, among others, for expressing partial-correctness properties of transition systems. In this paper we present three proof systems for this formalism, all of which are sound and complete and inherit the ...
Vlad Rusu, David Nowak
doaj +1 more source
Preface to special issue on Inductive Logic Programming, ILP 2017 and 2018 [PDF]
, 2019 Inductive Logic Programming (ILP) is a field at the intersection of Machine Learning and Logic Programming, based on logic as a uniform representation language for expressing examples, background knowledge and ...
Nicolas Lachiche +9 more
core +1 more source
A Decision Procedure for Guarded Separation Logic Complete Entailment Checking for Separation Logic with Inductive Definitions [PDF]
, 2023 We develop a doubly exponential decision procedure for the satisfiability problem of guarded separation logic - a novel fragment of separation logic featuring user-supplied inductive predicates, Boolean connectives, and separating connectives, including ...
Pagel, Jens; orcid: +2 more
core +1 more source
IndLog — Induction in Logic [PDF]
, 2004 IndLog is a general purpose Prolog-based Inductive Logic Programming (ILP) system. It is theoretically based on the Mode Directed Inverse Entailment and has several distinguishing features that makes it adequate for a wide range of applications. To search efficiently through large hypothesis spaces, IndLog uses original features like lazy evaluation of
openaire +2 more sources