Search the dblp DataBase

Publications of Author

1. Marc Ayel
   A Conceptual Model for Consistency of Knowledge Bases. [Citation Graph (0, 0)][DBLP]
   AIMSA, 1988, pp:75-82 [Conf]
   
2. F. A. Martin, Marc Ayel
   Complexity of Rulebases. [Citation Graph (0, 0)][DBLP]
   Artificial Intelligence and Soft Computing, 2000, pp:516-523 [Conf]
   
3. Marc Ayel
   Protocols for Consistency Checking in Expert System Knowledge Bases. [Citation Graph (0, 0)][DBLP]
   ECAI, 1988, pp:220-225 [Conf]
   
4. Laurence Vignollet, Marc Ayel
   A Conceptual Model for Building Sets of Test Samples for Knowledge Bases. [Citation Graph (0, 0)][DBLP]
   ECAI, 1990, pp:667-672 [Conf]
   
5. Marc Ayel, Ruth Stalker
   Mutants in the KBS Testing Process. [Citation Graph (0, 0)][DBLP]
   EUROVAV, 1995, pp:7-18 [Conf]
   
6. Amar Bendou, Marc Ayel
   A Symbolic Execution Based Approach for Inspecting Knowledge Bases. [Citation Graph (0, 0)][DBLP]
   EUROVAV, 1997, pp:31-42 [Conf]
   
7. Stephane Talbot, Marc Ayel
   Consistency and Rules Subject to Exceptions. [Citation Graph (0, 0)][DBLP]
   EUROVAV, 1991, pp:69-75 [Conf]
   
8. Bruno Wendler, Marc Ayel
   Verifying Coherence in Modular Knowledge Bases. [Citation Graph (0, 0)][DBLP]
   EUROVAV, 1995, pp:173-187 [Conf]
   
9. R. Lounis, Marc Ayel
   Completeness of Knowledge-based Systems. [Citation Graph (0, 0)][DBLP]
   EUROVAV, 1995, pp:31-46 [Conf]
   
10. Laurent Siklóssy, Marc Ayel
    Datum Discovery. [Citation Graph (0, 0)][DBLP]
    IDA, 1997, pp:459-463 [Conf]
    
11. Laurence Vignollet, Marc Ayel
    A Model for Testing Knowledge Bases. [Citation Graph (0, 0)][DBLP]
    SEKE, 1990, pp:104-109 [Conf]