Results 51 to 60 of about 129,892 (308)
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
Improving the efficiency of the transport and logistics sector [PDF]
E3S Web of Conferences, 2023 The use of modern information technologies in transport logistics makes it possible to reduce the cost of cargo delivery and optimize the time of their transportation. Reducing inventory to the most optimal level and delivering goods exactly at a certain
Yekimov Sergey
doaj +1 more source
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
Interpretation of Verbal and Non-Verbal Means of Multimodal Communication (Based on Speeches in the European Parliament) [PDF]
Актуальные проблемы филологии и педагогической лингвистики, 2023 The purpose of the study is to determine the linguistic and cultural specifics of verbal and non-verbal means and mechanisms of multimodal communication functioning in the European Parliament speeches and to interpret them within the framework of ...
Irina A. Zyubina
doaj +1 more source
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
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
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
Systematic Verification of the Modal Logic Cube in Isabelle/HOL [PDF]
, 2015 We present an automated verification of the well-known modal logic cube in Isabelle/HOL, in which we prove the inclusion relations between the cube's logics using automated reasoning tools. Prior work addresses this problem but without restriction to the
Benzmüller, Christoph +2 more
core +3 more sources
Fresh perspectives on multimodal argument reconstruction
Frontiers in CommunicationThe present contribution exemplifies current models for argument reconstruction on an environmental protection print-ad, identifying deficits in the way the models account for multimodal argumentation.
Hartmut Stöckl
doaj +1 more source
A type-logical treebank for French
Journal of Language Modelling, 2015 The goal of the current paper is to describe the TLGbank, a treebank of type-logical proof semi-automatically extracted from the French Treebank. Though the framework chosen for the treebank are multimodal type-logical grammars, we have ensured that the ...
Richard Moot
doaj +1 more source