Results 141 to 150 of about 12,699 (243)

Boolean matrix logic programming for active learning of gene functions in genome-scale metabolic network models. [PDF]

Mach Learn
Ai L, Muggleton SH, Liang SS, Baldwin GS.   +3 more
europepmc   +1 more source

Designed an Expert System for Diagnosis of Covid-19 Patients

, 2022
Mishra S, Aggarwal M, Yadav S, Sharma Y.
europepmc   +1 more source

Analyzing logic programs with dynamic scheduling

, 1994
Traditional logic programming languages, such as Prolog, use a fixed left-to-right atom scheduling rule. Recent logic programming languages, however, usually provide more flexible scheduling in which computation generally proceeds leftto- right but in ...
Hermenegildo, Manuel V., Marriott, K., García de la Banda, M.   +2 more
core  

An Information-Theoretic Model of Abduction for Detecting Hallucinations in Explanations. [PDF]

Entropy (Basel)
Galitsky B.
europepmc   +1 more source

WWW Programming using computational logic systems (and the PiLLoW/Ciao library)

, 1997
We discuss from a practical point of view a number of issues involved in writing Internet and WWW applications using LP/CLP systems. We describe Pd_l_oW, a public-domain Internet and WWW programming library for LP/CLP systems which we argüe significantly
Cabeza Gras, Daniel, Hermenegildo, Manuel V., Daniel Cabeza, Manuel Hermenegildo   +3 more
core  

Analysis of Mood and Anxiety Disorder Content in Common U.S. Obstetrics and Gynecology Residency Educational Resources. [PDF]

Acad Med
Lennon C, Toscano M.
europepmc   +1 more source

A Formal Model for Lazy Implementation of a Prolog Compatible Functional Language

, 1984
The paper introduces a graph reduction based model for defining a formal implementation of a Prolog compatible, functional ...
Dameri E, DEGANO, PIERPAOLO, Martelli M., LEVI, GIORGIO, BELLIA, MARCO   +4 more
core  

Resident Performance on the Obstetrics and Gynecology In-Training Examination After Implementation of a New Academic Curriculum. [PDF]

Cureus
Lundeberg KR, Madison S, Lo N, Maxwell R, Massengill J.   +4 more
europepmc   +1 more source

Spezifisches Arbeitsmaterial zur Förderung relevanter Aspekte bei Restriktionen in der phonologischen Informationsverarbeitung.

, 2011
Zaps J, Berendes K, Gottal S, Grabherr B, Wittler M, Ptok M. MALI.
Gottal, Stephanie, Zaps, Jennifer, Wittler, Marion, Grabherr, Britta, Berendes, Karin, Ptok, Martin   +5 more
core  

Ontology based autonomous robot task processing framework. [PDF]

Front Neurorobot
Ge Y, Zhang S, Cai Y, Lu T, Wang H, Hui X, Wang S.   +6 more
europepmc   +1 more source