Stop the war!Остановите войну!
for scientists:
default search action
Google
Google Scholar
Semantic Scholar
Internet Archive Scholar
CiteSeerX
ORCIDBibTeX records: Richmond H. Thomason
@article{DBLP:journals/logcom/CroixT19,
author = {Catharine Saint Croix and
Richmond H. Thomason},
title = {Chisholm's paradox and conditional oughts},
journal = {J. Log. Comput.},
volume = {29},
number = {3},
pages = {369--386},
year = {2019},
url = {https://doi.org/10.1093/logcom/exw003},
doi = {10.1093/LOGCOM/EXW003},
timestamp = {Wed, 29 May 2019 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/logcom/CroixT19.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/synthese/Thomason18,
author = {Richmond H. Thomason},
title = {The Little Nell Problem: reasonable and resolute maintenance of agent
intentions},
journal = {Synth.},
volume = {195},
number = {1},
pages = {433--440},
year = {2018},
url = {https://doi.org/10.1007/s11229-016-1229-3},
doi = {10.1007/S11229-016-1229-3},
timestamp = {Thu, 09 Jul 2020 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/synthese/Thomason18.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/jolli/LentT15,
author = {Jeremy Lent and
Richmond H. Thomason},
title = {Action Models for Conditionals},
journal = {J. Log. Lang. Inf.},
volume = {24},
number = {2},
pages = {211--231},
year = {2015},
url = {https://doi.org/10.1007/s10849-015-9213-8},
doi = {10.1007/S10849-015-9213-8},
timestamp = {Thu, 17 Sep 2020 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/jolli/LentT15.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/flap/Thomason14,
author = {Richmond H. Thomason},
title = {The Formalization of Practical Reasoning: Problems and Prospects},
journal = {{FLAP}},
volume = {1},
number = {2},
pages = {47--76},
year = {2014},
url = {http://www.collegepublications.co.uk/downloads/ifcolog00002.pdf},
timestamp = {Thu, 12 Mar 2020 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/flap/Thomason14.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/jphil/RigoniT14,
author = {Adam Rigoni and
Richmond H. Thomason},
title = {The Logic of Counterpart Theory with Actuality},
journal = {J. Philos. Log.},
volume = {43},
number = {1},
pages = {1--31},
year = {2014},
url = {https://doi.org/10.1007/s10992-012-9248-0},
doi = {10.1007/S10992-012-9248-0},
timestamp = {Tue, 29 Dec 2020 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/jphil/RigoniT14.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/deon/CroixT14,
author = {Catharine Saint Croix and
Richmond H. Thomason},
editor = {Fabrizio Cariani and
Davide Grossi and
Joke Meheus and
Xavier Parent},
title = {Chisholm's Paradox and Conditional Oughts},
booktitle = {Deontic Logic and Normative Systems - 12th International Conference,
{DEON} 2014, Ghent, Belgium, July 12-15, 2014. Proceedings},
series = {Lecture Notes in Computer Science},
volume = {8554},
pages = {192--207},
publisher = {Springer},
year = {2014},
url = {https://doi.org/10.1007/978-3-319-08615-6\_15},
doi = {10.1007/978-3-319-08615-6\_15},
timestamp = {Tue, 14 May 2019 10:00:51 +0200},
biburl = {https://dblp.org/rec/conf/deon/CroixT14.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/jphil/Thomason11,
author = {Richmond H. Thomason},
title = {Some Limitations to the Psychological Orientation in Semantic Theory},
journal = {J. Philos. Log.},
volume = {40},
number = {1},
pages = {1--14},
year = {2011},
url = {https://doi.org/10.1007/s10992-010-9151-5},
doi = {10.1007/S10992-010-9151-5},
timestamp = {Mon, 11 May 2020 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/jphil/Thomason11.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/rsl/TuckerT11,
author = {Dustin Tucker and
Richmond H. Thomason},
title = {Paradoxes of Intensionality},
journal = {Rev. Symb. Log.},
volume = {4},
number = {3},
pages = {394--411},
year = {2011},
url = {https://doi.org/10.1017/S1755020311000128},
doi = {10.1017/S1755020311000128},
timestamp = {Tue, 20 Aug 2019 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/rsl/TuckerT11.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/aaaiss/Thomason07,
author = {Richmond H. Thomason},
title = {Conditionals and Action Logics},
booktitle = {Logical Formalizations of Commonsense Reasoning, Papers from the 2007
{AAAI} Spring Symposium, Technical Report SS-07-05, Stanford, California,
USA, March 26-28, 2007},
pages = {156--161},
publisher = {{AAAI}},
year = {2007},
url = {http://www.aaai.org/Library/Symposia/Spring/2007/ss07-05-027.php},
timestamp = {Fri, 17 Feb 2012 14:14:44 +0100},
biburl = {https://dblp.org/rec/conf/aaaiss/Thomason07.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/context/Thomason07,
author = {Richmond H. Thomason},
editor = {Boicho N. Kokinov and
Daniel C. Richardson and
Thomas Roth{-}Berghofer and
Laure Vieu},
title = {Three Interactions Between Context and Epistemic Locutions},
booktitle = {Modeling and Using Context, 6th International and Interdisciplinary
Conference, {CONTEXT} 2007, Roskilde, Denmark, August 20-24, 2007,
Proceedings},
series = {Lecture Notes in Computer Science},
volume = {4635},
pages = {467--481},
publisher = {Springer},
year = {2007},
url = {https://doi.org/10.1007/978-3-540-74255-5\_35},
doi = {10.1007/978-3-540-74255-5\_35},
timestamp = {Tue, 14 May 2019 10:00:50 +0200},
biburl = {https://dblp.org/rec/conf/context/Thomason07.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/context/Thomason05,
author = {Richmond H. Thomason},
editor = {Anind K. Dey and
Boicho N. Kokinov and
David B. Leake and
Roy M. Turner},
title = {Making Contextual Intensional Logic Nonmonotonic},
booktitle = {Modeling and Using Context, 5th International and Interdisciplinary
Conference, {CONTEXT} 2005, Paris, France, July 5-8, 2005, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {3554},
pages = {501--514},
publisher = {Springer},
year = {2005},
url = {https://doi.org/10.1007/11508373\_38},
doi = {10.1007/11508373\_38},
timestamp = {Tue, 14 May 2019 10:00:50 +0200},
biburl = {https://dblp.org/rec/conf/context/Thomason05.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/context/Thomason03,
author = {Richmond H. Thomason},
editor = {Patrick Blackburn and
Chiara Ghidini and
Roy M. Turner and
Fausto Giunchiglia},
title = {Dynamic Contextual Intensional Logic: Logical Foundations and an Application},
booktitle = {Modeling and Using Context, 4th International and Interdisciplinary
Conference, {CONTEXT} 2003, Stanford, CA, USA, June 23-25, 2003, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {2680},
pages = {328--341},
publisher = {Springer},
year = {2003},
url = {https://doi.org/10.1007/3-540-44958-2\_26},
doi = {10.1007/3-540-44958-2\_26},
timestamp = {Tue, 14 May 2019 10:00:50 +0200},
biburl = {https://dblp.org/rec/conf/context/Thomason03.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/jsyml/AntonelliT02,
author = {Gian Aldo Antonelli and
Richmond H. Thomason},
title = {Representability in Second-Order Propositional Poly-Modal Logic},
journal = {J. Symb. Log.},
volume = {67},
number = {3},
pages = {1039--1054},
year = {2002},
url = {https://doi.org/10.2178/jsl/1190150147},
doi = {10.2178/JSL/1190150147},
timestamp = {Sun, 28 May 2017 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/jsyml/AntonelliT02.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/jphil/Arlo-CostaT01,
author = {Horacio L. Arl{\'{o}}{-}Costa and
Richmond H. Thomason},
title = {Iterative Probability Kinematics},
journal = {J. Philos. Log.},
volume = {30},
number = {5},
pages = {479--524},
year = {2001},
url = {https://doi.org/10.1023/A:1012277218013},
doi = {10.1023/A:1012277218013},
timestamp = {Mon, 11 May 2020 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/jphil/Arlo-CostaT01.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@proceedings{DBLP:conf/context/2001,
editor = {Varol Akman and
Paolo Bouquet and
Richmond H. Thomason and
Roger A. Young},
title = {Modeling and Using Context, Third International and Interdisciplinary
Conference, CONTEXT, 2001, Dundee, UK, July 27-30, 2001, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {2116},
publisher = {Springer},
year = {2001},
url = {https://doi.org/10.1007/3-540-44607-9},
doi = {10.1007/3-540-44607-9},
isbn = {3-540-42379-6},
timestamp = {Wed, 07 Dec 2022 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/context/2001.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/ijmms/EugenioJTM00,
author = {Barbara Di Eugenio and
Pamela W. Jordan and
Richmond H. Thomason and
Johanna D. Moore},
title = {The agreement process: an empirical investigation of human-human computer-mediated
collaborative dialogs},
journal = {Int. J. Hum. Comput. Stud.},
volume = {53},
number = {6},
pages = {1017--1076},
year = {2000},
url = {https://doi.org/10.1006/ijhc.2000.0428},
doi = {10.1006/IJHC.2000.0428},
timestamp = {Fri, 21 Feb 2020 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/ijmms/EugenioJTM00.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/kr/Thomason00,
author = {Richmond H. Thomason},
editor = {Anthony G. Cohn and
Fausto Giunchiglia and
Bart Selman},
title = {Desires and Defaults: {A} Framework for Planning with Inferred Goals},
booktitle = {{KR} 2000, Principles of Knowledge Representation and Reasoning Proceedings
of the Seventh International Conference, Breckenridge, Colorado, USA,
April 11-15, 2000},
pages = {702--713},
publisher = {Morgan Kaufmann},
year = {2000},
timestamp = {Tue, 20 Jun 2023 09:03:42 +0200},
biburl = {https://dblp.org/rec/conf/kr/Thomason00.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/kr/MorgensternT00,
author = {Leora Morgenstern and
Richmond H. Thomason},
editor = {Anthony G. Cohn and
Fausto Giunchiglia and
Bart Selman},
title = {Teaching Knowledge Representation: Challenges and Proposals},
booktitle = {{KR} 2000, Principles of Knowledge Representation and Reasoning Proceedings
of the Seventh International Conference, Breckenridge, Colorado, USA,
April 11-15, 2000},
pages = {725--733},
publisher = {Morgan Kaufmann},
year = {2000},
timestamp = {Fri, 18 May 2012 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/kr/MorgensternT00.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/aim/DoyleT99,
author = {Jon Doyle and
Richmond H. Thomason},
title = {Background to Qualitative Decision Theory},
journal = {{AI} Mag.},
volume = {20},
number = {2},
pages = {55--68},
year = {1999},
url = {https://doi.org/10.1609/aimag.v20i2.1456},
doi = {10.1609/AIMAG.V20I2.1456},
timestamp = {Tue, 25 Aug 2020 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/aim/DoyleT99.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/context/Thomason99,
author = {Richmond H. Thomason},
editor = {Paolo Bouquet and
Luciano Serafini and
Patrick Br{\'{e}}zillon and
Massimo Benerecetti and
F. Castellani},
title = {Type Theoretic Foundations for Context, Part 1: Contexts as Complex
Type-Theoretic Objects},
booktitle = {Modeling and Using Context, Second International and Interdisciplinary
Conference, CONTEXT'99, Trento, Italy, September 1999, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {1688},
pages = {351--360},
publisher = {Springer},
year = {1999},
url = {https://doi.org/10.1007/3-540-48315-2\_27},
doi = {10.1007/3-540-48315-2\_27},
timestamp = {Tue, 14 May 2019 10:00:50 +0200},
biburl = {https://dblp.org/rec/conf/context/Thomason99.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/acl/EugenioMJT98,
author = {Barbara Di Eugenio and
Johanna D. Moore and
Pamela W. Jordan and
Richmond H. Thomason},
editor = {Christian Boitet and
Pete Whitelock},
title = {An Empirical Investigation of Proposals in Collaborative Dialogues},
booktitle = {36th Annual Meeting of the Association for Computational Linguistics
and 17th International Conference on Computational Linguistics, {COLING-ACL}
'98, August 10-14, 1998, Universit{\'{e}} de Montr{\'{e}}al,
Montr{\'{e}}al, Quebec, Canada. Proceedings of the Conference},
pages = {325--329},
publisher = {Morgan Kaufmann Publishers / {ACL}},
year = {1998},
url = {https://aclanthology.org/P98-1052/},
doi = {10.3115/980845.980899},
timestamp = {Fri, 06 Aug 2021 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/acl/EugenioMJT98.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/aisc/Thomason98,
author = {Richmond H. Thomason},
editor = {Jacques Calmet and
Jan A. Plaza},
title = {Representing and Reasoning with Context},
booktitle = {Artificial Intelligence and Symbolic Computation, International Conference
AISC'98, Plattsburgh, New York, USA, September 16-18, 1998, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {1476},
pages = {29--41},
publisher = {Springer},
year = {1998},
url = {https://doi.org/10.1007/BFb0055900},
doi = {10.1007/BFB0055900},
timestamp = {Tue, 14 May 2019 10:00:52 +0200},
biburl = {https://dblp.org/rec/conf/aisc/Thomason98.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/tark/Thomason98,
author = {Richmond H. Thomason},
editor = {Itzhak Gilboa},
title = {Intra-Agent Modality and Nonmonotonic Epistemic Logic},
booktitle = {Proceedings of the 7th Conference on Theoretical Aspects of Rationality
and Knowledge (TARK-98), Evanston, IL, USA, July 22-24, 1998},
pages = {57--69},
publisher = {Morgan Kaufmann},
year = {1998},
timestamp = {Thu, 07 Mar 2002 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/tark/Thomason98.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/corr/cmp-lg-9806019,
author = {Barbara Di Eugenio and
Pamela W. Jordan and
Johanna D. Moore and
Richmond H. Thomason},
title = {An Empirical Investigation of Proposals in Collaborative Dialogues},
journal = {CoRR},
volume = {cmp-lg/9806019},
year = {1998},
url = {http://arxiv.org/abs/cmp-lg/9806019},
timestamp = {Mon, 13 Aug 2018 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/corr/cmp-lg-9806019.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@incollection{DBLP:books/el/97/Thomason97,
author = {Richmond H. Thomason},
editor = {Johan van Benthem and
Alice ter Meulen},
title = {Nonmonotonicity in Linguistics},
booktitle = {Handbook of Logic and Language},
pages = {777--831},
publisher = {North Holland / Elsevier},
year = {1997},
url = {https://doi.org/10.1016/b978-044481714-3/50018-7},
doi = {10.1016/B978-044481714-3/50018-7},
timestamp = {Wed, 26 Jun 2019 18:32:30 +0200},
biburl = {https://dblp.org/rec/books/el/97/Thomason97.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/tark/ThomasonH96,
author = {Richmond H. Thomason and
John F. Horty},
editor = {Yoav Shoham},
title = {Nondeterministic Action and Dominance: Foundations for Planning and
Qualitative Decision},
booktitle = {Proceedings of the Sixth Conference on Theoretical Aspects of Rationality
and Knowledge, De Zeeuwse Stromen, The Netherlands, March 17-20 1996},
pages = {229--250},
publisher = {Morgan Kaufmann},
year = {1996},
timestamp = {Thu, 23 Jun 2016 15:53:28 +0200},
biburl = {https://dblp.org/rec/conf/tark/ThomasonH96.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/amai/ThomasonA92,
author = {Richmond H. Thomason and
John M. Aronis},
title = {Hybridizing Nonmonotonic Inheritance with Theorem Proving},
journal = {Ann. Math. Artif. Intell.},
volume = {6},
number = {4},
pages = {345--365},
year = {1992},
url = {https://doi.org/10.1007/BF01535525},
doi = {10.1007/BF01535525},
timestamp = {Sun, 28 May 2017 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/amai/ThomasonA92.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/fuin/HortyT91,
author = {John F. Horty and
Richmond H. Thomason},
title = {Conditionals and artificial intelligence},
journal = {Fundam. Informaticae},
volume = {15},
number = {3-4},
pages = {301--323},
year = {1991},
timestamp = {Fri, 18 Sep 2020 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/fuin/HortyT91.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/birthday/Thomason91,
author = {Richmond H. Thomason},
editor = {Vladimir Lifschitz},
title = {Logicism, AI, and Common Sense: John McCarthy's Program in Philosophical
Perspective},
booktitle = {Artificial and Mathematical Theory of Computation, Papers in Honor
of John McCarthy on the occasion of his sixty-fourth birthday},
pages = {449--466},
publisher = {Academic Press / Elsevier},
year = {1991},
url = {https://doi.org/10.1016/b978-0-12-450010-5.50031-1},
doi = {10.1016/B978-0-12-450010-5.50031-1},
timestamp = {Wed, 26 Jun 2019 13:52:03 +0200},
biburl = {https://dblp.org/rec/conf/birthday/Thomason91.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/ijcai/TouretzkyTH91,
author = {David S. Touretzky and
Richmond H. Thomason and
John F. Horty},
editor = {John Mylopoulos and
Raymond Reiter},
title = {A Skeptic's Menagerie: Conflictors, Preemptors, Reinstaters, and Zombies
in Nonrnonotonic Inheritance},
booktitle = {Proceedings of the 12th International Joint Conference on Artificial
Intelligence. Sydney, Australia, August 24-30, 1991},
pages = {478--485},
publisher = {Morgan Kaufmann},
year = {1991},
url = {http://ijcai.org/Proceedings/91-1/Papers/074.pdf},
timestamp = {Tue, 20 Aug 2019 16:18:13 +0200},
biburl = {https://dblp.org/rec/conf/ijcai/TouretzkyTH91.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/ismis/Thomason91,
author = {Richmond H. Thomason},
editor = {Zbigniew W. Ras and
Maria Zemankova},
title = {A Semantic Analysis of Monotonic Inheritance with Roles and Relations},
booktitle = {Methodologies for Intelligent Systems, 6th International Symposium,
{ISMIS} '91, Charlotte, N.C., USA, October 16-19, 1991, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {542},
pages = {630--644},
publisher = {Springer},
year = {1991},
url = {https://doi.org/10.1007/3-540-54563-8\_126},
doi = {10.1007/3-540-54563-8\_126},
timestamp = {Tue, 14 May 2019 10:00:41 +0200},
biburl = {https://dblp.org/rec/conf/ismis/Thomason91.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@incollection{DBLP:books/el/91/ThomasonT91,
author = {Richmond H. Thomason and
David S. Touretzky},
editor = {John F. Sowa},
title = {Inheritance Theory and Networks with Roles},
booktitle = {Principles of Semantic Networks - Explorations in the Representation
of Knowledge},
series = {The Morgan Kaufmann Series in representation and reasoning},
pages = {231--266},
publisher = {Morgan Kaufmann},
year = {1991},
url = {https://doi.org/10.1016/B978-1-4832-0771-1.50014-X},
doi = {10.1016/B978-1-4832-0771-1.50014-X},
timestamp = {Fri, 17 Jul 2020 16:12:40 +0200},
biburl = {https://dblp.org/rec/books/el/91/ThomasonT91.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/ai/HortyTT90,
author = {John F. Horty and
Richmond H. Thomason and
David S. Touretzky},
title = {A Skeptical Theory of Inheritance in Nonmonotonic Semantic Networks},
journal = {Artif. Intell.},
volume = {42},
number = {2-3},
pages = {311--348},
year = {1990},
url = {https://doi.org/10.1016/0004-3702(90)90057-7},
doi = {10.1016/0004-3702(90)90057-7},
timestamp = {Sun, 12 Nov 2023 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/ai/HortyTT90.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/aaai/HortyT90,
author = {John F. Horty and
Richmond H. Thomason},
editor = {Howard E. Shrobe and
Thomas G. Dietterich and
William R. Swartout},
title = {Boolean Extensions of Inheritance Networks},
booktitle = {Proceedings of the 8th National Conference on Artificial Intelligence.
Boston, Massachusetts, USA, July 29 - August 3, 1990, 2 Volumes},
pages = {633--639},
publisher = {{AAAI} Press / The {MIT} Press},
year = {1990},
url = {http://www.aaai.org/Library/AAAI/1990/aaai90-095.php},
timestamp = {Mon, 04 Sep 2023 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/aaai/HortyT90.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/tark/Thomason90,
author = {Richmond H. Thomason},
editor = {Rohit Parikh},
title = {Propagating Epistemic Coordination Through Mutual Defaults {I}},
booktitle = {Proceedings of the 3rd Conference on Theoretical Aspects of Reasoning
about Knowledge, Pacific Grove, CA, USA, March 1990},
pages = {29--39},
publisher = {Morgan Kaufmann},
year = {1990},
timestamp = {Thu, 21 Jun 2018 07:50:57 +0200},
biburl = {https://dblp.org/rec/conf/tark/Thomason90.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/jsyml/BarwiseT88,
author = {K. Jon Barwise and
Richmond H. Thomason},
title = {Logic and Linguistics Meeting, Stanford, 1987},
journal = {J. Symb. Log.},
volume = {53},
number = {4},
pages = {1275--1282},
year = {1988},
url = {https://doi.org/10.1017/S002248120002819X},
doi = {10.1017/S002248120002819X},
timestamp = {Sun, 28 May 2017 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/jsyml/BarwiseT88.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/aaai/HortyT88,
author = {John F. Horty and
Richmond H. Thomason},
editor = {Howard E. Shrobe and
Tom M. Mitchell and
Reid G. Smith},
title = {Mixing Strict and Defeasible Inheritance},
booktitle = {Proceedings of the 7th National Conference on Artificial Intelligence,
St. Paul, MN, USA, August 21-26, 1988},
pages = {427--432},
publisher = {{AAAI} Press / The {MIT} Press},
year = {1988},
url = {http://www.aaai.org/Library/AAAI/1988/aaai88-075.php},
timestamp = {Mon, 04 Sep 2023 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/aaai/HortyT88.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/aaai/TouretzkyT88,
author = {David S. Touretzky and
Richmond H. Thomason},
editor = {Howard E. Shrobe and
Tom M. Mitchell and
Reid G. Smith},
title = {Nonmonotonic Inheritance and Generic Reflexives},
booktitle = {Proceedings of the 7th National Conference on Artificial Intelligence,
St. Paul, MN, USA, August 21-26, 1988},
pages = {433--438},
publisher = {{AAAI} Press / The {MIT} Press},
year = {1988},
url = {http://www.aaai.org/Library/AAAI/1988/aaai88-076.php},
timestamp = {Mon, 04 Sep 2023 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/aaai/TouretzkyT88.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/nmr/ThomasonH88,
author = {Richmond H. Thomason and
John F. Horty},
editor = {Michael Reinfrank and
Johan de Kleer and
Matthew L. Ginsberg and
Erik Sandewall},
title = {Logics for Inheritance Theory},
booktitle = {Non-Monotonic Reasoning, 2nd International Workshop, Grassau, FRG,
June 13-15, 1988, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {346},
pages = {220--237},
publisher = {Springer},
year = {1988},
url = {https://doi.org/10.1007/3-540-50701-9\_30},
doi = {10.1007/3-540-50701-9\_30},
timestamp = {Tue, 14 May 2019 10:00:51 +0200},
biburl = {https://dblp.org/rec/conf/nmr/ThomasonH88.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/aaai/HortyTT87,
author = {John F. Horty and
Richmond H. Thomason and
David S. Touretzky},
editor = {Kenneth D. Forbus and
Howard E. Shrobe},
title = {A Skeptical Theory of Inheritance in Nonmonotonic Semantic Networks},
booktitle = {Proceedings of the 6th National Conference on Artificial Intelligence.
Seattle, WA, USA, July 1987},
pages = {358--363},
publisher = {Morgan Kaufmann},
year = {1987},
url = {http://www.aaai.org/Library/AAAI/1987/aaai87-064.php},
timestamp = {Mon, 04 Sep 2023 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/aaai/HortyTT87.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/ijcai/TouretzkyHT87,
author = {David S. Touretzky and
John F. Horty and
Richmond H. Thomason},
editor = {John P. McDermott},
title = {A Clash of Intuitions: The Current State of Nonmonotonic Multiple
Inheritance Systems},
booktitle = {Proceedings of the 10th International Joint Conference on Artificial
Intelligence. Milan, Italy, August 23-28, 1987},
pages = {476--482},
publisher = {Morgan Kaufmann},
year = {1987},
url = {http://ijcai.org/Proceedings/87-1/Papers/094.pdf},
timestamp = {Tue, 20 Aug 2019 16:17:29 +0200},
biburl = {https://dblp.org/rec/conf/ijcai/TouretzkyHT87.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/ismis/ThomasonHT87,
author = {Richmond H. Thomason and
John F. Horty and
David S. Touretzky},
editor = {Zbigniew W. Ras and
Maria Zemankova},
title = {A Calculus for Inheritance in Monotonic Semantic Nets},
booktitle = {Methodologies for Intelligent Systems, Proceedings of the Second International
Symposium, Charlotte, North Carolina, USA, October 14-17, 1987},
pages = {280--287},
publisher = {North-Holland/Elsevier},
year = {1987},
timestamp = {Mon, 22 May 2017 09:57:27 +0200},
biburl = {https://dblp.org/rec/conf/ismis/ThomasonHT87.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/ismis/CrossT87,
author = {Charles B. Cross and
Richmond H. Thomason},
editor = {Zbigniew W. Ras and
Maria Zemankova},
title = {Update and Conditionals},
booktitle = {Methodologies for Intelligent Systems, Proceedings of the Second International
Symposium, Charlotte, North Carolina, USA, October 14-17, 1987},
pages = {392--399},
publisher = {North-Holland/Elsevier},
year = {1987},
timestamp = {Mon, 22 May 2017 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/ismis/CrossT87.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/tark/StalnakerKKLT86,
author = {Robert Stalnaker and
Hans Kamp and
Kurt Konolige and
Hector J. Levesque and
Richmond H. Thomason},
editor = {Joseph Y. Halpern},
title = {Panel: Objects of Knowledge and Belief: Sentences vs. Propositions?},
booktitle = {Proceedings of the 1st Conference on Theoretical Aspects of Reasoning
about Knowledge, Monterey, CA, USA, March 1986},
pages = {223},
publisher = {Morgan Kaufmann},
year = {1986},
timestamp = {Tue, 06 Aug 2019 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/tark/StalnakerKKLT86.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/tark/Thomason86,
author = {Richmond H. Thomason},
editor = {Joseph Y. Halpern},
title = {Paradoxes and Semantic Representation},
booktitle = {Proceedings of the 1st Conference on Theoretical Aspects of Reasoning
about Knowledge, Monterey, CA, USA, March 1986},
pages = {225--239},
publisher = {Morgan Kaufmann},
year = {1986},
timestamp = {Tue, 05 Mar 2002 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/tark/Thomason86.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/nmr/GlymourT84,
author = {Clark Glymour and
Richmond H. Thomason},
title = {Default Reasoning and the Logic of Theory Perturbation},
booktitle = {Proceedings of the Non-Monotonic Reasoning Workshop, Mohonk Mountain
House, New Paltz, {NY} 12561, USA, October 17-19, 1984},
pages = {93--102},
publisher = {American Association for Artificial Intelligence {(AAAI)}},
year = {1984},
timestamp = {Fri, 22 Jun 2018 07:50:32 +0200},
biburl = {https://dblp.org/rec/conf/nmr/GlymourT84.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/jphil/Thomason72,
author = {Richmond H. Thomason},
title = {A semantic theory of sortal incorrectness},
journal = {J. Philos. Log.},
volume = {1},
number = {2},
pages = {209--258},
year = {1972},
url = {https://doi.org/10.1007/BF00650499},
doi = {10.1007/BF00650499},
timestamp = {Mon, 11 May 2020 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/jphil/Thomason72.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/jsyml/ParsonsOT72,
author = {Charles D. Parsons and
Richard J. Orgass and
Richmond H. Thomason},
title = {Meeting of the Association for Symbolic Logic},
journal = {J. Symb. Log.},
volume = {37},
number = {2},
pages = {430--447},
year = {1972},
url = {https://doi.org/10.2307/2273026},
doi = {10.2307/2273026},
timestamp = {Sun, 28 May 2017 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/jsyml/ParsonsOT72.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/jsyml/ThomasonJ69,
author = {Richmond H. Thomason and
D. Randolph Johnson Jr.},
title = {Predicate Calculus with Free Quantifier Variables},
journal = {J. Symb. Log.},
volume = {34},
number = {1},
pages = {1--7},
year = {1969},
url = {https://doi.org/10.2307/2270973},
doi = {10.2307/2270973},
timestamp = {Sun, 28 May 2017 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/jsyml/ThomasonJ69.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/jsyml/Thomason68,
author = {Richmond H. Thomason},
title = {On the Strong Semantical Completeness of the Intuitionistic Predicate
Calculus},
journal = {J. Symb. Log.},
volume = {33},
number = {1},
pages = {1--7},
year = {1968},
url = {https://doi.org/10.2307/2270047},
doi = {10.2307/2270047},
timestamp = {Sun, 28 May 2017 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/jsyml/Thomason68.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/jsyml/ThomasonL67,
author = {Richmond H. Thomason and
Hugues Leblanc},
title = {All or None: {A} Novel Choice of Primitives for Elementary Logic},
journal = {J. Symb. Log.},
volume = {32},
number = {3},
pages = {345--351},
year = {1967},
url = {https://doi.org/10.2307/2270776},
doi = {10.2307/2270776},
timestamp = {Sun, 28 May 2017 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/jsyml/ThomasonL67.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/ndjfl/Thomason67,
author = {Richmond H. Thomason},
title = {A decision procedure for Fitch's propositional calculus},
journal = {Notre Dame J. Formal Log.},
volume = {8},
number = {1-2},
pages = {101--117},
year = {1967},
url = {https://doi.org/10.1305/ndjfl/1093956248},
doi = {10.1305/NDJFL/1093956248},
timestamp = {Thu, 21 May 2020 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/ndjfl/Thomason67.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/ndjfl/BelnapT63,
author = {Nuel D. Belnap Jr. and
Richmond H. Thomason},
title = {A rule-completeness theorem},
journal = {Notre Dame J. Formal Log.},
volume = {4},
number = {1},
pages = {39--43},
year = {1963},
url = {https://doi.org/10.1305/ndjfl/1093957392},
doi = {10.1305/NDJFL/1093957392},
timestamp = {Thu, 21 May 2020 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/ndjfl/BelnapT63.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/ndjfl/BelnapLT63,
author = {Nuel D. Belnap Jr. and
Hugues Leblanc and
Richmond H. Thomason},
title = {On not strengthening intuitionistic logic},
journal = {Notre Dame J. Formal Log.},
volume = {4},
number = {4},
pages = {313--320},
year = {1963},
url = {https://doi.org/10.1305/ndjfl/1093957658},
doi = {10.1305/NDJFL/1093957658},
timestamp = {Thu, 21 May 2020 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/ndjfl/BelnapLT63.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
a service of 
manage site settings
To protect your privacy, all features that rely on external API calls from your browser are turned off by default. You need to opt-in for them to become active. All settings here will be stored as cookies with your web browser. For more information see our F.A.Q.
last updated on 2024-04-25 01:41 CEST by the dblp team
all metadata released as open data under CC0 1.0 license
see also: Terms of Use | Privacy Policy | Imprint
dblp was originally created in 1993 at:
since 2018, dblp has been operated and maintained by:
the dblp computer science bibliography is funded and supported by:
