Thomas F. Icard III

Publication Activity (10 Years)

Years Active: 2010-2024
Publications (10 Years): 10

Top Topics

Probabilistic Reasoning

Intention Recognition

Dynamic Epistemic Logic

Top Venues

Math. Soc. Sci.

Int. J. Approx. Reason.

Publications

Duligur Ibeling, Thomas F. Icard III, Milan Mossé
On Probabilistic and Causal Reasoning with Summation Operators. CoRR (2024)
Thomas F. Icard III, Lawrence S. Moss
A Simple Logic of Concepts. J. Philos. Log. 52 (3) (2023)
Lawrence S. Moss, Thomas F. Icard III
A Completeness Result for Inequational Reasoning in a Full Higher-Order Setting. CoRR (2022)
Yifeng Ding, Wesley H. Holliday, Thomas F. Icard III
Logics of imprecise comparative probability. Int. J. Approx. Reason. 132 (2021)
Matthew Harrison-Trainor, Wesley H. Holliday, Thomas F. Icard III
Preferential Structures for Comparative Probabilistic Reasoning. CoRR (2021)
Marc van Zee, Dragan Doder, Leon van der Torre, Mehdi Dastani, Thomas F. Icard III, Eric Pacuit
Intention as commitment toward time. Artif. Intell. 283 (2020)
Marc van Zee, Dragan Doder, Leendert W. N. van der Torre, Mehdi Dastani, Thomas F. Icard III, Eric Pacuit
Intention as Commitment toward Time. CoRR (2020)
Matthew Harrison-Trainor, Wesley H. Holliday, Thomas F. Icard III
Inferring probability comparisons. Math. Soc. Sci. 91 (2018)
Wesley H. Holliday, Thomas F. Icard III
Indicative Conditionals and Dynamic Epistemic Logic. TARK (2017)
Matthew Harrison-Trainor, Wesley H. Holliday, Thomas F. Icard III
Preferential Structures for Comparative Probabilistic Reasoning. AAAI (2017)
Thomas F. Icard III
Higher-Order Syllogistics. FG (2014)
Wesley H. Holliday, Tomohiro Hoshi, Thomas F. Icard III
Information dynamics and uniform substitution. Synth. 190 (Supplement-1) (2013)
Thomas F. Icard III, Joost J. Joosten
Provability and Interpretability Logics with Restricted Realizations. Notre Dame J. Formal Log. 53 (2) (2012)
Wesley H. Holliday, Tomohiro Hoshi, Thomas F. Icard III
A Uniform Logic of Information Dynamics. Advances in Modal Logic (2012)
Thomas F. Icard III
Inclusion and Exclusion in Natural Language. Stud Logica 100 (4) (2012)
Wesley H. Holliday, Tomohiro Hoshi, Thomas F. Icard III
Schematic Validity in Dynamic Epistemic Logic: Decidability. LORI (2011)
Thomas F. Icard III
A Topological Study of the Closed Fragment of GLP. J. Log. Comput. 21 (4) (2011)
Thomas F. Icard III, Eric Pacuit, Yoav Shoham
Joint Revision of Beliefs and Intention. KR (2010)
Wesley H. Holliday, Thomas F. Icard III
Moorean Phenomena in Epistemic Logic. Advances in Modal Logic (2010)