Technical Reports

1988

TR-88-01

Parallel Recognition of Complement Reducible Graphs and Cotree Construction

David G. Kirkpatrick and Teresa Maria Przytycka

TR-88-02

On Lower Bounds for Short Noncontractible Cycles in Embedded Graphs

Teresa Maria Przytycka and J. H. Przytycki

TR-88-03

Protocol Specification and Verification using the Significant Event Temporal Logic

George K. Tsiknis and Son T. Vuong

TR-88-04

The Inconsistency of a Belief Revision System

George K. Tsiknis

TR-88-05

The Connection Method for Non-Monotonic & Autoepistemic Logic

George K. Tsiknis

TR-88-06

On the Comparative Complexity of Resolution and the Connection Method

Wolfgang Bibel

TR-88-07

The Technological Change of Reality Opportunities and Dangers

Wolfgang Bibel

TR-88-08

Evolution Properties of Space Curves

Farzin Mokhtarian

TR-88-09

Fingerprint Theorems for Curvature and Torsion Zero-Crossings

Farzin Mokhtarian

TR-88-10

SOLVING DIAGNOSTIC PROBLEMS USING EXTENDED ASSUMPTION-BASED TRUTH MAINTENANCE SYSTEMS: FOUNDATIONS

Gregory M. Provan

TR-88-11

THE COMPUTATIONAL COMPLEXITY OF ASSUMPTION-BASED TRUTH MAINTENANCE SYSTEMS

Gregory M. Provan

TR-88-12

On Symmetric Schemes and Differential-Algebraic Equations.

Uri Ascher

TR-88-13

Using Multigrid for Semiconductor Device Simulation in 1-D

Uri M. Ascher and Stephen E. Adams

TR-88-14

Spatial and Spectral Descriptions of Stationary Gaussian Fractals

R. Rensink

TR-88-15

Probabilistic Evaluation of Common Functions On Rings of Known Size

Karl Abrahamson, Andrew Adler, Lisa Higham and David G. Kirkpatrick

TR-88-16

An Incremental Method for Generating Prime Implicants/Implicates

Alex Kean and George K. Tsiknis

TR-88-17

A Logical Framework for Depiction and Image Interpretation

Raymond Reiter and Alan K. Mackworth

TR-88-18

A Principle-Based System for Natural Language Analysis and Translation

Matthew Walter Crocker

TR-88-19

Valira/Valisyn-Protocol Validator/Synthesizer User's Manual (Version 1.2)

Son T. Vuong and T. Lau

TR-88-20

The Impact of Artificial Intelligence on Society

Richard S. Rosenberg

TR-88-21

Clause Management Systems (CMS)

George K. Tsiknis and Alex Kean

TR-88-22

Invariants of Chromatic Graphs

Teresa Maria Przytycka and J. H. Przytycki

TR-88-23

Arc Length Evolution and the Resampled Scale Space Representations

Farzin Mokhtarian

TR-88-24

DESIGN AND IMPLEMENTATION OF A FERRY CLIP TEST SYSTEM

Samuel T. Chanson, B. P. Lee, N. J. Parakh and H.X. Zeng