Results 41 to 50 of about 315,857 (305)
Checking a Knowledge-Based System for Consistency and Completeness
Ai Magazine, 1987 We describe a computer program that implements an algorithm to verify the consistency and completeness of knowledge bases built for the Lockheed expert system (LES) shell. The algorithms described here are not specific to this particular shell and can be applied to many rule-based systems.
Deanne Pecora +3 more
openaire +2 more sources
, 2013 In this paper, by adopting a coherence-based probabilistic approach to default reasoning, we focus the study on the logical operation of quasi conjunction and the Goodman-Nguyen inclusion relation for conditional events.
Gilio, Angelo, Sanfilippo, Giuseppe
core +1 more source
BIM semantic-enrichment for built heritage representation [PDF]
, 2018 In the built heritage context, BIM has shown difficulties in representing and managing the large and complex knowledge related to non-geometrical aspects of the heritage.
Acierno, Marta +2 more
core +1 more source
Evolutionary interplay between viruses and R‐loops
FEBS Letters, EarlyView.Viruses interact with specialized nucleic acid structures called R‐loops to influence host transcription, epigenetic states, latency, and immune evasion. This Perspective examines the roles of R‐loops in viral replication, integration, and silencing, and how viruses co‐opt or avoid these structures.
Zsolt Karányi +4 more
wiley +1 more source
Journal of Integrative Bioinformatics, 2013 In systems biology, quantitative experimental data is the basis of building mathematical models. In most of the cases, they are stored in Excel files and hosted locally.
Shi Lei +8 more
doaj +1 more source
Knowledge Base Maintenance and Consistency Checking in MOLTKE
, 2023 This paper deals with special problems of knowledge base maintenance which have to be solved within the knowledge acquisition process. We illustrate that aspects of maintenance must be taken into account by the design model construction because dependencies between pieces of knowledge can result in inconsistent states of a knowledge base. We describe a
openaire +1 more source
From omics to AI—mapping the pathogenic pathways in type 2 diabetes
FEBS Letters, EarlyView.Integrating multi‐omics data with AI‐based modelling (unsupervised and supervised machine learning) identify optimal patient clusters, informing AI‐driven accurate risk stratification. Digital twins simulate individual trajectories in real time, guiding precision medicine by matching patients to targeted therapies.
Siobhán O'Sullivan +2 more
wiley +1 more source
Microbial exopolysaccharide production by polyextremophiles in the adaptation to multiple extremes
FEBS Letters, EarlyView.Polyextremophiles are microorganisms that endure multiple extreme conditions by various adaptation strategies that also include the production of exopolysaccharides (EPSs). This review provides an integrated perspective on EPS biosynthesis, function, and regulation in these organisms, emphasizing their critical role in survival and highlighting their ...
Tracey M Gloster, Ebru Toksoy Öner
wiley +1 more source
Cadernos de Saúde Pública, 2006 O trabalho teve como objetivo levantar a produção científica das aplicações dos dados do Sistema de Informação Hospitalar do SUS (SIH/SUS) em análises de questões relevantes de Saúde Coletiva. Para a busca de artigos publicados em revistas científicas no
Sonia Azevedo Bittencourt +2 more
doaj +1 more source
Conjunctive Query Answering for the Description Logic SHIQ
, 2011 Conjunctive queries play an important role as an expressive query language for Description Logics (DLs). Although modern DLs usually provide for transitive roles, conjunctive query answering over DL knowledge bases is only poorly understood if transitive
Glimm, Birte +3 more
core +1 more source