Knowledge graph for traditional Chinese medicine diagnosis and treatment of diabetic retinopathy: design, construction, and applications. [PDF]
Xiao L +5 more
europepmc +1 more source
FHIR Standard-Based Oncology Data Model for Cancer Screening: Design and Implementation Study.
Mantri M, Satokar S, Tambe P, Bhutad C.
europepmc +1 more source
Rethinking psychometrics through LLMs: how item semantics shape measurement and prediction in psychological questionnaires. [PDF]
Ravenda F +4 more
europepmc +1 more source
KGMP: Augmenting retrieval knowledge graph with multi-hop perceptron. [PDF]
Yang Z +6 more
europepmc +1 more source
Pretrained language models for semantics-aware data harmonisation of observational clinical studies in the era of big data. [PDF]
Dylag JJ, Zlatev Z, Boniface M.
europepmc +1 more source
SSB: Smart Contract Security Detection Tool Suitable for Industrial Control Scenarios. [PDF]
Tao C, He S, Shen X.
europepmc +1 more source
Related searches:
Models, semantics and logical truth
Linguistics and Philosophy, 1988To gauge the success of a model-theoretic semantics, we generally look first to the set of logical truths it produces, to the sentences that turn up true in all models. If we've got things right, these sentences ought to conform fairly well to our pretheoretic intuitions about the logical or analytic truths of the language in question.
openaire +2 more sources
Disjunctive logic programming and possible model semantics
1998We use Kripke structures of autoepistemic logic to classify various semantics for disjunctive logic programs with default negation. We have observed that nonmonotonic reasoning can be characterized by Kripke structures whose beliefs are justified. We also observed that two different types of negative introspection in autoepistemic reasoning present two
Li-Yan Yuan, Jia-Huai You, Randy Goebel
openaire +1 more source
Semantic Web Model and Reasoning Based on F-logic
International Journal of Advancements in Computing Technology, 2012In order to model context in pervasive computing environments, and support logic-based context reasoning, a core ontology modeling framework for OWL-S(Ontology Web Language for Services) and a reasoning mechanism using F-logic are proposed in this paper. It analyzes the construction of OWLS model type, gives F-logic axioms, derivation rules and methods
Tao He - +3 more
openaire +1 more source
Logical omniscience, semantics, and models of belief
Computational Intelligence, 1988Logical omniscience may be described (roughly) as the state of affairs in which an agent explicitly believes anything which is logically entailed by that agent's beliefs. It is widely agreed that humans are not logically omniscient, and that an adequate formal model of belief, coupled with a correct semantic theory, would not entail logical omniscience.
openaire +1 more source

