Titre (en)
Exploration
Accueil
Racine
Exploration
Accueil
Racine

Serveur d'exploration sur la recherche en informatique en Lorraine - Exploration (Accueil)

Index « Titre (en) » - entrée « semantics »
Attention, ce site est en cours de développement !
Attention, site généré par des moyens informatiques à partir de corpus bruts.
Les informations ne sont donc pas validées.
semantichpst < semantics < semaphorin  Facettes :

List of bibliographic references indexed by semantics

Number of relevant bibliographic references: 142.
[0-20] [0 - 20][0 - 50][20-40]
Ident.Authors (with country if any)Title
000044 (2016-04-11) Zeinab Bakhtiari [France] ; Hans Van Ditmarsch [France] ; Sabine Frittella [Pays-Bas]Algebraic Semantics of Refinement Modal Logic
000301 (2015-10) Laura Kallmeyer [Allemagne] ; Rainer Osswald [Allemagne] ; Sylvain Pogodalla [Allemagne]Progression and Iteration in Event Semantics — An LTAG Analysis Using Hybrid Logic and Frame Semantics
000352 (2015-09-01) Sergueï Lenglet [France] ; Alan Schmitt [France]Howe's Method for Contextual Semantics
000426 (2015-08) Laura Kallmeyer [Allemagne] ; Timm Lichte [Allemagne] ; Rainer Osswald [Allemagne] ; Sylvain Pogodalla [France] ; Christian Wurm [Allemagne]Quantification in Frame Semantics with Hybrid Logic
000519 (2015-06) Sergueï Lenglet [France] ; Alan Schmitt [France]Howe's Method for Contextual Semantics
000585 (2015-04-14) Hiep H. Nguyen [France] ; Abdessamad Imine [France] ; Michaël Rusinowitch [France]Anonymizing Social Graphs via Uncertainty Semantics
000873 (2014-11-22) Philippe De Groote [France] ; Yoad Winter [France]A type-logical account of quantification in event semantics
000883 (2014-11-07) Sai Qian [France]Accessibility of Referents in Discourse Semantics
000910 (2014-10-08) Yamine Aït Ameur [France] ; J. Paul Gibson [France] ; Dominique Méry [France]On Implicit and Explicit Semantics: Integration Issues in Proof-Based Development of Systems
000A90 (2014-06-22) Dominique Méry [France] ; Neeraj Kumar Singh [Canada]The Semantics of Refinement Chart
000A92 (2014-06-22) Shashi Narayan [France] ; Claire Gardent [France]Hybrid Simplification using Deep Semantics and Machine Translation
000C99 (2014-01-22) Giuseppe Castagna [France] ; Kim Nguyen [France] ; Zhiwu Xu [France] ; Hyeonseung Im [France] ; Sergueï Lenglet [France] ; Luca Padovani [Italie]Polymorphic Functions with Set-Theoretic Types. Part 1: Syntax, Semantics, and Evaluation
000D36 (2014) Hans Van Ditmarsch [France] ; Tim French [Australie]Semantics for Knowledge and Change of Awareness
000E54 (2014) Can Baskent [France]Topological Semantics for da Costa Paraconsistent Logics Cω and C*ω
000F80 (2013-10-18) Claire Gardent [France] ; Lina Maria Rojas Barahona [France]Using Paraphrases and Lexical Semantics to Improve the Accuracy and the Robustness of Supervised Models in Situated Dialogue Systems
001168 (2013-06-10) Kalou Cabrera Castillos [France] ; Frédéric Dadeau [France] ; Jacques Julliand [France] ; Safouan Taha [France] ; Bilal Kanso [France]A Compositional Automata-based Semantics for Property Patterns
001321 (2013-02) Dominique Larchey-Wendling [France] ; Didier Galmiche [France]Nondeterministic Phase Semantics and the Undecidability of Boolean BI
001649 (2013) Sai Qian [France] ; Maxime Amblard [France]Accessibility for Plurals in Continuation Semantics
001B84 (2012-04) Esma Yahia [France] ; Mario Lezoche [France] ; Alexis Aubry [France] ; Hervé Panetto [France]Semantics enactment for interoperability assessment in Enterprise Information Systems
002018 (2011-11-07) Mario Lezoche [France]Explicitating semantics in Enterprise Information Systems Models
002021 (2011-11-03) Mathieu Morey [France]Symbolic supertagging and syntax-semantics interface of polarized lexicalized grammatical formalisms

Pour manipuler ce document sous Unix (Dilib)

EXPLOR_STEP=$WICRI_ROOT/Wicri/Lorraine/explor/InforLorV4/Data/Main/Exploration

HfdIndexSelect -h $EXPLOR_AREA/Data/Main/Exploration/Title.i -k "semantics" 

HfdIndexSelect -h $EXPLOR_AREA/Data/Main/Exploration/Title.i  \
                -Sk "semantics" \
         | HfdSelect -Kh $EXPLOR_AREA/Data/Main/Exploration/biblio.hfd

Pour mettre un lien sur cette page dans le réseau Wicri

{{Explor lien
   |wiki=    Wicri/Lorraine
   |area=    InforLorV4
   |flux=    Main
   |étape=   Exploration
   |type=    indexItem
   |index=    Title.i
   |clé=    semantics
}}
Wicri

This area was generated with Dilib version V0.6.33.
Data generation: Mon Jun 10 21:56:28 2019. Site generation: Fri Feb 25 15:29:27 2022