1. Lecture Notes in Computer Science;E. Mayol,1999
2. Debenham, J.K.: Validity of First-Order Knowledge Bases. In: Proceedings 14th International FLAIRS Conference FLAIRS-2001, Key West, Florida, May 21-23, pp. 217–221 (2001)
3. Katsuno, H., Mendelzon, A.O.: On the Difference between Updating a Knowledge Base and Revising It. In: Proceedings Second International Conference on Principles of Knowledge Representation and Reasoning, KR 1991, Morgan Kaufmann, San Francisco (1991)
4. Barr, V.: Applying Reliability Engineering to Expert Systems. In: Proceedings 12th International FLAIRS Conference, Florida, May 1999, pp. 494–498 (1999)
5. Jantke, K.P., Herrmann, J.: Lattices of Knowledge in Intelligent Systems Validation. In: Proceedings 12th International FLAIRS Conference, Florida, May 1999, pp. 499–505 (1999)