Results 41 to 50 of about 134,060 (299)
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 +2 more
semanticscholar +1 more source
A Curry-Howard Correspondence for Linear, Reversible Computation [PDF]
Logical Methods in Computer ScienceIn this paper, we present a linear and reversible programming language with inductives types and recursion. The semantics of the languages is based on pattern-matching; we show how ensuring syntactical exhaustivity and non-overlapping of clauses is ...
Kostia Chardonnet +2 more
doaj +1 more source
Logical Rule-Based Knowledge Graph Reasoning: A Comprehensive Survey
Mathematics, 2023 With its powerful expressive capability and intuitive presentation, the knowledge graph has emerged as one of the primary forms of knowledge representation and management.
Zefan Zeng, Qing Cheng, Yuehang Si
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.
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
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
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
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
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
Inductive Logic Programming for Symbol Recognition
2009 10th International Conference on Document Analysis and Recognition, 2009 In this paper, we make an attempt to use Inductive Logic Programming (ILP) to automatically learn non trivial de- scriptions of symbols, based on a formal description. This work is a first step in this direction and is rather a proof of concept, rather than a fully operational and robust frame- work.
K.C., Santosh +2 more
openaire +3 more sources