#### Filter Results:

- Full text PDF available (11)

#### Publication Year

1996

2017

- This year (3)
- Last 5 years (10)
- Last 10 years (14)

#### Publication Type

#### Co-author

#### Journals and Conferences

#### Cell Type

#### Key Phrases

#### Method

#### Organism

Learn More

- Jean-François Baget, Michel Leclère, Marie-Laure Mugnier, Eric Salvat
- Artif. Intell.
- 2011

In ∀∃-rules, the conclusion may contain existentially quantified variables, which makes reasoning tasks (as deduction) non-decidable. These rules have the same logical form as TGD (tuplegenerating dependencies) in databases and as conceptual graph rules. We extend known decidable cases by combining backward and forward chaining schemes, in association with… (More)

- Eric Salvat, Marie-Laure Mugnier
- ICCS
- 1996

This paper presents graph operations for processing conceptual graph rules in forward chaining and backward chaining. In both cases the operations provide sound and complete procedures with respect to rst-order logic deduction. First we present our framework: simple conceptual graphs, rules as couples of lambda-abstractions, knowledge base, logical… (More)

- David Genest, Eric Salvat
- ICCS
- 1998

- Stéphane Coulondre, Eric Salvat
- ICCS
- 1998

This paper focuses on two aspects of piece resolution in backward chaining for conceptual graph rules 13]. First, as conceptual graphs admit a rst-order logic interpretation, inferences can be proven by classical theorem provers. Nevertheless, they do not use the notion of piece, which is a graph notion. So we deene piece resolution over a class of… (More)

- Eric Salvat
- ECAI
- 1998

- Gwen Kerdiles, Eric Salvat
- ICCS
- 1997

- Juliette Dibie-Barthélemy, Ollivier Haemmerlé, Eric Salvat
- Knowl.-Based Syst.
- 1998

- Mélanie Kremer, Eric Salvat, André Muller, Ipek Yalcin, Michel Barrot
- Neuroscience
- 2016

Neuropathic pain arises as a consequence of a lesion or disease affecting the somatosensory system. It is generally chronic and challenging to treat. The recommended pharmacotherapy for neuropathic pain includes the use of some antidepressants, such as tricyclic antidepressants (TCAs) (amitriptyline…) or serotonin and noradrenaline re-uptake inhibitors… (More)

- Jean-François Baget, Eric Salvat
- ICCS
- 2006

Conceptual Graphs Rules were proposed as an extension of Simple Conceptual Graphs (CGs) to represent knowledge of form “if A then B”, where A and B are simple CGs. Optimizations of the deduction calculus in this KR formalism include a Backward Chaining that unifies at the same time whole subgraphs of a rule, and a Forward Chaining that relies on compiling… (More)