Results 221 to 230 of about 3,176 (255)

Syntactic-semantic tagging as a mediator between linguistic representations and formal models: an exercise in linking SNOMED to GALEN

Artificial Intelligence in Medicine, 1999
Natural language understanding applications are good candidates to solve the knowledge acquisition bottleneck when designing large scale concept systems. However, a necessary condition is that systems are built that transform sentences into a meaning representation that is independent of the subtleties of linguistic structure that nevertheless underly ...
Ceusters W, Rogers J, CONSORTI, Fabrizio, Rossi Mori A.   +3 more
openaire   +3 more sources

Changing Notions of Linguistic Competence in the History of Formal Semantics

2018
AbstractIn the history of formal semantics, the successful joining of linguistic and philosophical work brought with it some difficult foundational questions concerning the nature of meaning and the nature of knowledge of language in the domain of semantics: questions in part about “what’s in the head” of a competent language-user.
openaire   +1 more source

SEMANTIC ANALYSIS OF LINGUISTIC UNITS DENOTING TRADITIONAL AND FORMAL PRACTICES PERFORMED ON THE WEDDING DAY

This article presents a comparative semantic analysis of lexical units related to wedding day ceremonies in Uzbek and German languages. Since linguistic units serve not only as components of language systems but also as expressions of culture and values, their significance in cultural and religious contexts is studied.
Shodiya Makhmudovna Aripova, Moldir Balgabayevna Shoymanova   +1 more
openaire   +1 more source

Proceedings of the ESSLLI 2005 workshop on Formal Semantics and Cross-Linguistic Data

2005
Item does not contain ...
Zwarts, J., Hoop, H. de
openaire   +1 more source

A Survey of Smart Contract Formal Specification and Verification

ACM Computing Surveys, 2022
, Yang Liu
exaly  

Perceived cross-linguistic distance and exploitation of affordances provided by different levels of real formal and semantic similarity between languages

2012
The author will present a study that investigates cross-language interaction in trlinguals' production. It builds empirically on the widely acknowledged phenomenon that perceived cross-linguistic distance has an effect on the transferability of linguistic features from one language to another.
openaire  

Formal Methods in Railways: A Systematic Mapping Study

ACM Computing Surveys, 2023
Alessio Ferrari, Maurice H Ter Beek
exaly  

Formal Specification and Verification of Autonomous Robotic Systems

ACM Computing Surveys, 2020
Matt Luckcuck, Marie Farrell, Louise A Dennis   +2 more
exaly  

Two Worlds, Two Languages, Two Semantics, Two Linguistic Principles of Compositionality, and Two Kinds of Nonsenses (Criticizing Wittgenstein’s philosophy of morals and of metaphysics by means of discrete mathematical modeling a formal-ethical aspect of his worldview)

2015
The paper represents a systematical critique of Wittgenstein’s attitude to semantics of the natural language of ethics and metaphysics. The critique is implemented by means of a discrete mathematical simulation of the famous principle of separation of facts and values.
openaire   +1 more source

American Cancer Society Guideline for the Early Detection of Cervical Neoplasia and Cancer

Ca-A Cancer Journal for Clinicians, 2002
Carolyn D Runowicz, Robert A Smith
exaly