| 演绎与推理 |
| |
| Mechanized Reasoning Systems |
|
|
|
| International Journal of Approximate Reasoning |
|
|
|
| Case-Based Reasoning |
|
|
|
| David J.C. MacKay: Information Theory, Inference and Learning Algorithms |
|
|
|
| Exploring the Labyrinth of the Mind |
|
|
|
| TMYCIN: Medical Reasoning System |
|
|
|
| Reasoning about Computational Resource Allocation |
|
|
|
| Qualitative Reasoning Research at UT Austin |
|
|
|
| Qualitative Reasoning Group, Northwestern University |
|
|
|
| Formal Reasoning Group |
|
|
|
| Case-Based Reasoning |
|
|
|
| Integrated Reasoning Group Overview |
|
|
|
| |
