Results 11 to 20 of about 133,077 (308)
Mathematical applications of inductive logic programming [PDF]
, 2006 Accepted ...
Simon Colton, Stephen Muggleton
openalex +6 more sources
Induction by Coinduction and Control Operators in Call-by-Name [PDF]
Electronic Proceedings in Theoretical Computer Science, 2013 This paper studies emulation of induction by coinduction in a call-by-name language with control operators. Since it is known that call-by-name programming languages with control operators cannot have general initial algebras, interaction of induction ...
Yoshihiko Kakutani, Daisuke Kimura
doaj +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
Learning as program induction [PDF]
, 2018 The notion that the mind approximates rational (Bayesian) inference has had a strong influence on thinking in psychology since the 1950s. In constrained scenarios, typical of psychology experiments, people often behave in ways that approximate the dictates of probability theory.
Neil R Bramley +3 more
openaire +4 more sources
Inductive Data Types Based on Fibrations Theory in Programming
Journal of Computing and Information Technology, 2016 Traditional methods including algebra and category theory have some deficiencies in analyzing semantics properties and describing inductive rules of inductive data types, we present a method based on Fibrations theory aiming at those questions above.
Decheng Miao +3 more
doaj +1 more source
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 +1 more source
Logic programming, functional programming, and inductive definitions [PDF]
, 2006 An attempt at unifying logic and functional programming is reported. As a starting point, we take the view that "logic programs" are not about logic but constitute inductive definitions of sets and relations. A skeletal language design based on these considerations is sketched and a prototype implementation discussed.
Paulson, Lawrence C., Smith, Andrew W.
openaire +2 more sources
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
A weak HOAS approach to the POPLmark Challenge [PDF]
Electronic Proceedings in Theoretical Computer Science, 2013 Capitalizing on previous encodings and formal developments about nominal calculi and type systems, we propose a weak Higher-Order Abstract Syntax formalization of the type language of pure System ...
Alberto Ciaffaglione, Ivan Scagnetto
doaj +1 more source
Information, 2022 This paper focuses on the study of automated process discovery using the Inductive visual Miner (IvM) and Directly Follows visual Miner (DFvM) algorithms to produce a valid process model for educational process mining in order to understand and predict ...
Hameed AlQaheri, Mrutyunjaya Panda
doaj +1 more source