Content-type:  message/external-body;
        access-type=	"ftp";
        name=		"README";
        site=		"sonja.ira.uka.de (129.13.31.2)";
	login=		"anonymous";
	password=	"<any>";
        directory=	"/pub/posegga"


Some of the papers I wrote live in this directory.  The files *.ps.Z are
compressed Postscript files,    *.ABSTRACT  contains the   corresponding
Bibtex entries and an abstract.

Comments are welcome.

	Joachim Posegga
      (posegga@ira.uka.de)

----------------------------------------------------------------------
Here is a (roughly) chronological list, starting with the most recent
stuff:

LeanTab.ps.Z

	This paper describes a simple but efficient implementation
	of a tableau-based prover. 

LeanTAPsrc.shar.Z

	The source code for the "lean" theorem prover described in
	LeanTab.ps.Z.

Lean_Proving_Position_Paper_AISB_WS94.ps.Z

	A short position paper describing the advantages of "lean"
        theorem proving.

Lean_Tableau_Prover_CADE94.ps.Z
	This paper describes a simple but efficient implementation
        of a tableau-based theorem prover for first-order logic
        (see LeanTAPsrc.shar.Z). LeanTab.ps.Z is a long
        version.

Long_Paper_on_Shannon_Graphs.ps.Z 

	This paper is a shortened version of my thesis, currently
	submitted.

First-order_Deduction_with_propositional_BDDs.ps.Z

	This extended Abstract describes a simple way for lifting
	ordered, propositional BDDs to first-order logic.

First-order_Deduction_with_nonordered_BDDs.ps.Z

	A short introduction into Shannon Graphs (= nonordered BDDs)
	for first-order deduction.

Dissertation_Shannon_Graphs_German.ps.Z

	German version of my thesis; this text is copyrighted by
	infix-Verlag, so it can't be ftp-ed. Sorry.

Compiling_Proof_Search_in_Tableau_Calculus.ps.Z

	This paper carries the idea of compiling Shannon graphs forward
  	to semantic tableaux.

Tableau_Proof_Planning.ps.Z

	An internal report on using the Edinburgh proof planner CLAM for
  	finding tableau-proofs

Consistency_Driven_Planning.ps.Z

	This is  a paper on planning with a database approach that
	maintains the consistency of a planning database after
	actions have been carried out.

Modal_Logic_and_AI_Planning.ps.Z

	Overview on thew role of Modal logic in planning systems

