Marc Ayel

12 papers A 2B 1C 1Misc 2Unranked 5
YearRankTypeTitle / Venue / Authors
2000 Misc conf
Complexity of Rulebases.
Artificial Intelligence and Soft Computing
F. A. Martin, Marc Ayel
1997 — conf
A Symbolic Execution Based Approach for Inspecting Knowledge Bases.
EUROVAV
Amar Bendou, Marc Ayel
1997 B conf
Datum Discovery.
IDA
Laurent Siklóssy, Marc Ayel
1995 — conf
Completeness of Knowledge-based Systems.
EUROVAV
R. Lounis, Marc Ayel
1995 — conf
Mutants in the KBS Testing Process.
EUROVAV
Marc Ayel, Ruth Stalker
1995 — ed.
Proceedings of the European Symposium on the Validation and Verification of Knowledge-Based Systems, EUROVAV '95, Chambéry, France, June 1995
EUROVAV
Marc Ayel, Marie-Christine Rousset
1995 — conf
Verifying Coherence in Modular Knowledge Bases.
EUROVAV
Bruno Wendler, Marc Ayel
1991 — conf
Consistency and Rules Subject to Exceptions.
EUROVAV
Stephane Talbot, Marc Ayel
1990 A conf
A Conceptual Model for Building Sets of Test Samples for Knowledge Bases.
ECAI
Laurence Vignollet, Marc Ayel
1990 C conf
A Model for Testing Knowledge Bases.
SEKE
Laurence Vignollet, Marc Ayel
1988 Misc conf
A Conceptual Model for Consistency of Knowledge Bases.
AIMSA
Marc Ayel
1988 A conf
Protocols for Consistency Checking in Expert System Knowledge Bases.
ECAI
Marc Ayel