Results 41 to 50 of about 109,310 (121)

Formalizing Decisional and Operational Roles in Legal Contracts via Term-Modal Logic

CEUR Workshop Proceedings
Translations of legal contracts into formal specifications that can be used for assisted reasoning are currently gaining considerable attention in AI and law. Yet, the conceptual intricacy of some of the normative notions involved in legal contracts continues to provide significant challenges to formalization; in accordance with this, there is a need ...
Frijters, Stef, Pascucci, Matteo
openaire   +2 more sources

Term-Modal Deontic Logics as Fragments of Alethic First-Order Modal Logics

sponsorship: KU Leuven|IDN-19-009 Bitshare: Bitstring Semantics for Human and Artificial Reasoning, Research Foundation (Flanders ...
Frijters, Stef, Van den Eede, Robbe
openaire   +1 more source

A first-order Temporal Logic for Actions

, 2006
We present a multi-modal action logic with first-order modalities, which contain terms which can be unified with the terms inside the subsequent formulas and which can be quantified. This makes it possible to handle simultaneously time and states.
Schwind, Camilla
core   +1 more source

Dynamic Term-Modal Logic Revisited

Dynamic Term-Modal Logic Revisited
5th International Workshop On Philosophy and Logic of Social Reality.
openaire  

Reply to Fine [PDF]

, 2016
Williamson, Timothy
core   +1 more source

Integrating contrastive cross-modal attention and stacked GRU for hand function rehabilitation robot control. [PDF]

PLoS One
Liu W, Wu H, Feng SF, Luo CL.
europepmc   +1 more source

Blood Pressure Prediction During Blood Transfusion: A Population-Informed Multi-Modal Sequential Inference Approach. [PDF]

IEEE Control Syst Lett
Kao YM, Razaei P, Shahrbabak SM, Pepino JA, Shogren ISK, Wang Y, Reisner AT, Hahn JO.   +7 more
europepmc   +1 more source

MTMF-Grid: A multi-task multi-modal fusion model for operational forecasting and decision support in power grids. [PDF]

PLoS One
Zhang D, Shen B, Li P, Wang P, Sheng Y, Bing Y.   +5 more
europepmc   +1 more source

A waterproof and ultra-elastic thermoelectric foam for underwater human signal detection. [PDF]

Nat Commun
Liu W, Shi XL, He X, Zhu S, Li Z, Li C, Zhang D, Li M, Wu X, Zhang H, Wang L, Qin X, Chen ZG.   +12 more
europepmc   +1 more source

From intersubjective correspondence to the counterpart relation-motifs from Carnap's Aufbau in Lewis's counterpart theory and his philosophical methodology. [PDF]

Asian J Philos
Michels R.
europepmc   +1 more source