Results 11 to 20 of about 69,515 (313)
Kripke Completeness of Infinitary Predicate Multimodal Logics [PDF]
Notre Dame Journal of Formal Logic, 1999 zbMATH Open Web Interface contents unavailable due to conflicting licenses.
Yoshihito Tanaka
openalex +4 more sources
Implementing Multimodal Hardware Security with 2D α‐In2Se3 Ferroelectric Transistor [PDF]
Advanced ScienceSecurity is a critical challenge in the integrated circuit (IC) industry, yet device‐level hardware security remains largely underexplored. Most existing solutions necessitate modifications to current technology nodes and typically address only a single ...
Xinwei Zhang +11 more
doaj +2 more sources
Probability Logic for Harsanyi Type Spaces [PDF]
Logical Methods in Computer Science, 2014 Probability logic has contributed to significant developments in belief types for game-theoretical economics. We present a new probability logic for Harsanyi Type spaces, show its completeness, and prove both a de-nesting property and a unique extension ...
Chunlai Zhou
doaj +3 more sources
Theoretical Computer Science, 2006 AbstractWe give a framework for developing the least model semantics, fixpoint semantics, and SLD-resolution calculi for logic programs in multimodal logics whose frame restrictions consist of the conditions of seriality (i.e. ∀x∃yRi(x,y)) and some classical first-order Horn clauses.
Linh Anh Nguyen
openalex +3 more sources
Multimodal Separation Logic for Reasoning About Operational Semantics [PDF]
Electronic Notes in Theoretical Computer Science, 2008 AbstractWe show how to reason, in the proof assistant Coq, about realistic programming languages using a combination of separation logic and heterogeneous multimodal logic. A heterogeneous multimodal logic is a logic with several modal operators that are not required to satisfy the same frame conditions.
Robert Dockins +2 more
openalex +2 more sources
Multimodal multi-instance evidence fusion neural networks for cancer survival prediction [PDF]
Scientific ReportsAccurate cancer survival prediction plays a crucial role in assisting clinicians in formulating treatment plans. Multimodal data, such as histopathological images, genomic data, and clinical information, provide complementary and comprehensive ...
Hui Luo +4 more
doaj +2 more sources
Modeling multimodal integration with event logic charts [PDF]
Proceedings of the 14th ACM international conference on Multimodal interaction, 2012 In this paper we present a novel approach to the combined modeling of multimodal fusion and interaction management. The approach is based on a declarative multimodal event logic that allows the integration of inputs distributed over multiple modalities in accordance to spatial, temporal and semantic constraints. In conjunction with a visual state chart
Gregor Mehlmann, Elisabeth André
openalex +3 more sources
Description Logics and Rules for Multimodal Situational Awareness in Healthcare [PDF]
, 2016 We present a framework for semantic situation understand- ing and interpretation of multimodal data using Description Logics (DL) and rules. More precisely, we use DL models to formally describe contex- tualised dependencies among verbal and non-verbal descriptors in multi- modal natural language interfaces, while context aggregation, fusion and ...
Γεώργιος Μεδίτσκος +2 more
openalex +4 more sources
Multimodal logic programming using equational and order-sorted logic
Theoretical Computer Science, 1992 Modal logics augment predicate logic with the two modal operators \(\square\) (necessarily) and \(\lozenge\) (possibly). By means of these operators, systems with states (``worlds'') can be described very naturally in logic. Multimodal logics have several pairs of these operators. Typical interpretations of a modal formula ``\(\square_ i\Phi\)'' are: ``
Françoise Debart +2 more
openalex +4 more sources
MOORE’S PARADOX AND THE LOGIC OF BELIEF [PDF]
Manuscrito, 2020 Moore’s Paradox is a test case for any formal theory of belief. In Knowledge and Belief, Hintikka developed a multimodal logic for statements that express sentences containing the epistemic notions of knowledge and belief.
ANDRÉS PÁEZ
doaj +4 more sources