Index to Available Material
Last update of this list: February 27, 1996.

Most of this material consists of unpublished papers by R.H. Thomason, some co-authored. All archived materials are also available by anonymous ftp from pogo.isp.pitt.edu, Internet address 136.142.135.159. They all reside in the directory /users/ftp/pub/thomason on that machine, or in its subdirectories.

  • Curriculum Vitae of R.H. Thomason
     
    	As of Feb. 7, 1996.
  • "Discourse Context."
    	A paper on the role of context in discourse.
    	1995. (Co-author, Johanna Moore.)
  • "Empirical Methods in Discourse: Limits and Prospects".
    	This is a position paper describing (and, to some extent,
    	analyzing) difficulties in using empirical methods to test
    	theories about discourse, and proposing a simulation-based
    	methodology. 1994.  (Co-author, Pamela Jordan.) 
  • "Nondeterministic Action and Dominance: Foundations for Planning and Qualitative Decision."
    	Develops an action formalism in which certain counterfactual
    	conditionals can be defined.  This enables a qualitative
    	account of certain utility arguments.  1996.  (Co-author, Jeff
    	Horty.)	
    	

    The published version of this paper contains errors.

  • "Some Limitations to the Psychological Orientation in Semantic Theory."
     
    	Argues that cognitive constraints on semantic representation
    	lead to the semantic paradoxes. 1979.
  • "Paradoxes of Intentionality?"
    	Investigates the question of whether there are intentional
    	paradoxes, analogous to the semantic paradoxes, but dealing
    	with propositions rather than with sentences. 1982. 
    	
  • "Nonmonotonicity in Linguistic Theory".
    	A survey chapter dealing with the topic of nonmonotonicity in
    	linguistic theory.  
  • "Logicism in Formalizing Common Sense and in Natural Language Semantics."
    	This paper is written for specialists in formalizing common
    	sense, as a guide to relevant work in semantics.  
     	        
  • "Default Finite State Machines".
    	Discusses an architecture for implementing two-level rules
    	(with Gerald Penn).  
  • Working paper on Qualitative Decision Analysis.

    Figure for the above paper.

  • Available on 136.142.135.159, in /users/ftp/pub/thomason/tl.lisp.
    	This is Jerry Hobbs' source Common Lisp code for Tacitus Lite,
    	an abductive tool for reasoning with natural language.  See
    	the notice at the beginning of the file.
    	Contact for this is hobbs@ai.sri.com. 


    thomason@isp.pitt.edu