Results 21 to 30 of about 1,125,786 (343)

Multimodal Fusion for Trust Assessment in Lower-Limb Rehabilitation: Measurement Through EEG and Questionnaires Integrated by Fuzzy Logic. [PDF]

Sensors (Basel)
Zheng K, Han F, Li C.
europepmc   +2 more sources

Multimodal fuzzy logic-based gait evaluation system for assessing children with cerebral palsy [PDF]

Scientific Reports
Gait 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, Ebrahim Ismaiel, Rasha Massoud, Leila Khadour, Moustafa Al-mawaldi   +4 more
doaj   +2 more sources

Elementary Multimodal Logics [PDF]

, 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   +3 more sources

Fuzzy Logic Decision Fusion in a Fingerprints Based Multimodal Biometric System [PDF]

Journal of engineering and applied sciences, 2019
Emad Majeed Hameed, Noor Abbood, Ahmed A. Alani   +2 more
openalex   +2 more sources

Quantified Multimodal Logics in Simple Type Theory [PDF]

Logica Universalis, 2009
ii + 22 ...
Christoph Benzmueller, Lawrence C. Paulson   +1 more
openalex   +5 more sources

Multimodal Fusion: A Review, Taxonomy, Open Challenges, Research Roadmap and Future Directions [PDF]

Neutrosophic Sets and Systems, 2021
The present work collects a plethora of previous research work in the field of multimodal fusion which despite a lot of research could not handle the imperfections.
Mohd Anas Wajid, Aasim Zafar
doaj   +1 more source

Multimodal logic programming

Theoretical Computer Science, 2006
zbMATH Open Web Interface contents unavailable due to conflicting licenses.
Linh Anh Nguyen
semanticscholar   +2 more sources

Omitting Types in Fragments and Extensions of First Order Logic

Bulletin of the Section of Logic, 2021
Fix \(2 < n < \omega\). Let \(L_n\) denote first order logic restricted to the first n variables. Using the machinery of algebraic logic, positive and negative results on omitting types are obtained for \(L_n\) and for infinitary variants and extensions ...
Tarek Sayed Ahmed
doaj   +1 more source

Cut elimination for knowledge logic with interaction

Lietuvos Matematikos Rinkinys, 2021
In the article the multimodal logic Tn with central agent interaction axiom is analysed. The Hilbert type calculi is presented, then Gentzen type calculi with cut is derived and the proof of cutelimination theorem is outlined.
Julius Andrikonis, Regimantas Pliuškevičius   +1 more
doaj   +1 more source

Gilbert as Disrupter

Informal Logic, 2022
Michael Gilbert’s multi-modal theory of argument challenges earlier accounts of arguing assumed in formal and informal logic. His account of emotional, visceral, and kisceral modes of arguing rejects the assumption that all arguments must be treated as ...
Leo Groarke
doaj   +1 more source