Christophe Fouqueré

27 papers A* 1A 1B 1C 4Misc 1Journal 11Unranked 6
YearRankTypeTitle / Venue / Authors
2018 J jnl
Study of Behaviours via Visitable Paths.
Log. Methods Comput. Sci.
Christophe Fouqueré, Myriam Quatrini
2014 J jnl
Formal Ontologies and Coherent Spaces.
J. Appl. Log.
V. Michele Abrusci, Christophe Fouqueré, Marco Romano
2014 J jnl
Ludics Characterization of Multiplicative-Additive Linear Behaviours.
CoRR
Christophe Fouqueré, Myriam Quatrini
2013 J jnl
Incarnation in Ludics and maximal cliques of paths.
Log. Methods Comput. Sci.
Christophe Fouqueré, Myriam Quatrini
2012 — conf
Ludics and Natural Language: First Approaches.
LACL
Christophe Fouqueré, Myriam Quatrini
2011 Misc conf
A formal framework for a functional language with adaptable components.
SAC
Pascal Coupey, Christophe Fouqueré
2011 — ch.
Ludics and Web: Another Reading of Standard Operations.
PRELUDE Project
Christophe Fouqueré
2011 — ch.
Ontologies and Coherence Spaces.
PRELUDE Project
V. Michele Abrusci, Marco Romano, Christophe Fouqueré
2009 C conf
Knowledge Representation through Coherence Spaces - A Theoretical Framework for the Integration of Knowledge Representations.
KEOD
V. Michele Abrusci, Marco Romano, Christophe Fouqueré
2007 C conf
A Logical Calculus for Modelling Interferences.
ICTAC
Christophe Fouqueré
2007 J jnl
A Sequent Calculus for Modelling Interferences
CoRR
Christophe Fouqueré
2007 — conf
Rewritings for Polarized Multiplicative and Exponential Proof Structures.
TERMGRAPH@ETAPS
Christophe Fouqueré, Virgile Mogbil
2007 C conf
Tree Components Programming: An Application to XML.
ICTAC
Pascal Coupey, Christophe Fouqueré, Jean-Vincent Loddo
2004 A conf
Mobile Multi-Agent Systems: A Programming Language and Its Semantics.
AAMAS
Alexandru Suna, Amal El Fallah Seghrouchni, Christophe Fouqueré, Patrick Baillot
2004 J jnl
Modules and Logic Programming
CoRR
Christophe Fouqueré, Virgile Mogbil
1999 J jnl
Tree Adjoining Grammars in a Fragment of the Lambek Calculus.
Comput. Linguistics
V. Michele Abrusci, Christophe Fouqueré, Jacqueline Vauzeilles
1998 J jnl
Formalizing Partial Matching and Similarity in Case-Based Reasoning with a Description Logic.
Appl. Artif. Intell.
Pascal Coupey, Christophe Fouqueré, Sylvie Salotti
1997 J jnl
Extending Conceptual Definitions with Default Knowledge.
Comput. Intell.
Pascal Coupey, Christophe Fouqueré
1996 J jnl
Coordination as a Direct Process
CoRR
Augusta Mela, Christophe Fouqueré
1996 A* conf
Coordination as a Direct Process.
ACL
Augusta Mela, Christophe Fouqueré
1996 — conf
Linear Logic for Taxonomical Networks and Database Updates.
Linear Logic Tokyo Meeting
Christophe Fouqueré, Jacqueline Vauzeilles
1996 — conf
Tree Adjoining Grammars in Noncommutative Linear Logic.
LACL
V. Michele Abrusci, Christophe Fouqueré, Jacqueline Vauzeilles
1994 — conf
Classer des concepts déefinis avec des déefauts et des exceptions.
LMO
Pascal Coupey, Christophe Fouqueré
1994 J jnl
Linear Logic and Exceptions.
J. Log. Comput.
Christophe Fouqueré, Jacqueline Vauzeilles
1993 C conf
Taxonomic Linear Theories.
ECSQARU
Christophe Fouqueré, Jacqueline Vauzeilles
1992 B conf
First Results of a French Linguistic Development Environment.
COLING
Lorne H. Bouchard, Louisette Emirkanian, Dominique Estival, Christine Fay-Varnier, Christophe Fouqueré, Gilles Prigent, Pierre Zweigenbaum
1989 — conf
Is nonmonotonic grammar a solution to natural language processing?
EUROSPEECH
Christophe Fouqueré