Results 61 to 70 of about 1,307,657 (201)
, 2020 El propósito del texto es presentar un mecanismo descriptivo de estructuras semánticas, desarrollado en colaboración por lógicos, lingüistas y especialistas en procesamiento computacional de lenguas naturales, llamado algunas veces de semántica de modelos teóricos, que utiliza un metalenguaje de naturaleza lógica para describir las estructuras ...
openaire +1 more source
What is Formal in Formal Semantics?
Dialectica, 2004 Formal semantics is understood either as a formal analysis of semantical features of natural language or as model-theoretic semantics of formal(ized) languages. This paper focuses on the second understanding. The problem is how to identify the formal aspects of formal semantics, if we understand 'formal' as 'independent of content'.
openaire +1 more source
Program Equivalence in the Erlang Actor Model
ComputersThis paper presents the formal semantics of concurrency in Core Erlang, an intermediate language for Erlang, along with a notion of program equivalence (based on barbed bisimulation) that is able to model equivalence between programs that have different ...
Péter Bereczky +2 more
doaj +1 more source
An executable formal semantics for UML-RT
Journal of Software and Systems Modeling, 2016 Ernesto Posse, J. Dingel
semanticscholar +2 more sources
Syntax-Semantics Interaction in Mathematics
Studia Semiotyczne, 2019 DOI: http://doi.org/10.26333/sts.xxxii2.06 MICHAEL HELLER SYNTAX–SEMANTICS INTERACTION IN MATHEMATICS SU M M A R Y: Mathematical tools of category theory are employed to study the syntax-semantics problem in the philosophy of mathematics.
Michael Heller
doaj
Model evolution and system evolution
Journal of Computer Science and Technology, 2000 In this paper we define an evolution mechanism with formal semantics using the metamodeling methodology [Geisler et al.98] based on dynamic logic. A remarkable feature of the metamodeling methodology is the ability to define the relation of intentional ...
Claudia Pons +2 more
doaj
Formal Semantics in the Neurology Clinic: Atypical Understanding of Aspectual Coercion in ALS Patients. [PDF]
Front Psychol, 2016 Baggio G +3 more
europepmc +1 more source
A Formal Semantics of SQL Queries, Its Validation, and Applications
Proceedings of the VLDB Endowment, 2017 P. Guagliardo, L. Libkin
semanticscholar +1 more source
Annotation of rule-based models with formal semantics to enable creation, analysis, reuse and visualization. [PDF]
Bioinformatics, 2016 Misirli G +9 more
europepmc +1 more source
Semantics, pragmatics, and formal thought disorders in people with schizophrenia
Neuropsychiatric Disease and Treatment, 2013 Carlos Salavera, Miguel Puyuelo, José L Antoñanzas, Pilar TeruelUniversidad de Zaragoza, Zaragoza, SpainBackground: The aim of this study was to analyze how formal thought disorders (FTD) affect semantics and pragmatics in patients ...
Salavera C +3 more
doaj