Results 41 to 50 of about 69,515 (313)
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
openaire +2 more sources
Demand and Congestion in Multiplex Transportation Networks. [PDF]
PLoS ONE, 2016 Urban transportation systems are multimodal, sociotechnical systems; however, while their multimodal aspect has received extensive attention in recent literature on multiplex networks, their sociotechnical aspect has been largely neglected.
Philip S Chodrow +3 more
doaj +1 more source
Tribo‐ferro‐optoelectronic neuromorphic transistor of α‐In2Se3
Brain-X, 2023 Inspired by biological neural networks, the fabrication of artificial neuromorphic systems with multimodal perception capacity shows promises in overcoming the “von Neumann bottleneck” and takes advantage of the efficient perception and computation of ...
Zhenyu Feng +8 more
doaj +1 more source
Political Soviet posters and modern multimodal texts: cognitive experience in the process of perception and categorization of reality [PDF]
Актуальные проблемы филологии и педагогической лингвистики, 2021 In the work, the attempt to identify the features of the interaction of signs of different semiotic systems in the context of multimodal texts, which are considered as a special information construct and are perceived through the visual communication ...
Dinara R. Mukhametshina +1 more
doaj +1 more source
Clausal Resolution for Modal Logics of Confluence [PDF]
, 2014 We present a clausal resolution-based method for normal multimodal logics of confluence, whose Kripke semantics are based on frames characterised by appropriate instances of the Church-Rosser property. Here we restrict attention to eight families of such
Dixon, Clare +2 more
core +2 more sources
Do You See What I Mean? Visual Resolution of Linguistic Ambiguities [PDF]
, 2015 Understanding language goes hand in hand with the ability to integrate complex contextual information obtained via perception. In this work, we present a novel task for grounded language understanding: disambiguating a sentence given a visual scene which
Barbu, Andrei +4 more
core +4 more sources
Logically at Factify 2022: Multimodal Fact Verification
, 2021 Accepted in AAAI'22: First Workshop on Multimodal Fact-Checking and Hate Speech Detection, Februrary 22 - March 1, 2022,Vancouver, BC ...
Gao, Jie +4 more
openaire +2 more sources
Prefixed tableaux for multi-modal logic of knowledge with inclusions
Lietuvos Matematikos Rinkinys, 2003 There is not abstract.
Jūratė Sakalauskaitė
doaj +1 more source
Symbol Emergence in Robotics: A Survey [PDF]
, 2015 Humans can learn the use of language through physical interaction with their environment and semiotic communication with other people. It is very important to obtain a computational understanding of how humans can form a symbol system and obtain semiotic
Asoh, Hideki +5 more
core +1 more source
Clausal Tableaux for Multimodal Logics of Belief
Fundamenta Informaticae, 2009 We develop clausal tableau calculi for six multimodal logics variously designed for reasoning about multi-degree belief, reasoning about distributed systems of belief and for reasoning about epistemic states of agents in multi-agent systems. Our tableau calculi are sound, complete, cut-free and have the analytic superformula property, thereby giving ...
Gore, Rajeev, Nguyen, Linh Anh
openaire +3 more sources