Results 21 to 30 of about 1,079,877 (335)
Quantified Multimodal Logics in Simple Type Theory [PDF]
Logica Universalis, 2012 We present an embedding of quantified multimodal logics into simple type theory and prove its soundness and completeness. A correspondence between QKπ models for quantified multimodal logics and Henkin models is established and exploited. Our embedding supports the application of off-the-shelf higher-order theorem provers for reasoning within and about
Christoph Benzmüller +1 more
openalex +3 more sources
Description Logics and Rules for Multimodal Situational Awareness in Healthcare [PDF]
, 2016 We present a framework for semantic situation understand- ing and interpretation of multimodal data using Description Logics (DL) and rules. More precisely, we use DL models to formally describe contex- tualised dependencies among verbal and non-verbal descriptors in multi- modal natural language interfaces, while context aggregation, fusion and ...
Γεώργιος Μεδίτσκος +2 more
openalex +4 more sources
Multimodal multi-instance evidence fusion neural networks for cancer survival prediction [PDF]
Scientific ReportsAccurate cancer survival prediction plays a crucial role in assisting clinicians in formulating treatment plans. Multimodal data, such as histopathological images, genomic data, and clinical information, provide complementary and comprehensive ...
Hui Luo +4 more
doaj +2 more sources
Cattle welfare assessment based on adaptive fuzzy logic and multimodal data fusion
Frontiers in Veterinary ScienceThis study proposes a cattle welfare evaluation method based on multi-modal data fusion, which integrates various data dimensions, such as cattle behavior characteristics, feeding management conditions, and environmental parameters, to achieve a ...
Lei Tong +10 more
doaj +2 more sources
, 2018 We study multimodal logics over universally first-order definable classes of frames. We show that even for bimodal logics, there are universal Horn formulas that define set of frames such that the satisfiability problem is undecidable, even if one or two of the binary relations are transitive.
Jakub Michaliszyn
openalex +4 more sources
Multimodal fuzzy logic-based gait evaluation system for assessing children with cerebral palsy
Scientific ReportsGait analysis is crucial for identifying functional deviations from the normal gait cycle and is essential for the individualized treatment of motor disorders such as cerebral palsy (CP).
Saleh Massoud +4 more
doaj +2 more sources
Inferring combinatorial association logic networks in multimodal genome-wide screens [PDF]
Bioinformatics, 2010 Abstract Motivation: We propose an efficient method to infer combinatorial association logic networks from multiple genome-wide measurements from the same sample. We demonstrate our method on a genetical genomics dataset, in which we search for Boolean combinations of multiple genetic loci that associate with transcript levels.
Jeroen de Ridder +5 more
openalex +7 more sources
A Hybrid Fault Tree–Fuzzy Logic Model for Risk Analysis in Multimodal Freight Transport
SystemsMultimodal freight transport systems, integrating maritime, rail, and road modes, play a vital role in modern logistics but face elevated operational, human, and environmental risks due to their complexity and interdependencies.
Catalin Popa +3 more
doaj +2 more sources
On the Relative Succinctness of Two Extensions by Definitions of Multimodal Logic [PDF]
Conference on Computability in Europe, 2012 The growing number of logics has lead to the question: How do we compare two formalisms? A natural answer is: We can compare their expressive power and computational properties. There is, however, another way of comparing logics that has attracted attention recently, namely in terms of representational succinctness, i.e., we can ask whether one of the ...
Barteld Kooi +2 more
openaire +3 more sources
Quantified Multimodal Logics in Simple Type Theory
, 2009 ii + 22 ...
Christoph Benzmueller +1 more
openalex +4 more sources