When possible, I currently distribute my papers by anonymous ftp from dt.cirl.uoregon.edu. To retrieve a paper (or this README file), connect to this machine (128.223.40.25), enter the user name "ftp" or "anonymous", and then your e-mail address for the password. Connect to the papers subdirectory using "cd papers". You can then retrieve this file by doing a "get README" or can get a list of available papers by doing an "ls". Thanks for your interest in my work! Matt Ginsberg The following papers are available by anonymous ftp. The title of the paper, year of publication, place of publication, and postscript file name are all included. A place of publication enclosed in parentheses indicates that the paper is currently under review. A place of publication enclosed in brackets indicates that the paper is currently in draft form and reflects my submission intentions. AIJ = Artificial Intelligence Journal CI = Computational Intelligence JAIR = Journal of AI Research JAR = Journal of Automated Reasoning JLP = Journal of Logic Programming KR = Knowledge representation and reasoning conference NMRW = Nonmonotonic Reasoning Workshop TITLE YEAR PLACE POSTSCRIPT (gzipped) GIB: Steps Toward an Expert-Level 1999 [IJCAI-99] gib.ps.gz Bridge-Playing Program A New Algorithm for Generative Planning 1996 KR-96 plan.ps.gz Do Computers need Common Sense? 1996 KR-96 common.ps.gz Partition Search 1996 AAAI-96 partition.ps.gz On the Law of Total Tricks 1996 The Bridge total.ps.gz World How Computers Will Play Bridge 1996 The Bridge bridge.ps.gz World Epistemological and Heuristic 1995 ACM Computing acm.ps.gz Adequacy Revisited Surveys Limited Discrepancy Search (with 1995 IJCAI-95 lds.ps.gz W. Harvey) Panel on constraint satisfaction 1995 IJCAI-95 csp-panel.ps.gz Approximate Planning 1995 AIJ approx.ps.gz Modality and Interrupts 1995 JAR interrupt.ps.gz GSAT and Dynamic Backtracking (with 1994 KR-94 gsat-db.ps.gz D. McAllester) Dynamic backtracking 1993 JAIR dynamic.ps.gz What defaults can do that hierarchies 1992 NMRW-4 holbrook.ps.gz can't (with H. Holbrook) Prolegomena to any future prolegomena 1992 CI sacks.ps.gz [response to Sacks & Doyle's paper on qualitative physics] Iterative broadening (with W. Harvey) 1992 AIJ ib.ps.gz Knowledge interchange format: 1991 AI Magazine kif.ps.gz The KIF of death Is there any need for domain-dependent 1991 AAAI-91 meta.ps.gz control information? (with D. Geddis) The MVL reasoning system 1991 SIGART v.2 #3 mvlsys.ps.gz Computational considerations in 1991 KR-91 act.ps.gz reasoning about action The computational value of nonmonotonic 1991 KR-91 value.ps.gz reasoning Review of The Society of Mind 1991 AIJ minsky.ps.gz Negative subgoals with free variables 1991 JLP qd.ps.gz Search lessons learned from crossword 1990 AAAI-90 not available puzzles (with M. Frank, M. Halpin and M.C. Torrance) A local formalization of inheritance: 1990 NMRW local.ps.gz Preliminary report Bilattices and modal operators 1990 J Logic and modal.ps.gz Computation Universal planning: An (almost) 1989 AI Magazine univ.ps.gz universally bad idea Ginsberg replies to Chapman and 1989 AI Magazine reply.ps.gz Schoppers Critical issues in default reasoning 1989 KR-89 nm.ps.gz A theorem prover for prioritized 1989 IJCAI-89 not available circumscription (with A.B. Baker) Temporal projection and explanation 1989 IJCAI-89 tpe.ps.gz (with A.B. Baker) (refs missing) User's Guide to the MVL System current Oregon manual.ps.gz A circumscriptive theorem prover 1989 AIJ circ.ps.gz Multivalued logics: A uniform approach 1988 CI mvl.ps.gz to inference in artificial intelligence Invited reply to Peter Cheeseman's 1988 CI cheese.ps.gz paper, "An inquiry into computer understanding" Reasoning about action II: The 1988 AIJ qual.ps.gz qualification problem (with D.E. Smith) Reasoning about action I: A possible 1988 AIJ frame.ps.gz worlds approach (with D.E. Smith) Publications from 1987 and earlier are not available.