| Name
|
| A Computing Procedure for Quantification Theory. JACM 7(3), 201-215
|
| A Machine Program for Theorem-Proving, CACM 5(7), pp. 394-397
|
| A Machine-Oriented Logic Based on the Resolution Principle, JACM 12(1), pp. 23-41
|
| A Relational Model of Data for Large Shared Data Banks
|
| A Summary of Inference Rules Used by Argonne Automated Deduction Software
|
| Artificial Intelligence: A Modern Approach
|
| Basic Proof Theory
|
| Comprehensive Intelligent Agent Descriptions For DC-Train 4.0 (technical report)
|
| DCA Expert Model: Vocabulary and Rule Knowledge for DC-Train 4.0 (Technical Report)
|
| Design of an Expert Critiquing System for Crisis Decision-Making (MS Thesis)
|
| Digital DC-Train Representation (Technical Report)
|
| Handbook of Proof Theory
|
| IBM Sample Document
|
| Including Domain-Specific Reasoners with Reusable Ontologies
|
| KBS Orientation to the Damage Control Domain: The DDG-53 and the DCA (Technical Report)
|
| Knowledge Ontology Structures for DC-Train 4.0 (Technical Report)
|
| Naval Ships Technical Manual. S9086-S3-STM-010. Chapter 555 - Shipboard Firefighting
|
| Negative Paramodulation, Proceedings of CADE-8, Lecture Notes in Computer Science 230, pp. 229-239
|
| PPDR: A Proof Protocol for Deductive Reasoning
|
| Semantic Web Tutorial Using N3
|
| Swap Test Document
|
| The Concept of Demodulation in Theorem Proving, JACM 14(4), pp. 698-709
|
| The Illinois Physical Ship Simulator for DC-Train 4.0: Summary of current functionality for DC-Train
|
| Training for Crisis Decision Making: Psychological Issues and Computer-Based Solutions - Journal of
|
| USS John Paul Jones (DDG 53) Instruction 3541.1B. Repair Party Manual and Main Space Firefighting
|
