On the Verification of Modular Logical Knowledge Bases

• Authors:

• Grigoris Antoniou;Volker Sperschneider

• Affiliations:

• -;-

• Venue:
• EUROVAV '93 Proceedings of the European Symposium on the Validation and Verification of Knowledge Based Systems
• Year:
• 1993