Jacqueline Castaing

According to our database, Jacqueline Castaing authored at least 5 papers between 1983 and 2002.

Collaborative distances:

• Dijkstra number of five.
• Erdős number of four.

2002

Non-commutative Logic for Hand-Written Character Modeling.

Jacqueline Castaing

Proceedings of the Artificial Intelligence, 2002

1992

A Hybrid Reasoning System for Explaining Mistakes in Chinese Writing.

Jacqueline Castaing

Proceedings of the International Conference on Fifth Generation Computer Systems. FGCS 1992, 1992

1991

A New Formalisation of Subsumption in Frame-Based Representation Systems.

Jacqueline Castaing

Proceedings of the 2nd International Conference on Principles of Knowledge Representation and Reasoning (KR'91). Cambridge, 1991

1985

How to Facilitate the Proof of Theorems by Using the Induction-matching, and by Generalization.

Jacqueline Castaing

Proceedings of the 9th International Joint Conference on Artificial Intelligence. Los Angeles, 1985

1983

Trivializing the Proof of Trivial Theorems.

Yves Kodratoff, Jacqueline Castaing

Proceedings of the 8th International Joint Conference on Artificial Intelligence. Karlsruhe, 1983