Technical Reports
1988
Parallel Recognition of Complement Reducible Graphs and Cotree Construction
On Lower Bounds for Short Noncontractible Cycles in Embedded Graphs
Protocol Specification and Verification using the Significant Event Temporal Logic
The Inconsistency of a Belief Revision System
The Connection Method for Non-Monotonic & Autoepistemic Logic
On the Comparative Complexity of Resolution and the Connection Method
The Technological Change of Reality Opportunities and Dangers
Evolution Properties of Space Curves
Fingerprint Theorems for Curvature and Torsion Zero-Crossings
SOLVING DIAGNOSTIC PROBLEMS USING EXTENDED ASSUMPTION-BASED TRUTH MAINTENANCE SYSTEMS: FOUNDATIONS
THE COMPUTATIONAL COMPLEXITY OF ASSUMPTION-BASED TRUTH MAINTENANCE SYSTEMS
On Symmetric Schemes and Differential-Algebraic Equations.
Using Multigrid for Semiconductor Device Simulation in 1-D
Spatial and Spectral Descriptions of Stationary Gaussian Fractals
Probabilistic Evaluation of Common Functions On Rings of Known Size
An Incremental Method for Generating Prime Implicants/Implicates
A Logical Framework for Depiction and Image Interpretation
A Principle-Based System for Natural Language Analysis and Translation
Valira/Valisyn-Protocol Validator/Synthesizer User's Manual (Version 1.2)
The Impact of Artificial Intelligence on Society
Clause Management Systems (CMS)
Invariants of Chromatic Graphs
Arc Length Evolution and the Resampled Scale Space Representations
DESIGN AND IMPLEMENTATION OF A FERRY CLIP TEST SYSTEM