TR-ARP-1-94 John Slaney. The Crisis in Finite Mathematics: Automated Reasoning as Cause and Cure. 13 pages

TR-ARP-2-94 John Slaney. FINDER: Finite Domain Enumerator. System Description. 4 pages

TR-ARP-3-94 John Slaney, William McCune and Ewing Lusk. SCOTT: Semantically Constrained OTTER. System Description. 5 pages

TR-ARP-4-94 John Slaney. Finite Models for some Substructural Logics. 18 pages

TR-ARP-5-94 Greg Restall. Modalities in Substructural Logics. 9 pages

TR-ARP-6-94 Greg Restall. Arithmetic and Truth in Lukasiewicz's Infinitely Valued Logic. 8 pages

TR-ARP-7-94 John Slaney and Sylvie Thiebaux. Adventures in Blocks World. 31 pages

TR-ARP-8-94 Greg Restall. Logical Laws. 9 pages

TR-ARP-9-94 Greg Restall. Four-valued Semantics for Relevant Logics (and some of their rivals).  18 pages

TR-ARP-10-94 Greg Restall.  Truthmakers, Entailment and Necessity.  9 pages

TR-ARP-11-94 Greg Restall.  Displaying and Deciding Substructural Logics 1: Logics with contraposition.  41 pages

TR-ARP-12-94 John Slaney.  Minlog.  14 pages

TR-ARP-1-95 Rajeev Gore'.  Intuitionistic Logic Redisplayed.  34 pages

TR-ARP-2-95 Greg Restall and John Slaney.  Realistic Belief Revision.  12 pages

TR-ARP-3-95 Greg Restall. Negation in Relevant Logics.  24 pages

TR-ARP-4-95 Timothy Surendonk. Cannonicity for Intensional Logics Without iterative axioms.  10 pages

TR-ARP-5-95 Greg Restall. Combining Possibilities and Negations.  16 pages

TR-ARP-6-95 Rajeev Gore. A Uniform Display System for Intuitionistic and Dual Intuitionistic Logic. 15 pages

TR-ARP-7-95 Rajeev Gore. On the completeness of classical tense display logic. 8 pages

TR-ARP-8-95 Rajeev Gore (Ed.). Proceedings of the Second Symbolic Reasoning Systems Workshop. 21 pages

TR-ARP-9-95 Greg Restall. Relevant Entailment and Modal Realism.  4 pages

TR-ARP-10-95 Timothy Surendonk.  A Non-Standard Injection Between Canonical Frames.  10 pages

TR-ARP-11-95 John Slaney.  MaGIC, Matrix Generator for Implication Connectives: Release 2.1 Notes and Guide.  88 pages.

TR-ARP-12-95 Rajeev Gore. Solving the Display Problem Via Residuation. 35 pages

TR-ARP-13-95 John Slaney and Timothy Surendonk.  Semantically Constrained Condensed Detachment is Incomplete. 8 pages

TR-ARP-14-95 Greg Restall. Paraconsistent Logics! 7 pages

TR-ARP-15-95 Rajeev Gore. Tableau Methods for Modal and Temporal Logics. 101 pages.

TR-ARP-16-95 Rajeev Gore and Wolfgang Heinle and Alain Heuerding. Relations Between Propositional Normal Modal Logics: an overview.  26 pages.

TR-ARP-17-95 John Slaney and Sylvie Thiebaux. Blocks World Tamed: Ten thousand blocks in under a second. 27 pages.

TR-ARP-18-95 John Slaney. Generating Random States of Blocks World.  6 pages.

TR-ARP-19-95 Rajeev Gore. Cut-free Display Calculi for Relation Algebras. 12 pages.

TR-ARP-20-95 Greg Restall.  Consequences of Negations. 10 pages.

TR-ARP-21-95 Greg Restall. Lukasiewicz, Supervaluations, and the Future.  6 pages.

TR-ARP-22-95 Greg Restall. Display Logic and Gaggle Theory.  9 pages.

TR-ARP-01-96 Timothy Surendonk.  Isomorphisms Between Canonical Frames.  10 pages

TR-ARP-02-96 John K. Slaney, Robert K. Meyer and Greg Restall. Linear Arithmetic Desecsed.  7 pages.

TR-ARP-03-96 John Slaney. KD45 is not a Doxastic Logic.  9 pages.

TR-ARP-04-96 Timothy Surendonk. Neighbourhoods, Ultrafilters and Canonicity.  7 pages.

TR-ARP-05-96 Timothy Surendonk. Expressing Sets with Ultrafilters and the Canonicity of the Sahlqvist Logics.  9 pages.

TR-ARP-06-96 John Slaney and Sylvie Thiebaux. How Best to Put Things on Top of Other Things.  12 pages.

TR-ARP-07-96 Graham Priest, Timothy Surendonk, and Koji Tanaka. An Error in Grove's Proof. 4 pages.

TR-ARP-08-96 Greg Restall. Notes on Situation Theory and Channel Theory. 18 pages.

TR-ARP-01-97 John Slaney and Robert Meyer. Logic for Two: The Semantics of Distributive Substructural Logics. 16 pages.

TR-ARP-02-97 Bernhard Beckert and Rajeev Gore', Labelled Tableaux for Propositional Modal Logics, 20 pages.

TR-ARP-03-97 Nicolette Bonnette and Rajeev Gore', Labelled Sequents for Propositional Tense Logics, 30 pages.

