Computing with default logic

Computer Science

• Computing 100%
• Default Theory 100%
• User 50%
• Benchmarking 50%
• Large-Scale Problem 50%
• Generated Test Case 50%
• Unique Identifier 50%
• Logic Programming 50%
• Domain 50%
• Application Area 50%
• Systematic Methodology 50%
• Combinatorial Problem 50%
• Systems-Based Reasoning 50%
• Reasoning System 50%