 | 2000 |
|---|
| 12 |       | F. A. Martin,
Marc Ayel:
Complexity of Rulebases.
Artificial Intelligence and Soft Computing 2000: 516-523 |
| 1997 |
|---|
| 11 | | Amar Bendou,
Marc Ayel:
A Symbolic Execution Based Approach for Inspecting Knowledge Bases.
EUROVAV 1997: 31-42 |
| 10 |  | Laurent Siklóssy,
Marc Ayel:
Datum Discovery.
IDA 1997: 459-463 |
| 1995 |
|---|
| 9 | | Marc Ayel,
Marie-Christine Rousset:
Proceedings of the European Symposium on the Validation and Verification of Knowledge-Based Systems, EUROVAV '95, Chambéry, June 1995
ADERIAS-LIA, Universite de Savoie 1995 |
| 8 | | Bruno Wendler,
Marc Ayel:
Verifying Coherence in Modular Knowledge Bases.
EUROVAV 1995: 173-187 |
| 7 | | R. Lounis,
Marc Ayel:
Completeness of Knowledge-based Systems.
EUROVAV 1995: 31-46 |
| 6 | | Marc Ayel,
Ruth Stalker:
Mutants in the KBS Testing Process.
EUROVAV 1995: 7-18 |
| 1991 |
|---|
| 5 | | Stephane Talbot,
Marc Ayel:
Consistency and Rules Subject to Exceptions.
EUROVAV 1991: 69-75 |
| 1990 |
|---|
| 4 | | Laurence Vignollet,
Marc Ayel:
A Conceptual Model for Building Sets of Test Samples for Knowledge Bases.
ECAI 1990: 667-672 |
| 3 | | Laurence Vignollet,
Marc Ayel:
A Model for Testing Knowledge Bases.
SEKE 1990: 104-109 |
| 1988 |
|---|
| 2 | | Marc Ayel:
A Conceptual Model for Consistency of Knowledge Bases.
AIMSA 1988: 75-82 |
| 1 | | Marc Ayel:
Protocols for Consistency Checking in Expert System Knowledge Bases.
ECAI 1988: 220-225 |
