Modularity for logical knowledge bases

Keyphrases

• Knowledge Base 100%
• Modularity 100%
• Logical Knowledge 100%
• Single Module 100%
• Logic Programming 50%
• Module Base 50%
• Compositionality 50%
• Knowledge-based Systems 50%
• Software Module 50%
• Design Maintenance 50%
• Design Verification 50%
• Module Concept 50%
• Modular System 50%
• Composition Operation 50%
• Algebraic Specification 50%
• Operation Results 50%
• Module Specifications 50%
• Module Operation 50%

Computer Science

• Knowledge Base 100%
• Correctness 100%
• Logic Programming 50%
• Knowledge Based System 50%
• Algebraic Specifications 50%
• Software Module 50%
• Composition Operation 50%
• Design Verification 50%