Results 1 to 10 of about 72,713 (317)

Inductive Logic Programming in Databases: from Datalog to DL+log

open access: yes, 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

Structural Resolution with Co-inductive Loop Detection [PDF]

open access: yes, 2017
A way to combine co-SLD style loop detection with structural resolution was found and is introduced in this work, to extend structural resolution with co-induction.
Li, Yue
core   +2 more sources

MP-SPILDL: A Massively Parallel Inductive Logic Learner in Description Logic

open access: yesIEEE Access
This article presents MP-SPILDL, a massively parallel inductive logic learner in Description Logic (DL). MP-SPILDL is a scalable inductive Logic Programming (ILP) algorithm that exploits existing Big Data infrastructure to perform large-scale inductive ...
Eyad Algahtani
doaj   +1 more source

Bootstrapping Knowledge Graphs From Images and Text

open access: yesFrontiers in Neurorobotics, 2019
The problem of generating structured Knowledge Graphs (KGs) is difficult and open but relevant to a range of tasks related to decision making and information augmentation.
Jiayuan Mao   +7 more
doaj   +1 more source

A three-valued logic for Inductive Logic Programming [PDF]

open access: yes, 1999
Inductive Logic Programming (ILP) is closely related to Logic Programming (LP) by the name. We extract the basic differences of ILP and LP by comparing both and give definitions of the basic assumptions of their paradigms, e.g. closed world assumption,
Bell, Siegfried, Weber, Steffo
core  

Logic Programming Applications: What Are the Abstractions and Implementations?

open access: yes, 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

Semantic Probabilistic Inference of Predictions

open access: yesИзвестия Иркутского государственного университета: Серия "Математика", 2017
Prediction is one of the most important concepts in science. Predictions obtained from probabilistic knowledge, are described by an inductive-statistical inference (I-S inference).
E. E. Vityaev
doaj   +1 more source

Symbolic Imitation Learning: From Black-Box to Explainable Driving Policies

open access: yesApplied Sciences
Current imitation learning approaches, predominantly based on deep neural networks (DNNs), offer efficient mechanisms for learning driving policies from real-world datasets.
Iman Sharifi   +2 more
doaj   +1 more source

GenEth: a general ethical dilemma analyzer

open access: yesPaladyn, 2018
We argue that ethically significant behavior of autonomous systems should be guided by explicit ethical principles determined through a consensus of ethicists. Such a consensus is likely to emerge in many areas in which intelligent autonomous systems are
Anderson Michael, Anderson Susan Leigh
doaj   +1 more source

Induction of Non-Monotonic Logic Programs to Explain Boosted Tree Models Using LIME

open access: yes, 2018
We present a heuristic based algorithm to induce \textit{nonmonotonic} logic programs that will explain the behavior of XGBoost trained classifiers.
Gupta, Gopal, Shakerin, Farhad
core   +1 more source

Home - About - Disclaimer - Privacy