-
Deflating semantical consistency proofs
This dataset has no description
-
Antirealism, Strict Finitism and Structural Rules
According to semantic antirealism, intuitionistic logic satisfies the requirement that truth should be constrained by provability in principle. Some philosophers have... -
Truth and Taste
The paper is available online in PDF, HTML and XML versions. [URL : http://wab.uib.no/ojs/agora-alws/article/view/1223/897] -
Reasoning on a network of aligned ontologies
zimmermann2008b -
Information systems modelling for enterprise systems interoperability
International audience -
Pretty-Big-Step Semantics
International audience -
How emotional prosody guides your way: evidence from eye movements
International audience -
Metaphor and knowledge
. This essay is a reflection on the key issue raised in Lakoff and Johnson's book Metaphors We Live By, i.e. the capacity the metaphor has to produce knowledge. . We... -
Descrição do verbo cortar para processamento automático de linguagem natural
We describe the syntactic-semantic behaviour of the verb cortar 'cut' in Brazilian Portuguese, observing how it may be a distributional verb, a support verb or a... -
La parole est aux discours
Ce livre a en fait été co-écrit en 1996 par Éliane Pons et Jean-Jacques Pinto (moi-même). Ce dernier, pour des raisons liées à son exercice professionnel de l'époque, avait... -
Integrated distributed description logics
zimmermann2007a -
Certified compilation of SCADE/LUSTRE
Synchronous languages first appeared during the 80’s, in order to provide a mathematical model for safety-critical systems. In this model, time is discrete. At each... -
On Topological Structure of Web Services Networks for Composition. In Int. Jo...
In order to deal efficiently with the exponential growth of the Web services landscape in composition life cycle activities, it is necessary to have a clear view of... -
The construction of sense in English particle and prepositional verbs : Focus...
This thesis explores the construction of sense in English particle and prepositional verbs. It departs from the premise that meaning is something constructed during... -
A contrastive analysis of the passive in French and English from a constructi...
This dissertation explores four English and French passive constructions : the canonical passives in BE Ven and ETRE Vé, and their alternatives, respectively, in GET... -
Implementing timed automata specifications: the "sandwich" approach
International audience -
Domain closure conditions and definability preservation
We examine problems due to lack of domain closure and definability preservation -
Carnapian and Tarskian Semantics
This dataset has no description
-
Carnap's Programme in Semantics
This dataset has no description
-
Analyse contrastive des changements syntaxiques et sémantiques affectant le d...
International audience
