Results 31 to 40 of about 1,079,877 (335)
MIFTel: a multimodal interactive framework based on temporal logic rules [PDF]
Danilo Avola +3 more
openalex +2 more sources
Computational Complexity of Multimodal Logics Based on Rough Sets
Summary: We characterize the computational complexity of a family of approximation multimodal logics in which interdependent modal connectives are part of the language. Those logics have been designed to reason in the presence of incomplete information in the sense of rough set theory.
Stéphane Demri, Jarosław Stepaniuk
openalex +3 more sources
Multimodal Fusion: A Review, Taxonomy, Open Challenges, Research Roadmap and Future Directions [PDF]
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
—Due to the global proliferation of information technologies and communication channels, today’s students are increasingly engaged with multimodal, multimedia along with printed-based literacy practices and are significantly exposed to new information ...
Siti Kustini +2 more
openalex +2 more sources
Code-Vision: Evaluating Multimodal LLMs Logic Understanding and Code Generation Capabilities [PDF]
This paper introduces Code-Vision, a benchmark designed to evaluate the logical understanding and code generation capabilities of Multimodal Large Language Models (MLLMs).
Hanbin Wang +9 more
openalex +2 more sources
Omitting Types in Fragments and Extensions of First Order Logic
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
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 +1 more
doaj +1 more source
Fuzzy Logic Decision Fusion in a Fingerprints Based Multimodal Biometric System [PDF]
Emad Majeed Hameed +2 more
openalex +2 more sources
FlowVQA: Mapping Multimodal Logic in Visual Question Answering with Flowcharts [PDF]
Existing benchmarks for visual question answering lack in visual grounding and complexity, particularly in evaluating spatial reasoning skills. We introduce FlowVQA, a novel benchmark aimed at assessing the capabilities of visual question-answering ...
Shubhankar Singh +6 more
openalex +2 more sources
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

