Stop the war!
Остановите войну!
for scientists:
default search action
BibTeX records: Thomas Icard
@article{DBLP:journals/corr/abs-2401-12631, author = {Zhengxuan Wu and Atticus Geiger and Jing Huang and Aryaman Arora and Thomas Icard and Christopher Potts and Noah D. Goodman}, title = {A Reply to Makelov et al. (2023)'s "Interpretability Illusion" Arguments}, journal = {CoRR}, volume = {abs/2401.12631}, year = {2024}, url = {https://doi.org/10.48550/arXiv.2401.12631}, doi = {10.48550/ARXIV.2401.12631}, eprinttype = {arXiv}, eprint = {2401.12631}, timestamp = {Mon, 05 Feb 2024 00:00:00 +0100}, biburl = {https://dblp.org/rec/journals/corr/abs-2401-12631.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@article{DBLP:journals/bsl/BenthemI23, author = {Johan van Benthem and Thomas Icard}, title = {Interleaving Logic and Counting}, journal = {Bull. Symb. Log.}, volume = {29}, number = {4}, pages = {503--587}, year = {2023}, url = {https://doi.org/10.1017/bsl.2023.30}, doi = {10.1017/BSL.2023.30}, timestamp = {Thu, 21 Mar 2024 00:00:00 +0100}, biburl = {https://dblp.org/rec/journals/bsl/BenthemI23.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@article{DBLP:journals/jphil/IcardM23, author = {Thomas F. Icard III and Lawrence S. Moss}, title = {A Simple Logic of Concepts}, journal = {J. Philos. Log.}, volume = {52}, number = {3}, pages = {705--730}, year = {2023}, url = {https://doi.org/10.1007/s10992-022-09685-1}, doi = {10.1007/S10992-022-09685-1}, timestamp = {Sat, 27 May 2023 01:00:00 +0200}, biburl = {https://dblp.org/rec/journals/jphil/IcardM23.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@inproceedings{DBLP:conf/clear2/MassiddaGIB23, author = {Riccardo Massidda and Atticus Geiger and Thomas Icard and Davide Bacciu}, editor = {Mihaela van der Schaar and Cheng Zhang and Dominik Janzing}, title = {Causal Abstraction with Soft Interventions}, booktitle = {Conference on Causal Learning and Reasoning, CLeaR 2023, 11-14 April 2023, Amazon Development Center, T{\"{u}}bingen, Germany, April 11-14, 2023}, series = {Proceedings of Machine Learning Research}, volume = {213}, pages = {68--87}, publisher = {{PMLR}}, year = {2023}, url = {https://proceedings.mlr.press/v213/massidda23a.html}, timestamp = {Mon, 28 Aug 2023 01:00:00 +0200}, biburl = {https://dblp.org/rec/conf/clear2/MassiddaGIB23.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@inproceedings{DBLP:conf/nips/IbelingI23, author = {Duligur Ibeling and Thomas Icard}, editor = {Alice Oh and Tristan Naumann and Amir Globerson and Kate Saenko and Moritz Hardt and Sergey Levine}, title = {Comparing Causal Frameworks: Potential Outcomes, Structural Models, Graphs, and Abstractions}, booktitle = {Advances in Neural Information Processing Systems 36: Annual Conference on Neural Information Processing Systems 2023, NeurIPS 2023, New Orleans, LA, USA, December 10 - 16, 2023}, year = {2023}, url = {http://papers.nips.cc/paper\_files/paper/2023/hash/fd83f4e0dcaf1c64ea15bbb1695bb40f-Abstract-Conference.html}, timestamp = {Fri, 01 Mar 2024 00:00:00 +0100}, biburl = {https://dblp.org/rec/conf/nips/IbelingI23.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@inproceedings{DBLP:conf/nips/WuGIPG23, author = {Zhengxuan Wu and Atticus Geiger and Thomas Icard and Christopher Potts and Noah D. Goodman}, editor = {Alice Oh and Tristan Naumann and Amir Globerson and Kate Saenko and Moritz Hardt and Sergey Levine}, title = {Interpretability at Scale: Identifying Causal Mechanisms in Alpaca}, booktitle = {Advances in Neural Information Processing Systems 36: Annual Conference on Neural Information Processing Systems 2023, NeurIPS 2023, New Orleans, LA, USA, December 10 - 16, 2023}, year = {2023}, url = {http://papers.nips.cc/paper\_files/paper/2023/hash/f6a8b109d4d4fd64c75e94aaf85d9697-Abstract-Conference.html}, timestamp = {Fri, 01 Mar 2024 00:00:00 +0100}, biburl = {https://dblp.org/rec/conf/nips/WuGIPG23.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@article{DBLP:journals/corr/abs-2301-04709, author = {Atticus Geiger and Christopher Potts and Thomas Icard}, title = {Causal Abstraction for Faithful Model Interpretation}, journal = {CoRR}, volume = {abs/2301.04709}, year = {2023}, url = {https://doi.org/10.48550/arXiv.2301.04709}, doi = {10.48550/ARXIV.2301.04709}, eprinttype = {arXiv}, eprint = {2301.04709}, timestamp = {Thu, 19 Jan 2023 00:00:00 +0100}, biburl = {https://dblp.org/rec/journals/corr/abs-2301-04709.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@article{DBLP:journals/corr/abs-2303-02536, author = {Atticus Geiger and Zhengxuan Wu and Christopher Potts and Thomas Icard and Noah D. Goodman}, title = {Finding Alignments Between Interpretable Causal Variables and Distributed Neural Representations}, journal = {CoRR}, volume = {abs/2303.02536}, year = {2023}, url = {https://doi.org/10.48550/arXiv.2303.02536}, doi = {10.48550/ARXIV.2303.02536}, eprinttype = {arXiv}, eprint = {2303.02536}, timestamp = {Tue, 14 Mar 2023 00:00:00 +0100}, biburl = {https://dblp.org/rec/journals/corr/abs-2303-02536.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@article{DBLP:journals/corr/abs-2306-14351, author = {Duligur Ibeling and Thomas Icard}, title = {Comparing Causal Frameworks: Potential Outcomes, Structural Models, Graphs, and Abstractions}, journal = {CoRR}, volume = {abs/2306.14351}, year = {2023}, url = {https://doi.org/10.48550/arXiv.2306.14351}, doi = {10.48550/ARXIV.2306.14351}, eprinttype = {arXiv}, eprint = {2306.14351}, timestamp = {Wed, 28 Jun 2023 01:00:00 +0200}, biburl = {https://dblp.org/rec/journals/corr/abs-2306-14351.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@article{DBLP:journals/corr/abs-2307-05659, author = {Duligur Ibeling and Thomas Icard and Krzysztof Mierzewski and Milan Moss{\'{e}}}, title = {Probing the Quantitative-Qualitative Divide in Probabilistic Reasoning}, journal = {CoRR}, volume = {abs/2307.05659}, year = {2023}, url = {https://doi.org/10.48550/arXiv.2307.05659}, doi = {10.48550/ARXIV.2307.05659}, eprinttype = {arXiv}, eprint = {2307.05659}, timestamp = {Thu, 27 Jul 2023 01:00:00 +0200}, biburl = {https://dblp.org/rec/journals/corr/abs-2307-05659.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@inproceedings{DBLP:conf/icml/GeigerWLRKIGP22, author = {Atticus Geiger and Zhengxuan Wu and Hanson Lu and Josh Rozner and Elisa Kreiss and Thomas Icard and Noah D. Goodman and Christopher Potts}, editor = {Kamalika Chaudhuri and Stefanie Jegelka and Le Song and Csaba Szepesv{\'{a}}ri and Gang Niu and Sivan Sabato}, title = {Inducing Causal Structure for Interpretable Neural Networks}, booktitle = {International Conference on Machine Learning, {ICML} 2022, 17-23 July 2022, Baltimore, Maryland, {USA}}, series = {Proceedings of Machine Learning Research}, volume = {162}, pages = {7324--7338}, publisher = {{PMLR}}, year = {2022}, url = {https://proceedings.mlr.press/v162/geiger22a.html}, timestamp = {Tue, 12 Jul 2022 17:36:52 +0200}, biburl = {https://dblp.org/rec/conf/icml/GeigerWLRKIGP22.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@inproceedings{DBLP:conf/naacl/WuGRKLIPG22, author = {Zhengxuan Wu and Atticus Geiger and Joshua Rozner and Elisa Kreiss and Hanson Lu and Thomas Icard and Christopher Potts and Noah D. Goodman}, editor = {Marine Carpuat and Marie{-}Catherine de Marneffe and Iv{\'{a}}n Vladimir Meza Ru{\'{\i}}z}, title = {Causal Distillation for Language Models}, booktitle = {Proceedings of the 2022 Conference of the North American Chapter of the Association for Computational Linguistics: Human Language Technologies, {NAACL} 2022, Seattle, WA, United States, July 10-15, 2022}, pages = {4288--4295}, publisher = {Association for Computational Linguistics}, year = {2022}, url = {https://doi.org/10.18653/v1/2022.naacl-main.318}, doi = {10.18653/V1/2022.NAACL-MAIN.318}, timestamp = {Mon, 01 Aug 2022 01:00:00 +0200}, biburl = {https://dblp.org/rec/conf/naacl/WuGRKLIPG22.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@incollection{DBLP:books/acm/22/BareinboimCII22, author = {Elias Bareinboim and Juan D. Correa and Duligur Ibeling and Thomas Icard}, editor = {Hector Geffner and Rina Dechter and Joseph Y. Halpern}, title = {On Pearl's Hierarchy and the Foundations of Causal Inference}, booktitle = {Probabilistic and Causal Inference: The Works of Judea Pearl}, series = {{ACM} Books}, volume = {36}, pages = {507--556}, publisher = {{ACM}}, year = {2022}, url = {https://doi.org/10.1145/3501714.3501743}, doi = {10.1145/3501714.3501743}, timestamp = {Sat, 30 Sep 2023 01:00:00 +0200}, biburl = {https://dblp.org/rec/books/acm/22/BareinboimCII22.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@article{DBLP:journals/corr/abs-2202-08725, author = {Lawrence S. Moss and Thomas F. Icard III}, title = {A Completeness Result for Inequational Reasoning in a Full Higher-Order Setting}, journal = {CoRR}, volume = {abs/2202.08725}, year = {2022}, url = {https://arxiv.org/abs/2202.08725}, eprinttype = {arXiv}, eprint = {2202.08725}, timestamp = {Tue, 01 Mar 2022 00:00:00 +0100}, biburl = {https://dblp.org/rec/journals/corr/abs-2202-08725.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@article{DBLP:journals/corr/abs-2211-09110, author = {Percy Liang and Rishi Bommasani and Tony Lee and Dimitris Tsipras and Dilara Soylu and Michihiro Yasunaga and Yian Zhang and Deepak Narayanan and Yuhuai Wu and Ananya Kumar and Benjamin Newman and Binhang Yuan and Bobby Yan and Ce Zhang and Christian Cosgrove and Christopher D. Manning and Christopher R{\'{e}} and Diana Acosta{-}Navas and Drew A. Hudson and Eric Zelikman and Esin Durmus and Faisal Ladhak and Frieda Rong and Hongyu Ren and Huaxiu Yao and Jue Wang and Keshav Santhanam and Laurel J. Orr and Lucia Zheng and Mert Y{\"{u}}ksekg{\"{o}}n{\"{u}}l and Mirac Suzgun and Nathan Kim and Neel Guha and Niladri S. Chatterji and Omar Khattab and Peter Henderson and Qian Huang and Ryan Chi and Sang Michael Xie and Shibani Santurkar and Surya Ganguli and Tatsunori Hashimoto and Thomas Icard and Tianyi Zhang and Vishrav Chaudhary and William Wang and Xuechen Li and Yifan Mai and Yuhui Zhang and Yuta Koreeda}, title = {Holistic Evaluation of Language Models}, journal = {CoRR}, volume = {abs/2211.09110}, year = {2022}, url = {https://doi.org/10.48550/arXiv.2211.09110}, doi = {10.48550/ARXIV.2211.09110}, eprinttype = {arXiv}, eprint = {2211.09110}, timestamp = {Sat, 30 Sep 2023 01:00:00 +0200}, biburl = {https://dblp.org/rec/journals/corr/abs-2211-09110.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@article{DBLP:journals/corr/abs-2211-12270, author = {Riccardo Massidda and Atticus Geiger and Thomas Icard and Davide Bacciu}, title = {Causal Abstraction with Soft Interventions}, journal = {CoRR}, volume = {abs/2211.12270}, year = {2022}, url = {https://doi.org/10.48550/arXiv.2211.12270}, doi = {10.48550/ARXIV.2211.12270}, eprinttype = {arXiv}, eprint = {2211.12270}, timestamp = {Mon, 05 Feb 2024 00:00:00 +0100}, biburl = {https://dblp.org/rec/journals/corr/abs-2211-12270.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@article{DBLP:journals/ijar/DingHI21, author = {Yifeng Ding and Wesley H. Holliday and Thomas F. Icard III}, title = {Logics of imprecise comparative probability}, journal = {Int. J. Approx. Reason.}, volume = {132}, pages = {154--180}, year = {2021}, url = {https://doi.org/10.1016/j.ijar.2021.02.004}, doi = {10.1016/J.IJAR.2021.02.004}, timestamp = {Mon, 03 Jan 2022 00:00:00 +0100}, biburl = {https://dblp.org/rec/journals/ijar/DingHI21.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@inproceedings{DBLP:conf/nips/IbelingI21, author = {Duligur Ibeling and Thomas Icard}, editor = {Marc'Aurelio Ranzato and Alina Beygelzimer and Yann N. Dauphin and Percy Liang and Jennifer Wortman Vaughan}, title = {A Topological Perspective on Causal Inference}, booktitle = {Advances in Neural Information Processing Systems 34: Annual Conference on Neural Information Processing Systems 2021, NeurIPS 2021, December 6-14, 2021, virtual}, pages = {5608--5619}, year = {2021}, url = {https://proceedings.neurips.cc/paper/2021/hash/2c463dfdde588f3bfc60d53118c10d6b-Abstract.html}, timestamp = {Tue, 03 May 2022 01:00:00 +0200}, biburl = {https://dblp.org/rec/conf/nips/IbelingI21.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@inproceedings{DBLP:conf/nips/GeigerLIP21, author = {Atticus Geiger and Hanson Lu and Thomas Icard and Christopher Potts}, editor = {Marc'Aurelio Ranzato and Alina Beygelzimer and Yann N. Dauphin and Percy Liang and Jennifer Wortman Vaughan}, title = {Causal Abstractions of Neural Networks}, booktitle = {Advances in Neural Information Processing Systems 34: Annual Conference on Neural Information Processing Systems 2021, NeurIPS 2021, December 6-14, 2021, virtual}, pages = {9574--9586}, year = {2021}, url = {https://proceedings.neurips.cc/paper/2021/hash/4f5c422f4d49a5a807eda27434231040-Abstract.html}, timestamp = {Tue, 03 May 2022 01:00:00 +0200}, biburl = {https://dblp.org/rec/conf/nips/GeigerLIP21.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@proceedings{DBLP:conf/lori/2021, editor = {Sujata Ghosh and Thomas Icard}, title = {Logic, Rationality, and Interaction - 8th International Workshop, {LORI} 2021, Xi'ian, China, October 16-18, 2021, Proceedings}, series = {Lecture Notes in Computer Science}, volume = {13039}, publisher = {Springer}, year = {2021}, url = {https://doi.org/10.1007/978-3-030-88708-7}, doi = {10.1007/978-3-030-88708-7}, isbn = {978-3-030-88707-0}, timestamp = {Wed, 06 Oct 2021 01:00:00 +0200}, biburl = {https://dblp.org/rec/conf/lori/2021.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@article{DBLP:journals/corr/abs-2104-02287, author = {Matthew Harrison{-}Trainor and Wesley H. Holliday and Thomas F. Icard III}, title = {Preferential Structures for Comparative Probabilistic Reasoning}, journal = {CoRR}, volume = {abs/2104.02287}, year = {2021}, url = {https://arxiv.org/abs/2104.02287}, eprinttype = {arXiv}, eprint = {2104.02287}, timestamp = {Mon, 12 Apr 2021 01:00:00 +0200}, biburl = {https://dblp.org/rec/journals/corr/abs-2104-02287.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@article{DBLP:journals/corr/abs-2106-02997, author = {Atticus Geiger and Hanson Lu and Thomas Icard and Christopher Potts}, title = {Causal Abstractions of Neural Networks}, journal = {CoRR}, volume = {abs/2106.02997}, year = {2021}, url = {https://arxiv.org/abs/2106.02997}, eprinttype = {arXiv}, eprint = {2106.02997}, timestamp = {Thu, 10 Jun 2021 01:00:00 +0200}, biburl = {https://dblp.org/rec/journals/corr/abs-2106-02997.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@article{DBLP:journals/corr/abs-2107-08558, author = {Duligur Ibeling and Thomas Icard}, title = {A Topological Perspective on Causal Inference}, journal = {CoRR}, volume = {abs/2107.08558}, year = {2021}, url = {https://arxiv.org/abs/2107.08558}, eprinttype = {arXiv}, eprint = {2107.08558}, timestamp = {Thu, 22 Jul 2021 01:00:00 +0200}, biburl = {https://dblp.org/rec/journals/corr/abs-2107-08558.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@article{DBLP:journals/corr/abs-2108-07258, author = {Rishi Bommasani and Drew A. Hudson and Ehsan Adeli and Russ B. Altman and Simran Arora and Sydney von Arx and Michael S. Bernstein and Jeannette Bohg and Antoine Bosselut and Emma Brunskill and Erik Brynjolfsson and Shyamal Buch and Dallas Card and Rodrigo Castellon and Niladri S. Chatterji and Annie S. Chen and Kathleen Creel and Jared Quincy Davis and Dorottya Demszky and Chris Donahue and Moussa Doumbouya and Esin Durmus and Stefano Ermon and John Etchemendy and Kawin Ethayarajh and Li Fei{-}Fei and Chelsea Finn and Trevor Gale and Lauren Gillespie and Karan Goel and Noah D. Goodman and Shelby Grossman and Neel Guha and Tatsunori Hashimoto and Peter Henderson and John Hewitt and Daniel E. Ho and Jenny Hong and Kyle Hsu and Jing Huang and Thomas Icard and Saahil Jain and Dan Jurafsky and Pratyusha Kalluri and Siddharth Karamcheti and Geoff Keeling and Fereshte Khani and Omar Khattab and Pang Wei Koh and Mark S. Krass and Ranjay Krishna and Rohith Kuditipudi and et al.}, title = {On the Opportunities and Risks of Foundation Models}, journal = {CoRR}, volume = {abs/2108.07258}, year = {2021}, url = {https://arxiv.org/abs/2108.07258}, eprinttype = {arXiv}, eprint = {2108.07258}, timestamp = {Fri, 17 Feb 2023 00:00:00 +0100}, biburl = {https://dblp.org/rec/journals/corr/abs-2108-07258.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@article{DBLP:journals/corr/abs-2111-13936, author = {Milan Moss{\'{e}} and Duligur Ibeling and Thomas Icard}, title = {Is Causal Reasoning Harder than Probabilistic Reasoning?}, journal = {CoRR}, volume = {abs/2111.13936}, year = {2021}, url = {https://arxiv.org/abs/2111.13936}, eprinttype = {arXiv}, eprint = {2111.13936}, timestamp = {Wed, 01 Dec 2021 00:00:00 +0100}, biburl = {https://dblp.org/rec/journals/corr/abs-2111-13936.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@article{DBLP:journals/corr/abs-2112-00826, author = {Atticus Geiger and Zhengxuan Wu and Hanson Lu and Josh Rozner and Elisa Kreiss and Thomas Icard and Noah D. Goodman and Christopher Potts}, title = {Inducing Causal Structure for Interpretable Neural Networks}, journal = {CoRR}, volume = {abs/2112.00826}, year = {2021}, url = {https://arxiv.org/abs/2112.00826}, eprinttype = {arXiv}, eprint = {2112.00826}, timestamp = {Tue, 07 Dec 2021 00:00:00 +0100}, biburl = {https://dblp.org/rec/journals/corr/abs-2112-00826.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@article{DBLP:journals/corr/abs-2112-02505, author = {Zhengxuan Wu and Atticus Geiger and Josh Rozner and Elisa Kreiss and Hanson Lu and Thomas Icard and Christopher Potts and Noah D. Goodman}, title = {Causal Distillation for Language Models}, journal = {CoRR}, volume = {abs/2112.02505}, year = {2021}, url = {https://arxiv.org/abs/2112.02505}, eprinttype = {arXiv}, eprint = {2112.02505}, timestamp = {Tue, 07 Dec 2021 00:00:00 +0100}, biburl = {https://dblp.org/rec/journals/corr/abs-2112-02505.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@article{DBLP:journals/ai/ZeeDTDIP20, author = {Marc van Zee and Dragan Doder and Leon van der Torre and Mehdi Dastani and Thomas Icard and Eric Pacuit}, title = {Intention as commitment toward time}, journal = {Artif. Intell.}, volume = {283}, pages = {103270}, year = {2020}, url = {https://doi.org/10.1016/j.artint.2020.103270}, doi = {10.1016/J.ARTINT.2020.103270}, timestamp = {Tue, 12 Apr 2022 01:00:00 +0200}, biburl = {https://dblp.org/rec/journals/ai/ZeeDTDIP20.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@inproceedings{DBLP:conf/aaai/IbelingI20, author = {Duligur Ibeling and Thomas Icard}, title = {Probabilistic Reasoning Across the Causal Hierarchy}, booktitle = {The Thirty-Fourth {AAAI} Conference on Artificial Intelligence, {AAAI} 2020, The Thirty-Second Innovative Applications of Artificial Intelligence Conference, {IAAI} 2020, The Tenth {AAAI} Symposium on Educational Advances in Artificial Intelligence, {EAAI} 2020, New York, NY, USA, February 7-12, 2020}, pages = {10170--10177}, publisher = {{AAAI} Press}, year = {2020}, url = {https://doi.org/10.1609/aaai.v34i06.6577}, doi = {10.1609/AAAI.V34I06.6577}, timestamp = {Mon, 04 Sep 2023 12:29:24 +0200}, biburl = {https://dblp.org/rec/conf/aaai/IbelingI20.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@inproceedings{DBLP:conf/cogsci/KirfelIG20, author = {Lara Kirfel and Thomas Icard and Tobias Gerstenberg}, editor = {Stephanie Denison and Michael Mack and Yang Xu and Blair C. Armstrong}, title = {Learning from explanations}, booktitle = {Proceedings of the 42th Annual Meeting of the Cognitive Science Society - Developing a Mind: Learning in Humans, Animals, and Machines, CogSci 2020, virtual, July 29 - August 1, 2020}, publisher = {cognitivesciencesociety.org}, year = {2020}, url = {https://cogsci.mindmodeling.org/2020/papers/0684/index.html}, timestamp = {Wed, 17 Apr 2024 12:42:59 +0200}, biburl = {https://dblp.org/rec/conf/cogsci/KirfelIG20.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@article{DBLP:journals/corr/abs-2001-02889, author = {Duligur Ibeling and Thomas Icard}, title = {Probabilistic Reasoning across the Causal Hierarchy}, journal = {CoRR}, volume = {abs/2001.02889}, year = {2020}, url = {http://arxiv.org/abs/2001.02889}, eprinttype = {arXiv}, eprint = {2001.02889}, timestamp = {Mon, 13 Jan 2020 00:00:00 +0100}, biburl = {https://dblp.org/rec/journals/corr/abs-2001-02889.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@article{DBLP:journals/corr/abs-2004-08144, author = {Marc van Zee and Dragan Doder and Leendert W. N. van der Torre and Mehdi Dastani and Thomas Icard and Eric Pacuit}, title = {Intention as Commitment toward Time}, journal = {CoRR}, volume = {abs/2004.08144}, year = {2020}, url = {https://arxiv.org/abs/2004.08144}, eprinttype = {arXiv}, eprint = {2004.08144}, timestamp = {Tue, 12 Apr 2022 01:00:00 +0200}, biburl = {https://dblp.org/rec/journals/corr/abs-2004-08144.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@inproceedings{DBLP:conf/cogsci/GillKKI19, author = {Maureen Gill and Jonathan F. Kominsky and Joshua Knobe and Thomas Icard}, editor = {Ashok K. Goel and Colleen M. Seifert and Christian Freksa}, title = {Inflated inflation and superseded supersession: testing counterfactual sampling accounts of causal strength judgments}, booktitle = {Proceedings of the 41th Annual Meeting of the Cognitive Science Society, CogSci 2019: Creativity + Cognition + Computation, Montreal, Canada, July 24-27, 2019}, pages = {3462}, publisher = {cognitivesciencesociety.org}, year = {2019}, url = {https://mindmodeling.org/cogsci2019/papers/0770/index.html}, timestamp = {Wed, 17 Apr 2024 12:43:09 +0200}, biburl = {https://dblp.org/rec/conf/cogsci/GillKKI19.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@inproceedings{DBLP:conf/uai/IbelingI19, author = {Duligur Ibeling and Thomas Icard}, editor = {Amir Globerson and Ricardo Silva}, title = {On Open-Universe Causal Reasoning}, booktitle = {Proceedings of the Thirty-Fifth Conference on Uncertainty in Artificial Intelligence, {UAI} 2019, Tel Aviv, Israel, July 22-25, 2019}, series = {Proceedings of Machine Learning Research}, volume = {115}, pages = {1233--1243}, publisher = {{AUAI} Press}, year = {2019}, url = {http://proceedings.mlr.press/v115/ibeling20a.html}, timestamp = {Tue, 15 Dec 2020 17:40:18 +0100}, biburl = {https://dblp.org/rec/conf/uai/IbelingI19.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@article{DBLP:journals/corr/abs-1907-02170, author = {Duligur Ibeling and Thomas Icard}, title = {On Open-Universe Causal Reasoning}, journal = {CoRR}, volume = {abs/1907.02170}, year = {2019}, url = {http://arxiv.org/abs/1907.02170}, eprinttype = {arXiv}, eprint = {1907.02170}, timestamp = {Mon, 08 Jul 2019 01:00:00 +0200}, biburl = {https://dblp.org/rec/journals/corr/abs-1907-02170.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@article{DBLP:journals/mss/Harrison-Trainor18, author = {Matthew Harrison{-}Trainor and Wesley H. Holliday and Thomas F. Icard III}, title = {Inferring probability comparisons}, journal = {Math. Soc. Sci.}, volume = {91}, pages = {62--70}, year = {2018}, url = {https://doi.org/10.1016/j.mathsocsci.2017.08.003}, doi = {10.1016/J.MATHSOCSCI.2017.08.003}, timestamp = {Mon, 24 Feb 2020 00:00:00 +0100}, biburl = {https://dblp.org/rec/journals/mss/Harrison-Trainor18.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@inproceedings{DBLP:conf/cogsci/IcardCK18, author = {Thomas Icard and Fiery Cushman and Joshua Knobe}, editor = {Chuck Kalish and Martina A. Rau and Xiaojin (Jerry) Zhu and Timothy T. Rogers}, title = {On the instrumental value of hypothetical and counterfactual thought}, booktitle = {Proceedings of the 40th Annual Meeting of the Cognitive Science Society, CogSci 2018, Madison, WI, USA, July 25-28, 2018}, publisher = {cognitivesciencesociety.org}, year = {2018}, url = {https://mindmodeling.org/cogsci2018/papers/0114/index.html}, timestamp = {Wed, 17 Apr 2024 12:43:20 +0200}, biburl = {https://dblp.org/rec/conf/cogsci/IcardCK18.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@inproceedings{DBLP:conf/ijcai/IbelingI18, author = {Duligur Ibeling and Thomas Icard}, editor = {J{\'{e}}r{\^{o}}me Lang}, title = {On the Conditional Logic of Simulation Models}, booktitle = {Proceedings of the Twenty-Seventh International Joint Conference on Artificial Intelligence, {IJCAI} 2018, July 13-19, 2018, Stockholm, Sweden}, pages = {1868--1874}, publisher = {ijcai.org}, year = {2018}, url = {https://doi.org/10.24963/ijcai.2018/258}, doi = {10.24963/IJCAI.2018/258}, timestamp = {Tue, 20 Aug 2019 16:19:08 +0200}, biburl = {https://dblp.org/rec/conf/ijcai/IbelingI18.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@article{DBLP:journals/corr/abs-1805-02859, author = {Duligur Ibeling and Thomas Icard}, title = {On the Conditional Logic of Simulation Models}, journal = {CoRR}, volume = {abs/1805.02859}, year = {2018}, url = {http://arxiv.org/abs/1805.02859}, eprinttype = {arXiv}, eprint = {1805.02859}, timestamp = {Mon, 13 Aug 2018 01:00:00 +0200}, biburl = {https://dblp.org/rec/journals/corr/abs-1805-02859.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@inproceedings{DBLP:conf/aaai/Harrison-Trainor17, author = {Matthew Harrison{-}Trainor and Wesley H. Holliday and Thomas F. Icard III}, editor = {Satinder Singh and Shaul Markovitch}, title = {Preferential Structures for Comparative Probabilistic Reasoning}, booktitle = {Proceedings of the Thirty-First {AAAI} Conference on Artificial Intelligence, February 4-9, 2017, San Francisco, California, {USA}}, pages = {1135--1141}, publisher = {{AAAI} Press}, year = {2017}, url = {https://doi.org/10.1609/aaai.v31i1.10695}, doi = {10.1609/AAAI.V31I1.10695}, timestamp = {Mon, 04 Sep 2023 14:40:32 +0200}, biburl = {https://dblp.org/rec/conf/aaai/Harrison-Trainor17.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@inproceedings{DBLP:conf/cogsci/Icard17, author = {Thomas Icard}, editor = {Glenn Gunzelmann and Andrew Howes and Thora Tenbrink and Eddy J. Davelaar}, title = {Beyond Almost-Sure Termination}, booktitle = {Proceedings of the 39th Annual Meeting of the Cognitive Science Society, CogSci 2017, London, UK, 16-29 July 2017}, publisher = {cognitivesciencesociety.org}, year = {2017}, url = {https://mindmodeling.org/cogsci2017/papers/0430/index.html}, timestamp = {Wed, 17 Apr 2024 12:43:29 +0200}, biburl = {https://dblp.org/rec/conf/cogsci/Icard17.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@inproceedings{DBLP:conf/mol/IcardMT17, author = {Thomas Icard and Lawrence S. Moss and William Tune}, editor = {Makoto Kanazawa and Philippe de Groote and Mehrnoosh Sadrzadeh}, title = {A Monotonicity Calculus and Its Completeness}, booktitle = {Proceedings of the 15th Meeting on the Mathematics of Language, {MOL} 2017, London, UK, July 13-14, 2017}, pages = {75--87}, publisher = {{ACL}}, year = {2017}, url = {https://doi.org/10.18653/v1/w17-3408}, doi = {10.18653/V1/W17-3408}, timestamp = {Fri, 06 Aug 2021 01:00:00 +0200}, biburl = {https://dblp.org/rec/conf/mol/IcardMT17.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@inproceedings{DBLP:journals/corr/HollidayI17, author = {Wesley H. Holliday and Thomas F. Icard III}, editor = {J{\'{e}}r{\^{o}}me Lang}, title = {Indicative Conditionals and Dynamic Epistemic Logic}, booktitle = {Proceedings Sixteenth Conference on Theoretical Aspects of Rationality and Knowledge, {TARK} 2017, Liverpool, UK, 24-26 July 2017}, series = {{EPTCS}}, volume = {251}, pages = {337--351}, year = {2017}, url = {https://doi.org/10.4204/EPTCS.251.24}, doi = {10.4204/EPTCS.251.24}, timestamp = {Fri, 02 Nov 2018 00:00:00 +0100}, biburl = {https://dblp.org/rec/journals/corr/HollidayI17.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@inproceedings{DBLP:conf/cogsci/IcardK16, author = {Thomas Icard and Joshua Knobe}, editor = {Anna Papafragou and Daniel Grodner and Daniel Mirman and John C. Trueswell}, title = {Causality, Normality, and Sampling Propensity}, booktitle = {Proceedings of the 38th Annual Meeting of the Cognitive Science Society, Recognizing and Representing Events, CogSci 2016, Philadelphia, PA, USA, August 10-13, 2016}, publisher = {cognitivesciencesociety.org}, year = {2016}, url = {https://mindmodeling.org/cogsci2016/papers/0148/index.html}, timestamp = {Thu, 18 Apr 2024 13:03:08 +0200}, biburl = {https://dblp.org/rec/conf/cogsci/IcardK16.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@inproceedings{DBLP:conf/aaaiss/GarcezBRFHIKLMS15, author = {Artur S. d'Avila Garcez and Tarek R. Besold and Luc De Raedt and Peter F{\"{o}}ldi{\'{a}}k and Pascal Hitzler and Thomas Icard and Kai{-}Uwe K{\"{u}}hnberger and Lu{\'{\i}}s C. Lamb and Risto Miikkulainen and Daniel L. Silver}, title = {Neural-Symbolic Learning and Reasoning: Contributions and Challenges}, booktitle = {2015 {AAAI} Spring Symposia, Stanford University, Palo Alto, California, USA, March 22-25, 2015}, publisher = {{AAAI} Press}, year = {2015}, url = {http://www.aaai.org/ocs/index.php/SSS/SSS15/paper/view/10281}, timestamp = {Wed, 14 Nov 2018 14:01:49 +0100}, biburl = {https://dblp.org/rec/conf/aaaiss/GarcezBRFHIKLMS15.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@inproceedings{DBLP:conf/cogsci/IcardG15, author = {Thomas Icard and Noah D. Goodman}, editor = {David C. Noelle and Rick Dale and Anne S. Warlaumont and Jeff Yoshimi and Teenie Matlock and Carolyn D. Jennings and Paul P. Maglio}, title = {A Resource-Rational Approach to the Causal Frame Problem}, booktitle = {Proceedings of the 37th Annual Meeting of the Cognitive Science Society, CogSci 2015, Pasadena, California, USA, July 22-25, 2015}, publisher = {cognitivesciencesociety.org}, year = {2015}, url = {https://mindmodeling.org/cogsci2015/papers/0172/index.html}, timestamp = {Wed, 17 Apr 2024 12:43:49 +0200}, biburl = {https://dblp.org/rec/conf/cogsci/IcardG15.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@inproceedings{DBLP:conf/cogsci/Icard14, author = {Thomas Icard}, editor = {Paul Bello and Marcello Guarini and Marjorie McShane and Brian Scassellati}, title = {Toward Boundedly Rational Analysis}, booktitle = {Proceedings of the 36th Annual Meeting of the Cognitive Science Society, CogSci 2014, Quebec City, Canada, July 23-26, 2014}, publisher = {cognitivesciencesociety.org}, year = {2014}, url = {https://escholarship.org/uc/item/7678k378}, timestamp = {Thu, 18 Apr 2024 01:00:00 +0200}, biburl = {https://dblp.org/rec/conf/cogsci/Icard14.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@inproceedings{DBLP:conf/fg/Icard14, author = {Thomas F. Icard III}, editor = {Glyn Morrill and Reinhard Muskens and Rainer Osswald and Frank Richter}, title = {Higher-Order Syllogistics}, booktitle = {Formal Grammar - 19th International Conference, {FG} 2014, T{\"{u}}bingen, Germany, August 16-17, 2014. Proceedings}, series = {Lecture Notes in Computer Science}, volume = {8612}, pages = {1--14}, publisher = {Springer}, year = {2014}, url = {https://doi.org/10.1007/978-3-662-44121-3\_1}, doi = {10.1007/978-3-662-44121-3\_1}, timestamp = {Tue, 14 May 2019 10:00:50 +0200}, biburl = {https://dblp.org/rec/conf/fg/Icard14.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@article{DBLP:journals/synthese/HollidayHI13, author = {Wesley H. Holliday and Tomohiro Hoshi and Thomas F. Icard III}, title = {Information dynamics and uniform substitution}, journal = {Synth.}, volume = {190}, number = {Supplement-1}, pages = {31--55}, year = {2013}, url = {https://doi.org/10.1007/s11229-013-0278-0}, doi = {10.1007/S11229-013-0278-0}, timestamp = {Thu, 09 Jul 2020 01:00:00 +0200}, biburl = {https://dblp.org/rec/journals/synthese/HollidayHI13.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@inproceedings{DBLP:conf/tacl/IcardM13, author = {Thomas Icard and Lawrence S. Moss}, editor = {Nikolaos Galatos and Alexander Kurz and Constantine Tsinakis}, title = {A Complete Calculus of Monotone and Antitone Higher-Order Functions}, booktitle = {{TACL} 2013. Sixth International Conference on Topology, Algebra and Categories in Logic, Vanderbilt University, Nashville, Tennessee, USA, July 28 - August 1, 2013}, series = {EPiC Series in Computing}, volume = {25}, pages = {96--100}, publisher = {EasyChair}, year = {2013}, url = {https://doi.org/10.29007/3n54}, doi = {10.29007/3N54}, timestamp = {Sun, 15 Aug 2021 01:00:00 +0200}, biburl = {https://dblp.org/rec/conf/tacl/IcardM13.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@article{DBLP:journals/ndjfl/IcardJ12, author = {Thomas F. Icard III and Joost J. Joosten}, title = {Provability and Interpretability Logics with Restricted Realizations}, journal = {Notre Dame J. Formal Log.}, volume = {53}, number = {2}, pages = {133--154}, year = {2012}, url = {https://doi.org/10.1215/00294527-1715653}, doi = {10.1215/00294527-1715653}, timestamp = {Mon, 28 Aug 2023 01:00:00 +0200}, biburl = {https://dblp.org/rec/journals/ndjfl/IcardJ12.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@article{DBLP:journals/sLogica/Icard12, author = {Thomas F. Icard III}, title = {Inclusion and Exclusion in Natural Language}, journal = {Stud Logica}, volume = {100}, number = {4}, pages = {705--725}, year = {2012}, url = {https://doi.org/10.1007/s11225-012-9425-8}, doi = {10.1007/S11225-012-9425-8}, timestamp = {Tue, 01 Sep 2020 01:00:00 +0200}, biburl = {https://dblp.org/rec/journals/sLogica/Icard12.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@inproceedings{DBLP:conf/aiml/HollidayHI12, author = {Wesley H. Holliday and Tomohiro Hoshi and Thomas F. Icard III}, editor = {Thomas Bolander and Torben Bra{\"{u}}ner and Silvio Ghilardi and Lawrence S. Moss}, title = {A Uniform Logic of Information Dynamics}, booktitle = {Advances in Modal Logic 9, papers from the ninth conference on "Advances in Modal Logic," held in Copenhagen, Denmark, 22-25 August 2012}, pages = {348--367}, publisher = {College Publications}, year = {2012}, url = {http://www.aiml.net/volumes/volume9/Holliday-Hoshi-Icard.pdf}, timestamp = {Wed, 17 Jan 2024 09:57:06 +0100}, biburl = {https://dblp.org/rec/conf/aiml/HollidayHI12.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@article{DBLP:journals/logcom/Icard11, author = {Thomas Icard}, title = {A Topological Study of the Closed Fragment of {GLP}}, journal = {J. Log. Comput.}, volume = {21}, number = {4}, pages = {683--696}, year = {2011}, url = {https://doi.org/10.1093/logcom/exp043}, doi = {10.1093/LOGCOM/EXP043}, timestamp = {Tue, 12 Apr 2022 01:00:00 +0200}, biburl = {https://dblp.org/rec/journals/logcom/Icard11.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@inproceedings{DBLP:conf/lori/HollidayHI11, author = {Wesley H. Holliday and Tomohiro Hoshi and Thomas F. Icard III}, editor = {Hans van Ditmarsch and J{\'{e}}r{\^{o}}me Lang and Shier Ju}, title = {Schematic Validity in Dynamic Epistemic Logic: Decidability}, booktitle = {Logic, Rationality, and Interaction - Third International Workshop, {LORI} 2011, Guangzhou, China, October 10-13, 2011. Proceedings}, series = {Lecture Notes in Computer Science}, volume = {6953}, pages = {87--96}, publisher = {Springer}, year = {2011}, url = {https://doi.org/10.1007/978-3-642-24130-7\_6}, doi = {10.1007/978-3-642-24130-7\_6}, timestamp = {Tue, 14 May 2019 10:00:53 +0200}, biburl = {https://dblp.org/rec/conf/lori/HollidayHI11.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@inproceedings{DBLP:conf/aiml/HollidayI10, author = {Wesley H. Holliday and Thomas F. Icard III}, editor = {Lev D. Beklemishev and Valentin Goranko and Valentin B. Shehtman}, title = {Moorean Phenomena in Epistemic Logic}, booktitle = {Advances in Modal Logic 8, papers from the eighth conference on "Advances in Modal Logic," held in Moscow, Russia, 24-27 August 2010}, pages = {178--199}, publisher = {College Publications}, year = {2010}, url = {http://www.aiml.net/volumes/volume8/Holliday-Icard.pdf}, timestamp = {Wed, 17 Jan 2024 09:57:31 +0100}, biburl = {https://dblp.org/rec/conf/aiml/HollidayI10.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@inproceedings{DBLP:conf/kr/IcardPS10, author = {Thomas Icard and Eric Pacuit and Yoav Shoham}, editor = {Fangzhen Lin and Ulrike Sattler and Miroslaw Truszczynski}, title = {Joint Revision of Beliefs and Intention}, booktitle = {Principles of Knowledge Representation and Reasoning: Proceedings of the Twelfth International Conference, {KR} 2010, Toronto, Ontario, Canada, May 9-13, 2010}, publisher = {{AAAI} Press}, year = {2010}, url = {http://aaai.org/ocs/index.php/KR/KR2010/paper/view/1297}, timestamp = {Tue, 12 Apr 2022 01:00:00 +0200}, biburl = {https://dblp.org/rec/conf/kr/IcardPS10.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@proceedings{DBLP:conf/esslli/2009s, editor = {Thomas Icard and Reinhard Muskens}, title = {Interfaces: Explorations in Logic, Language and Computation, {ESSLLI} 2008 and {ESSLLI} 2009 Student Sessions. Selected Papers}, series = {Lecture Notes in Computer Science}, volume = {6211}, publisher = {Springer}, year = {2010}, url = {https://doi.org/10.1007/978-3-642-14729-6}, doi = {10.1007/978-3-642-14729-6}, isbn = {978-3-642-14728-9}, timestamp = {Tue, 12 Apr 2022 01:00:00 +0200}, biburl = {https://dblp.org/rec/conf/esslli/2009s.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
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.