 | 2002 |
|---|
| 5 |       | Jacqueline Castaing:
Non-commutative Logic for Hand-Written Character Modeling.
AISC 2002: 136-153 |
| 1992 |
|---|
| 4 |  | Jacqueline Castaing:
A Hybrid Reasoning System for Explaining Mistakes in Chinese Writing.
FGCS 1992: 1076-1083 |
| 1991 |
|---|
| 3 | | Jacqueline Castaing:
A New Formalisation of Subsumption in Frame-Based Representation Systems.
KR 1991: 78-88 |
| 1985 |
|---|
| 2 | | Jacqueline Castaing:
How to Facilitate the Proof of Theorems by Using the Induction-matching, and by Generalization.
IJCAI 1985: 1208-1213 |
| 1983 |
|---|
| 1 | | Yves Kodratoff,
Jacqueline Castaing:
Trivializing the Proof of Trivial Theorems.
IJCAI 1983: 930-932 |
