Richmond H. Thomason

54 papers A* 8B 5C 3Misc 1Journal 24Unranked 10

Year	Rank	Type	Title / Venue / Authors
2019	J	`jnl`	Chisholm's paradox and conditional oughts. J. Log. Comput. Catharine Saint Croix, Richmond H. Thomason
2018	J	`jnl`	The Little Nell Problem: reasonable and resolute maintenance of agent intentions. Synth. Richmond H. Thomason
2015	J	`jnl`	Action Models for Conditionals. J. Log. Lang. Inf. Jeremy Lent, Richmond H. Thomason
2014	—	`conf`	Chisholm's Paradox and Conditional Oughts. DEON Catharine Saint Croix, Richmond H. Thomason
2014	J	`jnl`	The Formalization of Practical Reasoning: Problems and Prospects. FLAP Richmond H. Thomason
2014	J	`jnl`	The Logic of Counterpart Theory with Actuality. J. Philos. Log. Adam Rigoni, Richmond H. Thomason
2011	J	`jnl`	Paradoxes of Intensionality. Rev. Symb. Log. Dustin Tucker, Richmond H. Thomason
2011	J	`jnl`	Some Limitations to the Psychological Orientation in Semantic Theory. J. Philos. Log. Richmond H. Thomason
2007	—	`conf`	Conditionals and Action Logics. AAAI Spring Symposium: Logical Formalizations of Commonsense Reasoning Richmond H. Thomason
2007	—	`conf`	Three Interactions Between Context and Epistemic Locutions. CONTEXT Richmond H. Thomason
2005	—	`conf`	Making Contextual Intensional Logic Nonmonotonic. CONTEXT Richmond H. Thomason
2003	—	`conf`	Dynamic Contextual Intensional Logic: Logical Foundations and an Application. CONTEXT Richmond H. Thomason
2002	J	`jnl`	Representability in Second-Order Propositional Poly-Modal Logic. J. Symb. Log. Gian Aldo Antonelli, Richmond H. Thomason
2001	J	`jnl`	Iterative Probability Kinematics. J. Philos. Log. Horacio L. Arló-Costa, Richmond H. Thomason
2001	—	`ed.`	Modeling and Using Context, Third International and Interdisciplinary Conference, CONTEXT, 2001, Dundee, UK, July 27-30, 2001, Proceedings CONTEXT Varol Akman, Paolo Bouquet, Richmond H. Thomason, Roger A. Young
2000	A*	`conf`	Desires and Defaults: A Framework for Planning with Inferred Goals. KR Richmond H. Thomason
2000	A*	`conf`	Teaching Knowledge Representation: Challenges and Proposals. KR Leora Morgenstern, Richmond H. Thomason
2000	J	`jnl`	The agreement process: an empirical investigation of human-human computer-mediated collaborative dialogs. Int. J. Hum. Comput. Stud. Barbara Di Eugenio, Pamela W. Jordan, Richmond H. Thomason, Johanna D. Moore
1999	J	`jnl`	Background to Qualitative Decision Theory. AI Mag. Jon Doyle, Richmond H. Thomason
1999	—	`conf`	Type Theoretic Foundations for Context, Part 1: Contexts as Complex Type-Theoretic Objects. CONTEXT Richmond H. Thomason
1998	J	`jnl`	An Empirical Investigation of Proposals in Collaborative Dialogues CoRR Barbara Di Eugenio, Pamela W. Jordan, Johanna D. Moore, Richmond H. Thomason
1998	—	`conf`	An Empirical Investigation of Proposals in Collaborative Dialogues. COLING-ACL Barbara Di Eugenio, Johanna D. Moore, Pamela W. Jordan, Richmond H. Thomason
1998	B	`conf`	Intra-Agent Modality and Nonmonotonic Epistemic Logic. TARK Richmond H. Thomason
1998	Misc	`conf`	Representing and Reasoning with Context. AISC Richmond H. Thomason
1997	—	`ch.`	Nonmonotonicity in Linguistics. Handbook of Logic and Language Richmond H. Thomason
1996	B	`conf`	Nondeterministic Action and Dominance: Foundations for Planning and Qualitative Decision. TARK Richmond H. Thomason, John F. Horty
1992	J	`jnl`	Hybridizing Nonmonotonic Inheritance with Theorem Proving. Ann. Math. Artif. Intell. Richmond H. Thomason, John M. Aronis
1991	C	`conf`	A Semantic Analysis of Monotonic Inheritance with Roles and Relations. ISMIS Richmond H. Thomason
1991	A*	`conf`	A Skeptic's Menagerie: Conflictors, Preemptors, Reinstaters, and Zombies in Nonrnonotonic Inheritance. IJCAI David S. Touretzky, Richmond H. Thomason, John F. Horty
1991	J	`jnl`	Conditionals and artificial intelligence. Fundam. Informaticae John F. Horty, Richmond H. Thomason
1991	—	`ch.`	Inheritance Theory and Networks with Roles. Principles of Semantic Networks Richmond H. Thomason, David S. Touretzky
1991	—	`conf`	Logicism, AI, and Common Sense: John McCarthy's Program in Philosophical Perspective. Artificial and Mathematical Theory of Computation Richmond H. Thomason
1990	J	`jnl`	A Skeptical Theory of Inheritance in Nonmonotonic Semantic Networks. Artif. Intell. John F. Horty, Richmond H. Thomason, David S. Touretzky
1990	A*	`conf`	Boolean Extensions of Inheritance Networks. AAAI John F. Horty, Richmond H. Thomason
1990	B	`conf`	Propagating Epistemic Coordination Through Mutual Defaults I. TARK Richmond H. Thomason
1988	J	`jnl`	Logic and Linguistics Meeting, Stanford, 1987. J. Symb. Log. K. Jon Barwise, Richmond H. Thomason
1988	—	`conf`	Logics for Inheritance Theory. NMR Richmond H. Thomason, John F. Horty
1988	A*	`conf`	Mixing Strict and Defeasible Inheritance. AAAI John F. Horty, Richmond H. Thomason
1988	A*	`conf`	Nonmonotonic Inheritance and Generic Reflexives. AAAI David S. Touretzky, Richmond H. Thomason
1987	C	`conf`	A Calculus for Inheritance in Monotonic Semantic Nets. ISMIS Richmond H. Thomason, John F. Horty, David S. Touretzky
1987	A*	`conf`	A Clash of Intuitions: The Current State of Nonmonotonic Multiple Inheritance Systems. IJCAI David S. Touretzky, John F. Horty, Richmond H. Thomason
1987	A*	`conf`	A Skeptical Theory of Inheritance in Nonmonotonic Semantic Networks. AAAI John F. Horty, Richmond H. Thomason, David S. Touretzky
1987	C	`conf`	Update and Conditionals. ISMIS Charles B. Cross, Richmond H. Thomason
1986	B	`conf`	Panel: Objects of Knowledge and Belief: Sentences vs. Propositions? TARK Robert Stalnaker, Hans Kamp, Kurt Konolige, Hector J. Levesque, Richmond H. Thomason
1986	B	`conf`	Paradoxes and Semantic Representation. TARK Richmond H. Thomason
1984	—	`conf`	Default Reasoning and the Logic of Theory Perturbation. NMR Clark Glymour, Richmond H. Thomason
1972	J	`jnl`	A semantic theory of sortal incorrectness. J. Philos. Log. Richmond H. Thomason
1972	J	`jnl`	Meeting of the Association for Symbolic Logic. J. Symb. Log. Charles D. Parsons, Richard J. Orgass, Richmond H. Thomason
1969	J	`jnl`	Predicate Calculus with Free Quantifier Variables. J. Symb. Log. Richmond H. Thomason, D. Randolph Johnson Jr.
1968	J	`jnl`	On the Strong Semantical Completeness of the Intuitionistic Predicate Calculus. J. Symb. Log. Richmond H. Thomason
1967	J	`jnl`	A decision procedure for Fitch's propositional calculus. Notre Dame J. Formal Log. Richmond H. Thomason
1967	J	`jnl`	All or None: A Novel Choice of Primitives for Elementary Logic. J. Symb. Log. Richmond H. Thomason, Hugues Leblanc
1963	J	`jnl`	A rule-completeness theorem. Notre Dame J. Formal Log. Nuel D. Belnap Jr., Richmond H. Thomason
1963	J	`jnl`	On not strengthening intuitionistic logic. Notre Dame J. Formal Log. Nuel D. Belnap Jr., Hugues Leblanc, Richmond H. Thomason