Marc Ayel

According to our database, Marc Ayel authored at least 11 papers between 1988 and 2000.

Collaborative distances:

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

2000

Complexity of Rulebases.

F. A. Martin, Marc Ayel

Proceedings of the Artificial Intelligence and Soft Computing, July 24-26, 2000, Banff, 2000

1997

Datum Discovery.

Laurent Siklóssy, Marc Ayel

Proceedings of the Advances in Intelligent Data Analysis, 1997

A Symbolic Execution Based Approach for Inspecting Knowledge Bases.

Amar Bendou, Marc Ayel

Proceedings of the Fourth European Symposium on the Validation and Verification of Knowledge-Based Systems, 1997

1995

Verifying Coherence in Modular Knowledge Bases.

Bruno Wendler, Marc Ayel

Proceedings of the European Symposium on the Validation and Verification of Knowledge-Based Systems, 1995

Completeness of Knowledge-based Systems.

R. Lounis, Marc Ayel

Proceedings of the European Symposium on the Validation and Verification of Knowledge-Based Systems, 1995

Mutants in the KBS Testing Process.

Marc Ayel, Ruth Stalker

Proceedings of the European Symposium on the Validation and Verification of Knowledge-Based Systems, 1995

1991

Consistency and Rules Subject to Exceptions.

Stephane Talbot, Marc Ayel

Proceedings of the European Workshop on the Verification and Validation of Knowledge-Based Systems, 1991

1990

A Model for Testing Knowledge Bases.

Laurence Vignollet, Marc Ayel

Proceedings of the SEKE'90, 1990

A Conceptual Model for Building Sets of Test Samples for Knowledge Bases.

Laurence Vignollet, Marc Ayel

Proceedings of the 9th European Conference on Artificial Intelligence, 1990

1988

Protocols for Consistency Checking in Expert System Knowledge Bases.

Marc Ayel

Proceedings of the 8th European Conference on Artificial Intelligence, 1988

A Conceptual Model for Consistency of Knowledge Bases.

Marc Ayel

Proceedings of the Artificial Intelligence III: Methodology, Systems, Applications, 1988