Results 1 to 10 of about 9,309 (288)
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.
Bratko, Ivan, King, Ross D
openaire +4 more sources
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
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
Deductive and inductive synthesis of equational programs
Journal of Symbolic Computation, 1993 zbMATH Open Web Interface contents unavailable due to conflicting licenses.
Uday S. Reddy, Nachum Dershowitz
openaire +2 more sources
Inductive Logic Programming [PDF]
, 2015 Proceedings of the 24th International Conference on Inductive Logic Programming, Nancy, France, September 14-16, 2014.
Jan Ramon, Jesse Davis
openaire +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.
Comini M, GORI, ROBERTA, Levi G.
openaire +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