Marc Ayel

Publication Activity (10 Years)

Years Active: 1988-2000
Publications (10 Years): 0

Publications

F. A. Martin, Marc Ayel
Complexity of Rulebases. Artificial Intelligence and Soft Computing (2000)
Laurent Siklóssy, Marc Ayel
Datum Discovery. IDA (1997)
Amar Bendou, Marc Ayel
A Symbolic Execution Based Approach for Inspecting Knowledge Bases. EUROVAV (1997)
Bruno Wendler, Marc Ayel
Verifying Coherence in Modular Knowledge Bases. EUROVAV (1995)
R. Lounis, Marc Ayel
Completeness of Knowledge-based Systems. EUROVAV (1995)
Marc Ayel, Ruth Stalker
Mutants in the KBS Testing Process. EUROVAV (1995)
Stephane Talbot, Marc Ayel
Consistency and Rules Subject to Exceptions. EUROVAV (1991)
Laurence Vignollet, Marc Ayel
A Model for Testing Knowledge Bases. SEKE (1990)
Laurence Vignollet, Marc Ayel
A Conceptual Model for Building Sets of Test Samples for Knowledge Bases. ECAI (1990)
Marc Ayel
A Conceptual Model for Consistency of Knowledge Bases. AIMSA (1988)
Marc Ayel
Protocols for Consistency Checking in Expert System Knowledge Bases. ECAI (1988)