Name                    Last modified       Size  Description

 Parent Directory        01-Jan-2024 21:32      -  
 LP-1998-01.abstract.txt 16-Jul-2001 18:44     2k  
 LP-1998-01.text.ps.gz   16-Jul-2001 18:44   151k  
 abduction.ps.gz         16-Jul-2001 18:44    72k  
 abexp.ps.gz             16-Jul-2001 18:44    63k  
 ablit.ps.gz             16-Jul-2001 18:44    67k  
 acsw_94.ps.gz           16-Jul-2001 18:44    54k  
 adelaide.tar.gz         16-Jul-2001 18:44   334k  
 ai94.abexp.ps.gz        16-Jul-2001 18:44    50k  
 ai94.abexp185.ps.gz     16-Jul-2001 18:44    50k  
 cgifparser.tar.gz       16-Jul-2001 18:44     9k  
 cgparser.tar.gz         16-Jul-2001 18:44    12k  
 explanation.old.ps.gz   16-Jul-2001 18:44    51k  
 explanation.ps.gz       16-Jul-2001 18:44    49k  
 cl.ps.gz                16-Jul-2001 18:44    44k  
 iccs.final.ps.gz        16-Jul-2001 18:44    63k  
 iclp93-abd.rel.ps.gz    16-Jul-2001 18:44    53k  
 linear94.tar.gz         16-Jul-2001 18:44    18k  
 linparser.tar.gz        16-Jul-2001 18:44    21k  
 lsgwp.tex.gz            16-Jul-2001 18:44     6k  
 ai94.ek101.ps.gz        16-Jul-2001 18:45    49k  
 ai95.retract.ps.gz      16-Jul-2001 18:45    31k  
 ecai96_defin_constra..> 16-Jul-2001 18:45    74k  
 ecai96_judy.ps.gz       16-Jul-2001 18:45    36k  
 morri.PhD.ps.gz         16-Jul-2001 18:45   429k  
 ai97_causalfp.ps.gz     16-Jul-2001 18:45    67k  
 ecai96_rev_update.ps.gz 16-Jul-2001 18:45    29k  
 iclp95wdda.arbe.ps.gz   16-Jul-2001 18:45    50k  
 ijcai95.expl.ps.gz      16-Jul-2001 18:45    51k  
 ijcai97_strips.ps.gz    16-Jul-2001 18:45    43k  
 tark96.conditional.p..> 16-Jul-2001 18:45    50k  
 ai99.ps.gz              16-Jul-2001 18:45    45k  
 ijcai99-causal.ps.gz    16-Jul-2001 18:45    42k  
 ijcai99-diagram.ps.gz   16-Jul-2001 18:45    79k  
 pricai00.ps.gz          16-Jul-2001 18:45    55k  
 KR-151.pdf              16-Jul-2001 18:45   121k  
 crw00.pdf               16-Jul-2001 18:45   183k  
 crw00.ps.gz             16-Jul-2001 18:45    85k  
 490.pdf                 16-Jul-2001 18:45    80k  
 490.ps                  16-Jul-2001 18:45   104k  
 ijcai01.pdf             16-Jul-2001 18:45    80k  
 Jauregi.ps              01-Aug-2001 10:59   216k  
 jpl.pdf                 12-Mar-2002 16:46   541k  
 aij03.pdf               12-Feb-2003 10:09   366k  
 morri.PhD.html          08-Apr-2003 08:19     3k  
 nrac03.ps.gz            23-May-2003 19:25    51k  
 ijcai03.ps.gz           23-May-2003 19:46    31k  
 Hans/                   16-Feb-2004 02:32      -  
 Old/                    16-Feb-2004 02:32      -  
 morri.PhD.pdf           24-May-2004 19:11   1.1M  
 pricai04.pdf            24-May-2004 19:33   117k  
 ecai04-C0312.pdf        31-May-2004 19:27    84k  
 ecai04-C0275.pdf        01-Jun-2004 00:50    87k  
 ijcai05-765.pdf         15-Apr-2005 09:56   102k  
 aaai04.ps.gz            15-Apr-2005 10:26    81k  
 aaai04.pdf              15-Apr-2005 10:27   101k  
 tark96.conditional.pdf  20-Mar-2022 13:06   172k  

abduction.ps.gz
- A Logical Framework for Abduction

abexp.ps.gz
- Abductive Expansion: The Application of Abductive Inference
		to the Process of Belief Change

ablit.ps.gz
- Literature survey (unpublished) - title?

+ acsw_94.ps.gz
- A Simple Approach to Abductive Inference using Conceptual Graphs

adelaide.tar.gz
- Slides on abduction (presented at the University of Adelaide)

*ai94.abexp.ps.gz
- Abductive Expansion: Abductive Inference and the Process of Belief Change

ai94.abexp185.ps.gz
- Abductive Expansion: Abductive Inference and the Process of Belief Change (no reference)

cgifparser.tar.gz
- CGIF parser (initial version of grammar)

cgparser.tar.gz
- CG Parser

+ cl.ps.gz
- Computational Logic in Australia

explanation.old.ps.gz
- Determing Explanations using Knowledge Transmutations (early version)

explanation.ps.gz
- Determing Explanations using Knowledge Transmutations (version??)

+ *ijcai95.expl.ps.gz
- Determing Explanations using Knowledge Transmutations (version??)

+ *iccs.final.ps.gz
- Inverting resolution with Conceptuqal Graphs

+ *iclp93-abd.rel.ps.gz
- The Relatioinship between Abduction and Changes in Belief States

linear94.tar.gz
- Linear report 1994

linparser.tar.gz
- Parser for CG Linear form

lsgwp.tex.gz
- Linear group latex document

+ morri.PhD.ps.gz
- The Role of Abductive Reasoning within the Process of Belief Revision

+ ai94.ek101.ps.gz
- Entrencment Kinematics 101

+ ai97_causalfp.ps.gz
- Preferential Semantics for Causal Fixpoints

+ ecai96_defin_constraints.ps.gz
- Definitional Constraints

+ ecai96_judy.ps.gz
- Learning from Conditionals: Judy Benjamin's Othe Problems

+ ecai96_rev_update.ps.gz
- Revision vs. Update: Taking a Closer Look

+ iclp95wdda.arbe.ps.gz
- Abductive Reasoning, Belief Expansion and Nonmonotonic Consequence

+ ijcai97_strips.ps.gz
- Action Localness, Genericity and Invariants in STRIPS
  (a revised version)

+ tark96.conditional.ps.gz
- Changing Conditional Beliefs Unconditionally

+ ai95.retract.ps.gz
- Entrenchment and Retractability: A Preliminary Report