Results 51 to 60 of about 6,127,131 (339)

Predicate Invention in Inductive Logic Programming [PDF]

, 2012
The ability to recognise new concepts and incorporate them into our knowledge is an essential part of learning. From new scientific concepts to the words that are used in everyday conversation, they all must have at some point in the past, been invented ...
Athakravi, Duangtida, Broda, Krysia, Russo, Alessandra   +2 more
core   +1 more source

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, A. Artikis, G. Paliouras   +2 more
semanticscholar   +1 more source

A programming language for the inductive sets, and applications [PDF]

DAIMI Report Series, 1982
We introduce a programming language IND that generalizes alternating Turing machines to arbitrary first-order structures. We show that IND programs (respectively, everywhere-halting IND programs, loop-free IND programs) accept precisely the inductively definable (respectively, hyperelementary, elementary) relations. We give several examples showing how
Dexter Kozen, David Harel
openaire   +3 more sources

SkILL - a Stochastic Inductive Logic Learner

, 2015
Probabilistic Inductive Logic Programming (PILP) is a rel- atively unexplored area of Statistical Relational Learning which extends classic Inductive Logic Programming (ILP).
Côrte-Real, Joana, Dutra, Inês, Mantadelis, Theofrastos, Rocha, Ricardo   +3 more
core   +1 more source

Inductive Logic Programming [PDF]

, 2011
Inductive logic programming is the subfield of machine learning that uses first order logic to represent hypotheses and data. Because first order logic is expressive and declarative, inductive logic programming specfically targets problems involving structured data and background knowledge. Inductive logic programming tackles a wide variety of problems
openaire   +2 more sources

Verifying Array Manipulating Programs with Full-Program Induction [PDF]

, 2020
We present a full-program induction technique for proving (a sub-class of) quantified as well as quantifier-free properties of programs manipulating arrays of parametric size N. Instead of inducting over individual loops, our technique inducts over the entire program (possibly containing multiple loops) directly via the program parameter N ...
Supratik Chakraborty, Ashutosh Gupta, Divyesh Unadkat   +2 more
openaire   +4 more sources

Automated identification of protein-ligand interaction features using Inductive Logic Programming: a hexose binding case study

BMC Bioinformatics, 2012
Background There is a need for automated methods to learn general features of the interactions of a ligand class with its diverse set of protein receptors. An appropriate machine learning approach is Inductive Logic Programming (ILP), which automatically
A Santos Jose C, Nassif Houssam, Page David, Muggleton Stephen H, E Sternberg Michael J   +4 more
doaj   +1 more source

An Inductive Logical Model with Exceptional Information for Error Detection and Correction in Large Knowledge Bases

Mathematics
Some knowledge bases (KBs) extracted from Wikipedia articles can achieve very high average precision values (over 95% in DBpedia). However, subtle mistakes including inconsistencies, outliers, and erroneous relations are usually ignored in the ...
Yan Wu, Xiao Lin, Haojie Lian, Zili Zhang   +3 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, Kaustuv Chaudhuri, Andrew Gacek, Dale Miller, Gopalan Nadathur, Alwen Tiu, Yuting Wang   +6 more
doaj   +1 more source

Patient Perceptions of Medication Therapy for Prevention of Posttraumatic Osteoarthritis Following Anterior Cruciate Ligament Injury: A Qualitative Content Analysis

Arthritis Care &Research, EarlyView.
Objective Posttraumatic osteoarthritis (PTOA) accounts for nearly 12% of osteoarthritis incidences and often occurs after anterior cruciate ligament (ACL) tear. Ensuring the uptake of preventive treatments for PTOA requires that investigators and clinicians understand factors influencing patients to seek preventive therapies.
Lily M. Waddell, Donald P. Mitchener, Kelly C. Frier, Morgan H. Jones, Elena Losina, Nick Bansback, Liana Fraenkel, Jason S. Kim, Jeffrey N. Katz, Faith Selzer, Adam Easterbrook   +10 more
wiley   +1 more source