Checking depth-limited consistency and inconsistency in knowledge-based systems

✍ Scribed by Laure Brisoux; Éric Grégoire; Lakhdar Saïs

• Publisher: John Wiley and Sons
• Year: 2001
• Tongue: English
• Weight: 110 KB
• Volume: 16
• Category: Article
• ISSN: 0884-8173
• DOI: 10.1002/1098-111x(200103)16:3<319::aid-int1010>3.0.co;2-u