Reasoning about XML with temporal logics and automata [PDF]
, 2010 We show that problems arising in static analysis of XML specifications and transformations can be dealt with using techniques similar to those developed for static analysis of programs Many properties of interest in the XML context are related to ...
Leonid Libkin +3 more
core +1 more source
MRSA Isolates from Patients with Persistent Bacteremia Generate Nonstable Small Colony Variants In Vitro within Macrophages and Endothelial Cells during Prolonged Vancomycin Exposure. [PDF]
Infect Immun, 2023 Fauerharmel-Nunes T +8 more
europepmc +1 more source
Machine Learning Guidance for Connection Tableaux. [PDF]
J Autom Reason, 2021 Färber M, Kaliszyk C, Urban J.
europepmc +1 more source
Equality-friendly well-founded semantics and applications to description logics [PDF]
, 2012 We tackle the problem of defining a well-founded semantics (WFS) for Datalog rules with existentially quantified variables in their heads and nega- tions in their bodies. In particular, we provide a WFS for the recent Datalog± family of ontology languages,
Lukasiewicz, Thomas +3 more
core +3 more sources
Advances in biomineralization-inspired materials for hard tissue repair. [PDF]
Int J Oral Sci, 2021 Tang S, Dong Z, Ke X, Luo J, Li J.
europepmc +1 more source
Reasoning with Large A-Boxes in Fuzzy Description Logics using DL reasoners: An Experimental Evaluation [PDF]
, 2008 Cimiano P, Haase P, Ji Q, et al. Reasoning with Large A-Boxes in Fuzzy Description Logics using DL reasoners: An Experimental Evaluation. In: Proceedings of the ESWC Workshop on Advancing Reasoning on the Web: Scalability and Commonsense ...
Haase, Peter +7 more
core
Polymer-based drug delivery systems under investigation for enzyme replacement and other therapies of lysosomal storage disorders. [PDF]
Adv Drug Deliv Rev, 2023 Placci M, Giannotti MI, Muro S.
europepmc +1 more source
Individuating Logics: A Category-Theoretic Approach. [PDF]
Thought (Hoboken), 2019 Wigglesworth J.
europepmc +1 more source