TR-ARP-04-97 Timothy J. Surendonk, Revising Some Basic Proofs in Belief Revision, 13 pages.

TR-ARP-05-97 Timothy J. Surendonk, Canonicity for Intensional Logics with Even Axioms, 12 pages.

TR-ARP-06-97 Pragati Jain, Undecidability of Relevant Logics, 73 pages.

TR-ARP-07-97 Rajeev Gore', Gaggles, Gentzen and Galois: Cut-free Display Calculi and Relational Semantics for Algebraizable Logics, 18 pages.

TR-ARP-08-97 Rajeev Gore', Substructural Logics on Display, 35 pages.

TR-ARP-09-97 John Slaney and Sylvie Thiebaux, Phase Transitions and Optimality: Sense and Nonsense, 13 pages.

TR-ARP-10-97 Paul Wong, Weak Aggregative Modal Logics With Multi-ary Modal Operators, 16 pages.

TR-ARP-01-98 Nicolette Bonnette and Rajeev Gore', A Labelled Sequent System for Tense Logic Kt, 40 pages.

TR-ARP-02-98 Matthias Fuchs, Automatic Selection of Search-guiding Heuristics for Theorem Proving, 20 pages.

TR-ARP-03-98 Jacques Riche and Robert K Meyer, Kripke, Belnap, Urquhart and Relevant Decidability & Complexity, 11 pages.

TR-ARP-04-98 Stephane Demri and Rajeev Gore, Display Calculi for Logics with Relative Accessibility Relations, 30 pages.

TR-ARP-05-98 Hongxue Wang and John Slaney, On Generalities of Intelligent Systems, 6 pages.

TR-ARP-06-98 John Slaney and Kahlil Hodgson, System Description: MSCOTT, 5 pages.

TR-ARP-07-98 Stephane Demri and Rajeev Gore, Cut-free Display Calculi for Nominal Tense Logics, 31 pages

TR-ARP-08-98 Matthias Fuchs, Finding Simple Proofs in Logic Calculi, 16 pages.

TR-ARP-09-98 Matthias Fuchs, A Data Mining Approach to Support the Creation of Loop Invariants Using Genetic Programming, 12 pages.

TR-ARP-10-98 Paul Wong, From Weak Satisfiability to $n$-Satisfiability On Hypergraphs, 13 pages.

TR-ARP-11-98 Paul Wong, Paraconsistent Inference and Preservation, 23 pages

TR-ARP-01-99 Matthias Fuchs (ed), Automated Reasoning Day 1999, directory containing Postscript files

TR-ARP-02-99 John Slaney, Why the Really Hard Problems are where they are, 18 pages.

TR-ARP-03-99 Sylvie Thiebaux and John Slaney, Predicting the Hardness of Optimisation Problems, 6 pages.

TR-ARP-04-99 Matthias Fuchs, Evolving Term Features: First Steps, 12 pages.

TR-ARP-05-99 Stephane Demri and Rajeev Gore, Theoremhood Preserving Maps as a Characterisation of Cut Elimination for Provability Logics, 29 pages.

TR-ARP-01-2000 Matthias Fuchs, An Evolutionary Approach to Support Web-Page Design, 13 pages.

TR-ARP-02-2000 J. M. Davoren, Using modal logics for the formal analysis and synthesis of hybrid control systems 17 pages

TR-ARP-03-2000 Mariangiola Dezani-Ciancaglini, Robert K. Meyer and Yoko Motohama, The Semantics of Entailment Omega 18 pages

TR-ARP-04-2000 John Slaney, Sylvie Thiebaux and Phil Kilby, Estimating the Hardness of Optimisation, 5 pages.

TR-ARP-05-2000 S. van Bakel, M. Dezani-Ciancaglini, U. de'Liguoro, Y. Motohama, The Minimal Relevant Logic and the Call-by-Value Lambda Calculus, 17 pages.

TR-ARP-06-2000 John Slaney, Inside the Constrainedness of Search, 5 pages.

TR-ARP-07-2000 Robert K. Meyer and Greg Restall, "Strenge" arithmetics, 10 pages.

TR-ARP-08-2000 Robert K. Meyer, What Entailment Can Do for Type Theory, 12 pages.

TR-ARP-09-2000 Matthias Fuchs and Geoff Sutcliffe, Homogeneous Sets of ATP Problems, 15 pages.

TR-ARP-10-2000 J.M. Davoren and R.P. Gore, Bimodal Logics for Reasoning About Continuous Dynamics, 22 pages.

TR-ARP-11-2000 Geoff Sutcliffe and Matthias Fuchs and Christian Suttner, Progress in Automated Theorem Proving, 1997-1999, 19 pages.

TR-ARP-01-01 Jeremy E Dawson and Rajeev Gore
Mechanising Strong Normalisation for Display Calculi, 42 pages

TR-ARP-01-02 Robert K. Meyer and Dolph Ulrich, Perfect Words are Pleasing, 4 pages.

TR-ARP-01-03 Sylvie Thiebaux, Joerg Hoffmann, and Bernhard Nebel, In
Defense of PDDL Axioms, 32 pages.

TR-ARP-02-03 Agnes Boskovitz, Rajeev Gore' and Markus Hegland, A
Logical Formalisation of the Fellegi-Holt Method of Data Cleaning, 10 pages.