BibTeX records: Thomas Icard

download as .bib file

@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}
}
a service of  Schloss Dagstuhl - Leibniz Center for Informatics