نتائج البحث

Paradoxes, Intuitionism, and Proof-Theoretic Semantics

• Authors : Kahle, Reinhard; Santos, Paulo Guilherme; CMA - Centro de Matemática e Aplicações

Subjects: Definitional freedom; Intuitionism; Liar

تفاصيل العنوان

A domain semantics-enhanced relation extraction model for identifying the railway safety risk

• Authors : Youwei Wang; Chengying Zhu; Qiang Guo

Subjects: Railway safety risk; Relation extraction; Domain semantics

• Source: Complex & Intelligent Systems, Vol 9, Iss 6, Pp 6493-6507 (2023)

تفاصيل العنوان

A Small-Step Semantics for Janus

• Authors : Lami, Pietro; Lanese, Ivan; Stefani, Jean-Bernard ...

Subjects: [INFO]Computer Science [cs]Torun; Poland

• Source: Lecture notes in computer science ; RC 2024 - 16th International Conference on Reversible Computation ; https://inria.hal.science/hal-04610285 ; RC 2024 - 16th International Conference on Reversible

تفاصيل العنوان

A Small-Step Semantics for Janus

• Authors : Lami, Pietro; Lanese, Ivan; Stefani, Jean-Bernard ...

Subjects: [INFO]Computer Science [cs]Torun; Poland

• Source: RC 2024 - 16th International Conference on Reversible Computation ; https://inria.hal.science/hal-04610285 ; RC 2024 - 16th International Conference on Reversible Computation, Jul 2024, Torun, Poland.

تفاصيل العنوان

A Small-Step Semantics for Janus

• Authors : Lami, Pietro; Lanese, Ivan; Stefani, Jean-Bernard ...

Subjects: [INFO]Computer Science [cs]Torun; Poland

• Source: Lecture notes in computer science ; RC 2024 - 16th International Conference on Reversible Computation ; https://inria.hal.science/hal-04610285 ; RC 2024 - 16th International Conference on Reversible

تفاصيل العنوان

Proof-theoretic Semantics for Intuitionistic Multiplicative Linear Logic

• Authors : Gheorghiu, Alexander; Gu, Tao; Pym, David ...

Subjects: Logic; Semantics; Proof Theory

• Source: In: Ramanayake, Revantha and Urban, Josef, (eds.) Procceedings of the 32nd International Conference on Automated Reasoning with Analytic Tableaux and Related Methods. (pp. pp. 367-385).

تفاصيل العنوان

Categorical Proof-Theoretic Semantics

• Authors : Robinson, E; Pym, D; Ritter, E

تفاصيل العنوان

A Quantum-Like Tensor Compression Sentence Representation Based on Constraint Functions for Semantics Analysis

• Authors : Yan Yu; Dong Qiu; Ruiteng Yan

Subjects: Quantum-like sentence representation; Semantic similarity; Attention mechanism

• Source: International Journal of Computational Intelligence Systems, Vol 17, Iss 1, Pp 1-15 (2024)

تفاصيل العنوان

Solving arithmetic word problems by synergizing syntax-semantics extractor for explicit relations and neural network miner for implicit relations

• Authors : Xinguo Yu; Xiaopan Lyu; Rao Peng

Subjects: Problem solving; State-action paradigm; Relation-centric

• Source: Complex & Intelligent Systems, Vol 9, Iss 1, Pp 697-717 (2022)

تفاصيل العنوان

Mining Personalized Individual Semantics of Self-confidence Participants in Linguistic Group Decision-Making

• Authors : Limei Jing; Xiangrui Chao

Subjects: Consensus process; Linguistic group decision-making; Personalized individual semantics

• Source: International Journal of Computational Intelligence Systems, Vol 15, Iss 1, Pp 1-14 (2022)

تفاصيل العنوان