Search results for "Richmond H. Thomason"

Hits ?▲	Authors	Title	Venue	Year	Link
1	Richmond H. Thomason	Some Limitations to the Psychological Orientation in Semantic Theory.	J. Philosophical Logic	2011	DBLP DOI BibTeX RDF
1	Richmond H. Thomason	Three Interactions Between Context and Epistemic Locutions.	CONTEXT	2007	DBLP DOI BibTeX RDF
1	Richmond H. Thomason	Conditionals and Action Logics.	AAAI Spring Symposium: Logical Formalizations of Commonsense Reasoning	2007	DBLP BibTeX RDF
1	Richmond H. Thomason	Making Contextual Intensional Logic Nonmonotonic.	CONTEXT	2005	DBLP DOI BibTeX RDF
1	Richmond H. Thomason	Dynamic Contextual Intensional Logic: Logical Foundations and an Application.	CONTEXT	2003	DBLP DOI BibTeX RDF
1	Gian Aldo Antonelli, Richmond H. Thomason	Representability in Second-Order Propositional Poly-Modal Logic.	J. Symb. Log.	2002	DBLP BibTeX RDF
1	Horacio L. Arló-Costa, Richmond H. Thomason	Iterative Probability Kinematics.	J. Philosophical Logic	2001	DBLP DOI BibTeX RDF
1	Varol Akman, Paolo Bouquet, Richmond H. Thomason, Roger A. Young (eds.)	Modeling and Using Context, Third International and Interdisciplinary Conference, CONTEXT, 2001, Dundee, UK, July 27-30, 2001, Proceedings	CONTEXT	2001	DBLP BibTeX RDF
1	Barbara Di Eugenio, Pamela W. Jordan, Richmond H. Thomason, Johanna D. Moore	The agreement process: an empirical investigation of human-human computer-mediated collaborative dialogs.	Int. J. Hum.-Comput. Stud.	2000	DBLP DOI BibTeX RDF
1	Leora Morgenstern, Richmond H. Thomason	Teaching Knowledge Representation: Challenges and Proposals.	KR	2000	DBLP BibTeX RDF
1	Richmond H. Thomason	Desires and Defaults: A Framework for Planning with Inferred Goals.	KR	2000	DBLP BibTeX RDF
1	Jon Doyle, Richmond H. Thomason	Background to Qualitative Decision Theory.	AI Magazine	1999	DBLP BibTeX RDF
1	Richmond H. Thomason	Type Theoretic Foundations for Context, Part 1: Contexts as Complex Type-Theoretic Objects.	CONTEXT	1999	DBLP DOI BibTeX RDF
1	Barbara Di Eugenio, Pamela W. Jordan, Johanna D. Moore, Richmond H. Thomason	An Empirical Investigation of Proposals in Collaborative Dialogues	CoRR	1998	DBLP BibTeX RDF
1	Barbara Di Eugenio, Johanna D. Moore, Pamela W. Jordan, Richmond H. Thomason	An Empirical Investigation of Proposals in Collaborative Dialogues.	COLING-ACL	1998	DBLP BibTeX RDF
1	Richmond H. Thomason	Representing and Reasoning with Context.	AISC	1998	DBLP DOI BibTeX RDF
1	Richmond H. Thomason	Intra-Agent Modality and Nonmonotonic Epistemic Logic.	TARK	1998	DBLP BibTeX RDF
1	Richmond H. Thomason, John F. Horty	Nondeterministic Action and Dominance: Foundations for Planning and Qualitative Decision.	TARK	1996	DBLP BibTeX RDF
1	Richmond H. Thomason, John M. Aronis	Hybridizing Nonmonotonic Inheritance with Theorem Proving.	Ann. Math. Artif. Intell.	1992	DBLP DOI BibTeX RDF
1	John F. Horty, Richmond H. Thomason	Conditionals and artificial intelligence.	Fundam. Inform.	1991	DBLP BibTeX RDF
1	David S. Touretzky, Richmond H. Thomason, John F. Horty	A Skeptic's Menagerie: Conflictors, Preemptors, Reinstaters, and Zombies in Nonrnonotonic Inheritance.	IJCAI	1991	DBLP BibTeX RDF
1	Richmond H. Thomason	A Semantic Analysis of Monotonic Inheritance with Roles and Relations.	ISMIS	1991	DBLP DOI BibTeX RDF
1	John F. Horty, Richmond H. Thomason, David S. Touretzky	A Skeptical Theory of Inheritance in Nonmonotonic Semantic Networks.	Artif. Intell.	1990	DBLP DOI BibTeX RDF
1	Richmond H. Thomason	Propagating Epistemic Coordination Through Mutual Defaults I.	TARK	1990	DBLP BibTeX RDF
1	John F. Horty, Richmond H. Thomason	Boolean Extensions of Inheritance Networks.	AAAI	1990	DBLP BibTeX RDF
1	K. Jon Barwise, Richmond H. Thomason	Logic and Linguistics Meeting, Stanford, 1987.	J. Symb. Log.	1988	DBLP BibTeX RDF
1	Richmond H. Thomason, John F. Horty	Logics for Inheritance Theory.	NMR	1988	DBLP DOI BibTeX RDF
1	John F. Horty, Richmond H. Thomason	Mixing Strict and Defeasible Inheritance.	AAAI	1988	DBLP BibTeX RDF
1	David S. Touretzky, Richmond H. Thomason	Nonmonotonic Inheritance and Generic Reflexives.	AAAI	1988	DBLP BibTeX RDF
1	David S. Touretzky, John F. Horty, Richmond H. Thomason	A Clash of Intuitions: The Current State of Nonmonotonic Multiple Inheritance Systems.	IJCAI	1987	DBLP BibTeX RDF
1	Charles B. Cross, Richmond H. Thomason	Update and Conditionals.	ISMIS	1987	DBLP BibTeX RDF
1	Richmond H. Thomason, John F. Horty, David S. Touretzky	A Calculus for Inheritance in Monotonic Semantic Nets.	ISMIS	1987	DBLP BibTeX RDF
1	John F. Horty, Richmond H. Thomason, David S. Touretzky	A Skeptical Theory of Inheritance in Nonmonotonic Semantic Networks.	AAAI	1987	DBLP BibTeX RDF
1	Robert Stalnaker, Hans Kamp, Kurt Konolige, Hector J. Levesque, Richmond H. Thomason	Panel: Objects of Knowledge and Belief: Sentences vs. Propositions?	TARK	1986	DBLP BibTeX RDF
1	Richmond H. Thomason	Paradoxes and Semantic Representation.	TARK	1986	DBLP BibTeX RDF
1	Clark Glymour, Richmond H. Thomason	Default Reasoning and the Logic of Theory Perturbation.	NMR	1984	DBLP BibTeX RDF
1	Charles D. Parsons, Richard J. Orgass, Richmond H. Thomason	Meeting of the Association for Symbolic Logic.	J. Symb. Log.	1972	DBLP BibTeX RDF
1	Richmond H. Thomason, D. Randolph Johnson Jr.	Predicate Calculus with Free Quantifier Variables.	J. Symb. Log.	1969	DBLP BibTeX RDF
1	Richmond H. Thomason	On the Strong Semantical Completeness of the Intuitionistic Predicate Calculus.	J. Symb. Log.	1968	DBLP BibTeX RDF
1	Richmond H. Thomason, Hugues Leblanc	All or None: A Novel Choice of Primitives for Elementary Logic.	J. Symb. Log.	1967	DBLP BibTeX RDF

Publications of "Richmond H. Thomason" ( http://dblp.L3S.de/Authors/Richmond_H._Thomason )