Formal verification of knowledge bases focused on consistency: two experiments based on ATMS techniques

• Authors:

• Stéphane Loiseau;Marie-Christine Rousset

• Affiliations:

• -;-

• Venue:
• International Journal of Expert Systems - Special issue on verification and validation (Part 2)
• Year:
• 1993