Results 271 to 280 of about 1,394,777 (330)

An Introduction to Modal Semantics

1993
The present note constitutes an introductory course in propositional modal logic. It does not require specific prerequisites, but only a standard knowledge of classical propositional calculus (denoted by PC in the following). Its main goal consists in making the reader familiar with both the traditional ‘possible worlds semantics’, and the more recent ...
openaire   +2 more sources

Prominence Semantics for Modality

2021
This chapter develops a formal model of context-sensitivity of modal discourse. Much like demonstrative pronouns, modals are prominence-sensitive, selecting the most prominent candidate interpretation. The prominence ranking of candidate interpretations is recorded in the conversational record, and is maintained through the effects of discourse ...
openaire   +1 more source

Multi-Modal Hashing for Efficient Multimedia Retrieval: A Survey

IEEE Transactions on Knowledge and Data Engineering
With the explosive growth of multimedia contents, multimedia retrieval is facing unprecedented challenges on both storage cost and retrieval speed. Hashing technique can project the high-dimensional data into compact binary hash codes.
Lei Zhu, Chaoqun Zheng, Weili Guan, Jingjing Li, Yang Yang, H. Shen   +5 more
semanticscholar   +1 more source

Holistic Autonomous Driving Understanding by Bird'View Injected Multi-Modal Large Models

Computer Vision and Pattern Recognition
The rise of multimodal large language models (MLLMs) has spurred interest in language-based driving tasks. However, existing research typically focuses on limited tasks and often omits key multi-view and temporal information which is crucial for robust ...
Xinpeng Ding, Jianhua Han, Hang Xu, Xiaodan Liang, Wei Zhang, Xiaomeng Li   +5 more
semanticscholar   +1 more source

Failure Semantics for Modal Transition Systems

2014 14th International Conference on Application of Concurrency to System Design, 2014
With the aim to preserve deadlock freedom, we define a new refinement preorder for modal transition systems (MTSs), using an MTS-specific variant of testing inspired by De Nicola and Hennessy. We characterize this refinement with a kind of failure semantics and show that it “supports itself,” for example, in the sense of thoroughness—in contrast to ...
Bujtor, Ferenc, Vogler, Walter
openaire   +2 more sources

Modal logic, modal semantics and their applications

1981
Modal logic and modal semantics are primarily concerned with the notions of necessity, possibility and related concepts. Their development may in retrospect be seen to have proceeded in several stages. C.I. Lewis [90] on intuitive considerations proposed formal systems of modal propositional logic (MPL) extending standard propositional logic (PL) to ...
openaire   +1 more source

Modality, semantics, and consciousness

Philosophical Studies, 2013
The Character of Consciousness brings together most of the important papers that Chalmers has written on the topic of consciousness since (and a couple before) the publication of his book, The Conscious Mind. He covers such topics as the identification of neural correlates of consciousness, the modal argument against materialism, the ‘‘phenomenal ...
openaire   +1 more source

Human Cognition-Based Consistency Inference Networks for Multi-Modal Fake News Detection

IEEE Transactions on Knowledge and Data Engineering
The existing models for multi-modal fake news detection focus mainly on capturing common similar semantics between different modalities to improve detection performance.
Lianwei Wu, Pusheng Liu, Yongqiang Zhao, Peng Wang, Yang Zhang   +4 more
semanticscholar   +1 more source

Modality, Semantics, and Consciousness

2018
Here I present an overall assessment of how Chalmers and I differ on the argumentative route to any form of anti-Materialism. I reframe my objection to the semantic framework he appeals to in his argument and also present reasons for thinking that no choice to adopt one semantic framework over another can yield the metaphysical conclusions he wishes to
openaire   +1 more source

QUANTIFIED MODAL LOGIC WITH NEIGHBORHOOD SEMANTICS

Mathematical Logic Quarterly, 1992
AbstractThe paper presents a semantics for quantified modal logic which has a weaker axiomatization than the usual Kripke semantics. In particular, the Barcan Formula (BF) and its converse are not valid with the proposed semantics. Subclasses of models which validate BF and other interesting formulas are presented. A completeness theorem is proved, and
Geir Waagbø, G. Waagbø
openaire   +2 more sources