Results 91 to 100 of about 4,200 (297)
Artificial Intelligence Algorithms Inspired By Life Sciences
Journal of the Turkish Chemical Society, Section A: Chemistry, 2018 Nature and life include many mysterious events, behaviors and format within themselves. There is harmony between the environmental conditions, behavior and forms of all living organism.
Hüseyin Turgut
doaj +1 more source
Inductive logic programming [PDF]
ACM SIGART Bulletin, 1993 Inductive Logic Programming (ILP) is a research area which investigates the construction of first-order definite clause theories from examples and background knowledge. ILP systems have been applied successfully in a number of real-world domains.
openaire +1 more source
Theory and Pracite of Logic Programming [PDF]
Theory and Practice of Logic Programming is an international journal that publishes refereed papers covering both the theory and the practice of logic programming. Logic applies to all areas of artificial intelligence and computer science.
GABBRIELLI, MAURIZIO
core
Parallel Inductive Logic Programming [PDF]
, 1995 The generic task of Inductive Logic Programming (ILP) is to search a predefined subspace of first-order logic for hypotheses that in some respect explain examples and background knowledge.
Luc Dehaspe +3 more
core +1 more source
Approximate Inference for Logic Programs with Annotated Disjunctions [PDF]
, 2011 Logic Programs with Annotated Disjunctions (LPADs) are a promising language for Probabilistic Inductive Logic Programming. In order to develop efficient learning systems for LPADs, it is fundamental to have high-performing inference algorithms.
RIGUZZI, Fabrizio +3 more
core +1 more source
British Educational Research Journal, EarlyView.Abstract This paper examines the experiences of Nigerian cross‐border students in UK higher education, focusing on how colonial legacies continue to shape the interplay between structure and agency. Three key themes emerged in the analysis of the data: First, the persistence of a ‘West is Best’ mentality reflects the internalisation of colonial ...
Jennifer Marshall, Jack Bryne Stothard
wiley +1 more source
Inductive theorem proving by program specialisation: Generating proofs for Isabelle using Ecce (Invited talk) [PDF]
, 2003 In this paper we discuss the similarities between program specialisation and inductive theorem proving, and then show how program specialisation can be used to perform inductive theorem proving.
Lehmann, Helko, Leuschel, Michael
core
, 2008 Despite the considerable success of Inductive Logic Programming (ILP), deployed ILP systems still have efficiency problems when applied to complex problems. Several techniques have been proposed to address the efficiency issue.
Rui Camacho +3 more
core +1 more source
A Business Framework for Product Take‐Back—A Structured Multiple‐Case Analysis
Business Strategy and the Environment, EarlyView.ABSTRACT The potential of take‐back systems remains largely unrealized as initiatives have proven difficult to implement in practice. The question is why we do not see more take‐back systems given the substantial environmental benefits. We try to understand the challenges and stumbling blocks in setting up take‐back from a business perspective.
Rasmus Jørgensen, Torben Pedersen
wiley +1 more source
Inductive Logic Programming [PDF]
, 1992 A new research area, Inductive Logic Programming, is presently emerging. While inheriting various positive characteristics of the parent subjects of Logic Programming and Machine Learning, it is hoped that the new area will overcome many of the ...
North Hanover St +2 more
core