Inria
/
Raweb 2009
Presentation of the Project TALARIS
Logo Inria
TALARIS
Traitement Automatique des Langues: Représentations, Inférences et Sémantique
2009 Research Team Activity Report
Nancy - Grand Est
Area :
Perception, Cognition, Interaction
Theme : Audio, Speech, and Language Processing
Presentation of the Project-Team
- Activity Report in
PDF
or
XML
format
Members
Overall Objectives
Background
Organization
Overall Objectives
Highlights
Scientific Foundations
Computational Linguistics and Computational Logic
Semantics and Inference
Linguistic Resources
Logic Engineering
Empirical Studies
Application Domains
Modular Grammar Building
Referential Expressions
Surface Realization
Textual Entailment Recognition
Computational Logics and Computational Semantics.
Hybrid Automated Deduction
Multimedia
Software
AGREE
The eXtended Meta-Grammar (XMG) Compiler and Tools
Frolog
GenI surface realiser
HyLoRes, a Resolution Based Theorem Prover for Hybrid Logics
HTab, a Tableau Based Theorem prover for Hybrid Logics
HyLoBan, a Game Based Theorem Prover for Topological Hybrid Logics
hGEN, a Random Formula Generator
SynLex: Extracting a Syntactical Lexicon from the LADL Tables
MEDIA
Nessie
DeDe Corpus
SemFRaG
SemXTAG
New Results
Other Grants and Activities
Introduction
International level
European Level
National Level
Local Level
Dissemination
PhD Theses
Service to the Scientific Community
Editorial and Program Committee Work
Bibliography
Major publications
Publications of the year
References in notes