#### Filter Results:

- Full text PDF available (38)

#### Publication Year

1956

2017

- This year (1)
- Last 5 years (8)
- Last 10 years (19)

#### Publication Type

#### Co-author

#### Journals and Conferences

#### Data Set Used

#### Key Phrases

Learn More

- Didier Galmiche, Guy Perrier
- Theor. Comput. Sci.
- 1994

We present a proof-theoretic foundation for automated deduction in linear logic. At rst, we systematically study the permutability properties of the inference rules in this logical framework and exploit these to introduce an appropriate notion of forward and backward movement of an inference in a proof. Then we discuss the naturally-arising question of the… (More)

Mammals owe part of their evolutionary success to the harmonious exchanges of information, energy and immunity between females and their offspring. This functional reciprocity is vital for the survival and normal development of infants, and for the inclusive fitness of parents. It is best seen in the intense exchanges taking place around the mother's… (More)

- Guy Perrier
- 2000

Interaction Grammars (IGs) are a grammatical formalism which uses two fundamental concepts : underspecification and polarity [Per00, Per04]. These concepts apply to both syntax and semantics of natural languages but here, we only consider the syntactic level. In this context, underspecification essentially means underspecification of syntactic trees, and it… (More)

- Guillaume Bonfante, Bruno Guillaume, Guy Perrier
- COLING
- 2004

In the context of lexicalized grammars, we propose general methods for lexical disambiguation based on polarization and abstraction of grammatical formalisms. Polarization makes their resource sensitivity explicit and abstraction aims at keeping essentially the mechanism of neutralization between polarities. Parsing with the simplified grammar in the… (More)

- Didier Galmiche, Guy Perrier
- LFCS
- 1992

- Guy Perrier
- 2003

- Gérard Coureaud, Anne-Sophie Moncomble, Delphine Montigny, Maeva Dewas, Guy Perrier, Benoist Schaal
- Current Biology
- 2006

Mammalian neonates depend on their mother's food supply and use a defined sequence of actions to find her mammary area. Their behavior is initially uncertain and demanding but rapidly becomes optimal. Efficient learning is thus operating in newborns. For instance, European rabbit (Oryctolagus cuniculus) pups localize the nipples through typical orocephalic… (More)

- Didier Galmiche, Guy Perrier
- LFCS
- 1994

In this paper, we investigate automated proof construction in classical linear logic (CLL) by giving logical foundations for the design of proof search strategies. We propose common theoretical foundations for top-down, bottom-up and mixed proof search procedures with a systematic formalization of strategies construction using the notions of immediate or… (More)

- Claire Gardent, Bruno Guillaume, Guy Perrier, Ingrid Falk, Nancy 2LORIA
- 2005

Maurice Gross’ grammar lexicon contains an extremly rich and exhaustive information about the morphosyntactic and semantic properties of French syntactic functors (verbs, adjectives, nouns). Yet its use within natural language processing systems is still restricted. In this paper, we first argue that the information contained in the grammar lexicon is… (More)

- Guy Perrier
- 1995