ACMC Research Reports on Looping in Prolog
Non-monotonic Reasoning and Conditionals
Implicature, Disjunction, and Non-monotonic Logic
LDR, a Logic for Defeasible Reasoning
A Non-monotonic Logic Based on Conditional Logic
A User's Manual for D-Prolog
Tense and Conditionals
Topics in Conditional Logic
Defeasible Prolog
A Programming Solution to Certain Problems with Loops in Prolog
Prolog Programming in Depth
Defeasible Deontic Logic
Essential Formal Semantics
Design and Evaluation of a Tutoring Module for Computerized Reference System Maclib to Assist in Differential Diagnosis of Primary Brain Tumors
Methods for Deciding what to Do Next and Learning
ACMC Research Reports on Looping in Prolog
Methods in Critical Thinking
A Modular Translation from Defeasible Nets to Defeasible Logics
The Development of Electrostatic Charges by Friction
Identification and Demonstrative Reference