Results 51 to 60 of about 201,128 (321)
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
MathematicsSome 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 +3 more
doaj +1 more source
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
Synthesizing Recursive Logic Programs by Inverting General Resolution
IEEE AccessA fundamental scalability restriction of most Inductive Logic Programming (ILP) systems is that they search syntactically defined program spaces and cannot utilize relations in data.
Taosheng Qiu, Ryutaro Ichise
doaj +1 more source
A taxonomy for community-based care programs focused on HIV/AIDS prevention, treatment, and care in resource-poor settings [PDF]
Global Health Action, 2013 Community-based care (CBC) can increase access to key services for people affected by HIV/AIDS through the mobilization of community interests and resources and their integration with formal health structures.
Beth Rachlis +5 more
doaj +1 more source
April – An Inductive Logic Programming System [PDF]
, 2006 Inductive Logic Programming (ILP) is a Machine Learning research field that has been quite successful in knowledge discovery in relational domains. ILP systems use a set of pre-classified examples (positive and negative) and prior knowledge to learn a theory in which positive examples succeed and the negative examples fail.
Nuno A. Fonseca +2 more
openaire +3 more sources
Advanced Functional Materials, EarlyView.Janus (MoS2) transistors functionalized with sodium alginate (SA) and poly(vinylidene fluoride‐co‐trifluoroethylene) [P(VDF‐TrFE)] exhibit persistent photo‐induced ionic gating, driven by dynamic cation migration at the hybrid interface. This ionic mechanism enables finely tunable photoconductivity and emulates key synaptic plasticity behaviors ...
Yeonsu Jeong +5 more
wiley +1 more source
Hierarchically sorted inductive logic programming and its application to information extraction [PDF]
, 2000 This thesis extends a conventional framework of Inductive Logic Prgramming(ILP)[35]to that of hierarchically sorted Inductive Logic Programming and applies the extended ILP ...Thesis (Ph. D. in Engineering)--University of Tsukuba, (B), no.
Sasaki Yutaka, 佐々木 裕
core
Advanced Functional Materials, EarlyView.In this work, a reconfigurable T‐CMOS inverter based on vertically stacked MoS2 and WSe2 MOSFETs with a gate‐tunable MoS2 resistor, enabling stable ternary logic, is demonstrated. The T‐CMOS inverter supports electrical switching between ternary and binary modes and is further extended to implement ternary NAND (NMIN) and NOR (NMAX) logic gates ...
Changwook Lee +5 more
wiley +1 more source
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