Automated Deduction in Nonstandard Logics
Papers from the 1993 Fall Symposium
Peter Jackson and Rich Scherl, Program Cochairs
Technical Report FS-93-01. Published by The AAAI Press, Menlo Park, California
This technical report is available in book format.
Please Note: Abstracts are linked to individual titles, and will appear in a separate browser window. Full-text versions of the papers are linked to the abstract text. Access to full text may be restricted to AAAI members. PDF file sizes may be large!
Contents
Automated Deduction in Arithmetic with the Omega Rule / 1
Siani Baker
A Tableau-Based Theorem Proving Method for Intuitionistic Logic / 9
Oliver Bittel
Transaction Logic: Unifying Declarative and Procedural Knowledge (Extended Abstract) / 17
Anthony J. Bonner & Michael Kifer
Sensible Inconsistent Reasoning: A Tableau System for LEI / 26
Marcelo da S. Corrêa, Arthur R. V. Buchsbaum & Tarcísio H.C. Pequeno
Concurrent Deduction: Classical and Modal / 34
Jim Cunningham
Automated Deduction for a Multi-Modal Logic of Time and Knowledge / 38
Olivier Gasquet
An Epistemic Logic with Quantification over Names / 46
Andrew R. Haas
Efficient Deduction in Many-Valued Logics / 54
Reiner Hahnle
Classical AI Planning as Theorem Proving: The Case of a Fragment of Linear Logic / 62
Eric Jacopin
Constraint Deduction in an Interval-based Temporal Logic / 67
Jana Koehler & Ralf Treinen
A Family of Non-Monotonic Inference Systems based on Conditional Logics / 75
Philippe Lamarre
Presentations and This and That: Logic in Action / 83
Michael Miller & Donald Perlis
Temporal Deduction in a Graphical Logic / 89
L. E. Moser, P.M. Melliar-Smith, Y.S. Ramakrishna, G. Kutty & L.K. Dillon
A Decision Method for Nonmonotonic Reasoning Based on Autoepistemic Logic / 97
Ilkka Niemeläaut;
Defeasible Prolog / 105
Donald Nute
Translation Methods for Non-Classical Logics, An Overview / 113
Hans Jüaut;rgen Ohlbach
Semantic Tableaux Methods for Modal Logics That Include the B(rowerische) and G(each) Axioms / 126
Francis Jeffry Pelletier
OSCAR--A General-Purpose Defeasible Reasoner / 134
John L. Pollock
Belief Maintenance with Probabilistic Logic / 142
Marco Ramoni & Alberto Riva
Analytic Tableau for Default Logics / 14
Vincent Risch9
Mechanized Reasoning About Actions Specified in A / 156
Sakthi Subramanian
Proof Search Strategies in Linear Logic / 162
Tanel Tammet