Results 161 to 170 of about 78,943 (189)

Embedding Coalition Logic in the Minimal Normal Multimodal Logic with Intersection

2015
We present a satisfiability-preserving embedding of coalition logic into a normal modal logic. An advantage of standard, normal, and modal logics is a well-understood theoretical foundation and the availability of tools for automated verification and reasoning.
Thomas Ågotnes, Natasha Alechina
openaire   +1 more source

Multimodal and intuitionistic logics in simple type theory

Logic Journal of IGPL, 2010
We study straightforward embeddings of propositional normal multimodal logic and propositional intuitionistic logic in simple type theory. The correctness of these embeddings is easily shown. We give examples to demonstrate that these embeddings provide an effective framework for computational investigations of various non-classical logics.
C. Benzmueller, L. C. Paulson
openaire   +1 more source

Multimodal Logic for Syntax

1998
N.A.
openaire   +2 more sources

Towards Fuzzy Logic Based Multimodal Speech Filtering

2015
After an investigation of state-of-the-art research in Chap. 3, Chap. 4 proposed a new two-stage audiovisual speech enhancement system that makes use of both audio and visual information to filter speech. The results of comprehensive testing in Chap. 5, identified a number of key strengths and weaknesses.
Andrew Abel, Amir Hussain
openaire   +1 more source

Modified Tableaux for Some Kinds of Multimodal Logics

2016
A multimodal logic is a logic where a certain number of different modal operators appear. In some of these logics we can have at our disposal a labeled tableaux method whereby different modal operators give rise to different labels. The properties of the accessibility relations, in the semantic view, may be treated by means of what we call inheritance ...
Emilio Gómez-Caminero, Ángel Nepomuceno   +1 more
openaire   +1 more source

Multimodal Logics for Reasoning about Interaction

2009
In this paper, we report some of the activities carried on in the last years by the research group leaded by Alberto Martelli. In particular, it presents a research line that encompasses the specification, the development and the verification of interaction protocols.
BALDONI, Matteo, BAROGLIO, Cristina, PATTI, Viviana   +2 more
openaire   +1 more source

The contemporary management of peritoneal metastasis: A journey from the cold past of treatment futility to a warm present and a bright future

Ca-A Cancer Journal for Clinicians, 2023
Jason, Chunmeng Zhang, Prateek Sharma
exaly  

Integrated analysis of multimodal single-cell data

Cell, 2021
Yuhan Hao, Stephanie Hao, Erica Andersen-Nissen   +2 more
exaly  

Pan-cancer integrative histology-genomic analysis via multimodal deep learning

Cancer Cell, 2022
Tiffany Y Chen, Jana Lipkova, Maha Shady
exaly  

Artificial intelligence for multimodal data integration in oncology

Cancer Cell, 2022
Bowen Chen, Daniel Shao, Tiffany Y Chen
exaly