Results 1 to 10 of about 93,680 (316)
A History of Probabilistic Inductive Logic Programming [PDF]
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 +4 more sources
Applications of inductive logic programming [PDF]
ACM SIGART Bulletin, 1994 Some applications of Inductive Logic Programming (ILP) are presented. Those applications are chosen that specifically benefit from relational descriptions generated by ILP programs, and from ILP's ability to accommodate background knowledge.
Ivan Bratko, Ross D. King
openalex +4 more sources
Inductive Logic Programming [PDF]
, 2015 Proceedings of the 24th International Conference on Inductive Logic Programming, Nancy, France, September 14-16, 2014.
Alireza Tamaddoni‐Nezhad +3 more
openalex +4 more sources
Redesign and validation of a computer programming course using Inductive Teaching Method.
PLoS ONE, 2020 Inductive Teaching Method (ITM) promotes effective learning in technological education (Felder & Silverman, 1988). Students prefer ITM more as it makes the subject easily understandable (Goltermann, 2011).
Iftikhar Ahmed Khan +6 more
doaj +3 more sources
Logic programs as specifications in the inductive verification of logic programs
Electronic Notes in Theoretical Computer Science, 2001 AbstractIn this paper we define a new verification method based on an assertion language able to express properties defined by the user through a logic program. We first apply the verification framework defined in [3] to derive sufficient inductive conditions to prove partial correctness.
Marco Comini, Roberta Gori, Giorgio Levi
openalex +5 more sources
Inductive logic programming at 30 [PDF]
Machine Learning, 2021 AbstractInductive logic programming (ILP) is a form of logic-based machine learning. The goal is to induce a hypothesis (a logic program) that generalises given training examples and background knowledge. As ILP turns 30, we review the last decade of research.
Andrew Cropper +3 more
openaire +3 more sources
Inductive sequentialization of asynchronous programs [PDF]
Proceedings of the 41st ACM SIGPLAN Conference on Programming Language Design and Implementation, 2020 Asynchronous programs are notoriously difficult to reason about because they spawn computation tasks which take effect asynchronously in a nondeterministic way. Devising inductive invariants for such programs requires understanding and stating complex relationships between an unbounded number of computation tasks in arbitrarily long executions. In this
Kragl, Bernhard +4 more
openaire +3 more sources
Refining Inductive Types [PDF]
Logical Methods in Computer Science, 2012 Dependently typed programming languages allow sophisticated properties of data to be expressed within the type system. Of particular use in dependently typed programming are indexed types that refine data by computationally useful information.
Robert Atkey +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