Results 91 to 100 of about 109,310 (121)
AI-driven diagnosis of acute aortic syndrome based on multi-modal information fusion. [PDF]
Yang Z, Xu S, Wang B, Liu H, Chang J.
europepmc +1 more source
Multi-modal emotional analysis in customer relation management and enhancing communication through integrated affective computing. [PDF]
Gracy Theresa W +4 more
europepmc +1 more source
Explainable multi-modal deep learning for transparent cancer diagnosis: integrating radiology, clinical features, and decision visualization. [PDF]
Dash S +7 more
europepmc +1 more source
Dynamic Hyperbolic Tangent PSO-Optimized VMD for Pressure Signal Denoising and Prediction in Water Supply Networks. [PDF]
Shang Y, Zhang Z.
europepmc +1 more source
A Multi-Modal Decision-Level Fusion Framework for Hypervelocity Impact Damage Classification in Spacecraft. [PDF]
Zhang K +4 more
europepmc +1 more source
Some of the next articles are maybe not open access.
Related searches:
Related searches:
A Decidable Fragment of First Order Modal Logic: Two Variable Term Modal Logic
ACM Transactions on Computational Logic, 2023First order modal logic (𝖥𝖮𝖬𝖫) is built by extending First Order Logic (𝖥𝖮) with modal operators. A typical formula is of the form \(\forall x \exists y \Box P(x,y)\) .
Anantha Padmanabha, R. Ramanujam
openaire +2 more sources
The Monodic Fragment of Propositional Term Modal Logic
Studia Logica, 2018The paper deals with so-called term modal logics (TML), introduced by \textit{M. Fitting} et al. [Stud. Log. 69, No. 1, 133--169 (2001; Zbl 0992.03026)]. In such logics, modalities are indexed by variables for agents, and these can be quantified over.
Padmanabha, Anantha, Ramanujam, R.
openaire +1 more source
2018
The paper considers term-modal logics and introduces some decidable fragments thereof. In particular, two fragments will be introduced: one that simulates monotone non-normal logics and another one that simulates normal multi-agent epistemic logics with quantification over groups of agents. These logics are defined semantically.
eugenio orlandelli, giovanna corsi
openaire +1 more source
The paper considers term-modal logics and introduces some decidable fragments thereof. In particular, two fragments will be introduced: one that simulates monotone non-normal logics and another one that simulates normal multi-agent epistemic logics with quantification over groups of agents. These logics are defined semantically.
eugenio orlandelli, giovanna corsi
openaire +1 more source

