共 50 条
- [1] Handling default rules by autistic reasoning KNOWLEDGE-BASED INTELLIGENT INFORMATION AND ENGINEERING SYSTEMS, PT 3, PROCEEDINGS, 2004, 3215 : 314 - 320
- [2] A Propositional Tableaux Based Proof Calculus for Reasoning with Default Rules AUTOMATED REASONING WITH ANALYTIC TABLEAUX AND RELATED METHODS (TABLEAUX 2015), 2015, 9323 : 6 - 21
- [9] A high-level implementation of a system for automated reasoning with default rules AUTOMATED REASONING, PROCEEDINGS, 2008, 5195 : 147 - +