A Conceptual Model for Consistency of Knowledge Bases. - Marc Ayel (AIMSA, 1988)

Protocols for Consistency Checking in Expert System Knowledge Bases. - Marc Ayel (ECAI, 1988)

A Conceptual Model for Building Sets of Test Samples for Knowledge Bases. - Laurence Vignollet; Marc Ayel (ECAI, 1990)

A Model for Testing Knowledge Bases. - Laurence Vignollet; Marc Ayel (SEKE, 1990)

Consistency and Rules Subject to Exceptions. - Stephane Talbot; Marc Ayel (EUROVAV, 1991)

Mutants in the KBS Testing Process. - Marc Ayel; Ruth Stalker (EUROVAV, 1995)

Completeness of Knowledge-based Systems. - R. Lounis; Marc Ayel (EUROVAV, 1995)

Verifying Coherence in Modular Knowledge Bases. - Bruno Wendler; Marc Ayel (EUROVAV, 1995)

A Symbolic Execution Based Approach for Inspecting Knowledge Bases. - Amar Bendou; Marc Ayel (EUROVAV, 1997)

Datum Discovery. - Laurent Siklóssy; Marc Ayel (IDA, 1997)

Complexity of Rulebases. - F. A. Martin; Marc Ayel (Artificial Intelligence and Soft Computing, 2000)