Logical tool of knowledge engineering

• 1 January 1991
• proceedings article
• Published by Association for Computing Machinery (ACM)
• p. 228-238
• https://doi.org/10.1145/327164.327267

Abstract

Keywords

• LOGICAL TOOL
• ENTAILMENT LOGIC
• MATHEMATICAL LOGIC
• KNOWLEDGE ENGINEERING
• SOFTWARE TESTING
• SOFTWARE ENGINEERING
• RULE BASED SYSTEMS
• ARTIFICIAL INTELLIGENCE