Results 41 to 50 of about 74,003 (318)
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 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
Stable Model Counting and Its Application in Probabilistic Logic Programming [PDF]
, 2014 Model counting is the problem of computing the number of models that satisfy a given propositional theory. It has recently been applied to solving inference tasks in probabilistic logic programming, where the goal is to compute the probability of given ...
Aziz, Rehan Abdul +3 more
core +1 more source
Joint Control of Radiated and Surface Waves via Space‐Time Coding Metasurfaces
Advanced Functional Materials, EarlyView.A unified space‐time coding metasurface platform enables simultaneous control of radiated and surface‐confined waves across multiple harmonics. Demonstrated functionalities include multi‐frequency beam shaping; surface‐wave excitation, and hybrid multiplexing.
Zihao Dai +6 more
wiley +1 more source
A three-valued logic for Inductive Logic Programming [PDF]
, 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
, 2010 The goal of this lecture is to show how modern theorem provers---in this case, the Coq proof assistant---can be used to mechanize the specification of programming languages and their semantics, and to reason over individual programs and over generic ...
Leroy, Xavier
core +4 more sources
Materials and System Design for Self‐Decision Bioelectronic Systems
Advanced Materials, EarlyView.This review highlights how self‐decision bioelectronic systems integrate sensing, computation, and therapy into autonomous, closed‐loop platforms that continuously monitor and treat diseases, marking a major step toward intelligent, self‐regulating healthcare technologies.
Qiankun Zeng +9 more
wiley +1 more source
MP-SPILDL: A Massively Parallel Inductive Logic Learner in Description Logic
IEEE AccessThis 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
Frontiers 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
Induction of Non-Monotonic Logic Programs to Explain Boosted Tree Models Using LIME
, 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