Results 41 to 50 of about 6,184,151 (315)
Inductive Logic Programming in Databases: from Datalog to DL+log
, 2010 In this paper we address an issue that has been brought to the attention of the database community with the advent of the Semantic Web, i.e. the issue of how ontologies (and semantics conveyed by them) can help solving typical database problems, through ...
Lisi, Francesca A.
core +1 more source
Initial Algebra Semantics for Cyclic Sharing Tree Structures [PDF]
, 2010 Terms are a concise representation of tree structures. Since they can be naturally defined by an inductive type, they offer data structures in functional programming and mechanised reasoning with useful principles such as structural induction and ...
Hamana, Makoto
core +1 more source
Arthritis Care &Research, EarlyView.Objective Promoting Resilience in Stress Management (PRISM) is a resilience coaching program designed for adolescents with chronic illness. We aimed to examine the perceived feasibility, acceptability, and appropriateness of PRISM among pediatric rheumatologists treating adolescents with chronic musculoskeletal pain and obtain recommendations for ...
Sabrina Gmuca +9 more
wiley +1 more source
A Unifying Framework for Analysis and Evaluation of Inductive Programming Systems
, 2009 In this paper we present a comparison of several inductive programming (IP) systems. IP addresses the problem of learning (recursive) programs from incomplete specifications, such as input/output examples.
M. Hofmann, E. Kitzelmann, Ute Schmid
semanticscholar +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.
Andrew W. Smith, Lawrence C. Paulson
openaire +3 more sources
Explaining clusters with inductive logic programming and linked data [PDF]
, 2013 Knowledge Discovery consists in discovering hidden regularities in large amounts of data using data mining techniques. The obtained patterns require an interpretation that is usually achieved using some background knowledge given by experts from several ...
d'Aquin, Mathieu +2 more
core
Logic Programming Applications: What Are the Abstractions and Implementations?
, 2018 This article presents an overview of applications of logic programming, classifying them based on the abstractions and implementations of logic languages that support the applications. The three key abstractions are join, recursion, and constraint. Their
Liu, Yanhong A.
core +1 more source
Advanced Engineering Materials, EarlyView.Additive manufacturing of magnesium alloys by laser is difficult because the melting point of the oxide layer is much higher than the evaporation temperature of the metal underneath. Making the oxide layer thinner can solve this problem. Alloying magnesium with strontium makes the oxide layer thinner, especially at 0.5 wt%.
Elmar Jonas Breitbach +8 more
wiley +1 more source
Structural abstract interpretation, A formal study using Coq [PDF]
, 2008 interpreters are tools to compute approximations for behaviors of a program. These approximations can then be used for optimisation or for error detection. In this paper, we show how to describe an abstract interpreter using the type-theory based theorem
Bertot, Yves
core +3 more sources
Advanced Engineering Materials, EarlyView.Al–Si alloys are particularly in demand for automotive and electronic applications, thanks to their excellent wear and thermal properties. Nevertheless, when processed by conventional methods with low cooling rates, the coarse primary Si phases are responsible for increasing brittleness and inducing crack propagation.
Layla Shams Tisha +3 more
wiley +1 more source