Results 21 to 30 of about 78,943 (189)
Modal Logics with Hard Diamond-free Fragments [PDF]
, 2015 We investigate the complexity of modal satisfiability for certain combinations of modal logics. In particular we examine four examples of multimodal logics with dependencies and demonstrate that even if we restrict our inputs to diamond-free formulas (in
A Kurucz +12 more
core +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
Network modal innovation for distributed machine learning
Dianxin kexue, 2023 Distributed machine learning, as a popular computing architecture for artificial intelligence, still faces challenges of slow model training and poor data performance transmission.Traditional network modalities were un able to meet the communication ...
Zehua GUO, Haowen ZHU, Tongwen XU
doaj +2 more sources
Continuous Markovian Logics - Axiomatization and Quantified Metatheory [PDF]
Logical Methods in Computer Science, 2012 Continuous Markovian Logic (CML) is a multimodal logic that expresses quantitative and qualitative properties of continuous-time labelled Markov processes with arbitrary (analytic) state-spaces, henceforth called continuous Markov processes (CMPs).
Radu Mardare +2 more
doaj +1 more source
Classical and Fuzzy Two-Layered Modal Logics for Uncertainty: Translations and Proof-Theory
International Journal of Computational Intelligence Systems, 2020 This paper is a contribution to the study of two distinct kinds of logics for modelling uncertainty. Both approaches use logics with a two-layered modal syntax, but while one employs classical logic on both levels and infinitely-many multimodal operators,
Paolo Baldi +2 more
doaj +1 more source
On staying grounded and avoiding Quixotic dead ends [PDF]
, 2016 The 15 articles in this special issue on The Representation of Concepts illustrate the rich variety of theoretical positions and supporting research that characterize the area.
A Caramazza +86 more
core +2 more sources
Logistics aspects of organising multimodal deliveries in the sustainable development context [PDF]
E3S Web of ConferencesThe relevance of the chosen topic is determined to be the increasing role of multimodal connections of various transport modes and the need to identify theoretically justified and practically significant logistical aspects of organising multimodal ...
Shapoval Ganna +4 more
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
Prefixed tableaux for multi-modal logic of knowledge with inclusions
Lietuvos Matematikos Rinkinys, 2003 There is not abstract.
Jūratė Sakalauskaitė
doaj +3 more sources
Mathematical modeling of multimodal transportation in Ukraine using methods of the graph theory [PDF]
E3S Web of Conferences, 2021 One of the problems of modernizing multimodal transportation of goods in post-Soviet countries is the optimization of the transport supply chain. This requires, in particular, a software package that is to be adapted to local conditions, to the expanded ...
Perevozova Iryna +4 more
doaj +1 more source