%%% ---------------------- Universities --------------------------- @String{MITLCS = {Laboratory for Computer Science, Massachusetts Institute of Technology}} @String{MITEECS = {Dept. of Electrical Engineering and Computer Science, Massachusetts Institute of Technology}} @String{IASTATE = {Department of Computer Science, Iowa State University}} %%%% ----------------------- Addresses ----------------------------- @String{Berlin = "Berlin, Germany"} @String{Cancun = "Cancun, Mexico"} @String{Charleston = "Charleston, SC"} @String{Chicago = "Chicago, IL"} @String{Copenhagen = "Copenhagen, Denmark"} @String{LasVegas = "Las Vegas, NV"} @String{Montreal = "Montreal, Canada"} @String{Portland = "Portland, OR"} @String{SanDiego = "San Diego, CA"} vv@String{StPetersburgBeach = "St. Petersburg Beach, FL"} @String{Vancouver = "Vancouver, British Columbia, Canada"} %%%% ----------------------- Publishers ---------------------------- @String{ADDISON = "Addison-Wesley, Reading, MA"} @String{ADDISON-ENGLAND = "Addison-Wesley"} @String{ADDISON-PUBCO = "Addison-Wesley Publishing Company"} @String{LNCS = "Springer-Verlag LNCS"} @String{KLUWER = "Kluwer Academic Publishers"} @String{MIT-P = "The MIT Press, Cambridge, MA"} @String{OXFORD = "Oxford University Press, Oxford, UK"} @String{SPRINGER = "Springer-Verlag"} @String{ELSEVIER = "Elsevier"} @String{PRENTICE = "Prentice-Hall, Inc."} @String{PWS = "PWS Publishing Company"} @String{MORGAN = "Morgan Kaufmann Publishers"} %%%% -------------------------- Journals --------------------------- @String{TOPLAS = "ACM Transactions on Programming Languages and Systems (TOPLAS)"} @String{CACM = "Communications of the {ACM}"} @String{TSE = "IEEE Transactions on Software Engineering"} %%%% ------------------------ Conferences -------------------------- @String{ASE = "IEEE International Conference on Automated Software Engineering"} @String{DAC = "Conference on Design Automation"} @String{ECAI = "European Conference on Artificial Intelligence"} @String{ECOOP = "European Conference on Object-Oriented Programming"} @String{FATES = "International Workshop on Formal Approaches to Testing of Software"} @String{FME = "Formal Methods Europe"} @String{FSE = "{ACM} {SIGSOFT} Symposium on the Foundations of Software Engineering"} @String{ICSE = "International Conference on Software Engineering"} @String{ISSTA = "International Symposium on Software Testing and Analysis"} @String{NAI = "National Conference on Artificial Intelligence"} @String{OOPSLA = "Conference on Object-Oriented Programming, Systems, Languages, and Applications"} @String{PLDI = "Conference on Programming Language Design and Implementation"} @String{POPL = "Annual {ACM} Symposium on the Principles of Programming Languages"} @String{SAS = "International Static Analysis Symposium"} @String{SOSP = "ACM Symposium on Operating Systems Principles"} @String{TACS = "International Symposium on Theoretical Aspects of Computer Software"} @String{TACAS = "International Conference on Tools and Algorithms for Construction and Analysis of Systems"} %%%% ----------------------- Prooceedings ------------------------------ @String{PROC = "Proceedings of the "} %@String{PROC = "Proc. "} @String{ASE01 = PROC # "16th " # ASE # " (ASE)"} @String{ASE00 = PROC # "15th " # ASE # " (ASE)"} @String{ASE98 = PROC # "13th " # ASE # " (ASE)"} @String{DAC99 = PROC # "36th" # DAC # " (DAC)"} @String{ECAI92 = PROC # ECAI # " (ECAI)"} @String{ECOOP02 = PROC # ECOOP # " (ECOOP)"} @String{FATES03 = PROC # "3rd " # FATES # " (FATES)"} @String{FME02 = PROC # FME # " (FME)"} @String{FME03 = PROC # FME # " (FME)"} @String{FME93 = PROC # FME # " (FME)"} @String{FSE99 = PROC # "7th " # FSE # " (FSE)"} @String{FSE00 = PROC # "8th " # FSE # " (FSE)"} @String{FSE01 = PROC # "9th " # FSE # " (FSE)"} @String{ICSE00 = PROC # "22nd " # ICSE # " (ICSE)"} @String{ISSTA93 = PROC # ISSTA # " (ISSTA)"} @String{ISSTA98 = PROC # ISSTA # " (ISSTA)"} @String{ISSTA00 = PROC # ISSTA # " (ISSTA)"} @String{ISSTA02 = PROC # ISSTA # " (ISSTA)"} @String{NAI97 = PROC # NAI} @String{TACS01 = PROC # "Fourth " # TACS} @String{TACAS01 = PROC # "7th " # TACAS # " (TACAS)"} @String{TACAS02 = PROC # "8th " # TACAS # " (TACAS)"} @String{TACAS03 = PROC # "9th " # TACAS # " (TACAS)"} @String{PLDI90 = PROC # "ACM SIGPLAN'90 " # PLDI # " (PLDI)"} @String{POPL80 = PROC # "7th " # POPL # " (POPL)"} @String{POPL93 = PROC # "20th " # POPL # " (POPL)"} @String{POPL97 = PROC # "24th " # POPL # " (POPL)"} @String{POPL02 = PROC # "29th " # POPL # " (POPL)"} @String{SOSP99 = PROC # "17th " # SOSP # " (SOSP)"} @String{OOPSLA98 = PROC # "{ACM} {SIGPLAN} 1998 " # OOPSLA # " (OOPSLA)"} @String{OOPSLA01 = PROC # "{ACM} {SIGPLAN} 2001 " # OOPSLA # " (OOPSLA)"} @String{OOPSLA02 = PROC # "{ACM} {SIGPLAN} 2002 " # OOPSLA # " (OOPSLA)"} %%%% -------------------------- Entries --------------------------------- @Book{Prawitz, author ={D. Prawitz}, title ={Natural Deduction}, publisher ={Almqvist \symbol{38} Wiksell}, address ={Stockhol, Sweden}, year =1965} @Book{FPMICS, author ={Arkoudas, Konstantine and Musser, David}, title ={{Fundamental Proof Methods in Computer Science}}, publisher ={MIT Press}, year =2017} @Book{LanguageTruthAndLogic, author ={A. Ayer}, title ={{L}anguage, {T}ruth, and {L}ogic}, publisher ={Dover}, edition ={second}, year ={1952}} @Book{Shin, author ={Sun-Joo Shin}, title ={The {L}ogical {S}tatus of {D}iagrams}, publisher ={Cambridge University Press}, year =1995} @Book{SpuriousCorrelations, author ={Vigen Tyler}, title ={Spurious Correlations}, publisher ={Hachette Books}, year =2015} @Book{ElementaryRealAnalysis, author ={Brian S. Thomson and Judith B. Bruckner and Andrew M. Bruckner}, title ={Elementary Real Analysis}, publisher ={Prentice-Hall}, year =2001} @inproceedings{WhatDoesBertLookAt, title = "What Does {BERT} Look at? An Analysis of {BERT}{'}s Attention", author = "Clark, Kevin and Khandelwal, Urvashi and Levy, Omer and Manning, Christopher D.", booktitle = "Proceedings of the 2019 ACL Workshop BlackboxNLP: Analyzing and Interpreting Neural Networks for NLP", month = aug, year = "2019", address = "Florence, Italy", publisher = "Association for Computational Linguistics", url = "https://aclanthology.org/W19-4828", pages = "276--286"} @inproceedings{vaswani2017attention, author = {Vaswani, Ashish and Shazeer, Noam and Parmar, Niki and Uszkoreit, Jakob and Jones, Llion and Gomez, Aidan N and Kaiser, {\L}ukasz and Polosukhin, Illia}, booktitle = {Advances in Neural Information Processing Systems}, pages = {5998--6008}, title = {Attention is all you need}, year = 2017} @book{chung2001, title={A Course in Probability Theory}, author={Chung, K.L. and Zhong, K.}, isbn={9780121741518}, year={2001}, publisher={Elsevier Science}} @book{Tsybakov2008, author = {Tsybakov, Alexandre B.}, title = {Introduction to Nonparametric Estimation}, year = {2008}, isbn = {0387790519}, publisher = {Springer Publishing Company}} @book{ElementsOfInfoTheory, author = {Cover, Thomas M. and Thomas, Joy A.}, title = {Elements of Information Theory (Wiley Series in Telecommunications and Signal Processing)}, year = {2006}, isbn = {0471241954}, publisher = {Wiley-Interscience}, address = {USA} } @book{bogomolny2020, title={Cut the Knot: Probability Riddles}, author={Bogomolny, A.}, isbn={9781579550417}, year={2020}, publisher={Wolfram Media}} @incollection{arkoudasBringsjord2014, author={Arkoudas, Konstantine and Bringsjord, Selmer}, title={{Philosophical Foundations of Artificial Intelligence}}, address = {Cambridge, UK}, biburl = {https://www.bibsonomy.org/bibtex/2553286f7c6964ac80694c24eb4f9654c/flint63}, editor = {Frankish, Keith and Ramsey, William M.}, isbn = {978-0-521-87142-6}, DOI={10.1017/CBO9781139046855.004}, publisher = {Cambridge University Press}, booktitle = {{The Cambridge Handbook of Artificial Intelligence}}, pages={34-63}, year = {2014} } @inproceedings{RLHF2017, author = {Christiano, Paul F and Leike, Jan and Brown, Tom and Martic, Miljan and Legg, Shane and Amodei, Dario}, booktitle = {Advances in Neural Information Processing Systems}, editor = {I. Guyon and U. Von Luxburg and S. Bengio and H. Wallach and R. Fergus and S. Vishwanathan and R. Garnett}, publisher = {Curran Associates, Inc.}, title = {Deep Reinforcement Learning from Human Preferences}, pages={4299-4307}, volume = {30}, year = {2017}} @misc{dziri2023faith, title={Faith and Fate: Limits of Transformers on Compositionality}, author={Nouha Dziri and Ximing Lu and Melanie Sclar and Xiang Lorraine Li and Liwei Jiang and Bill Yuchen Lin and Peter West and Chandra Bhagavatula and Ronan Le Bras and Jena D. Hwang and Soumya Sanyal and Sean Welleck and Xiang Ren and Allyson Ettinger and Zaid Harchaoui and Yejin Choi}, year={2023}, eprint={2305.18654}, archivePrefix={arXiv}, primaryClass={cs.CL} } @inproceedings{StochasticParrots2021, author = {Bender, Emily M. and Gebru, Timnit and McMillan-Major, Angelina and Mitchell, Margaret}, title = {On the Dangers of Stochastic Parrots: Can Language Models Be Too Big?}, year = {2021}, isbn = {9781450383097}, publisher = {Association for Computing Machinery}, address = {New York, NY, USA}, url = {https://doi.org/10.1145/3442188.3445922}, doi = {10.1145/3442188.3445922}, booktitle = {Proceedings of the 2021 ACM Conference on Fairness, Accountability, and Transparency}, pages = {610–623}, numpages = {14}, location = {Virtual Event, Canada}, series = {FAccT 2021}} @article{PlanningComplexity, author = {Erol, Kutluhan and Nau, Dana and Subrahmanian, V.S.}, year = {1995}, month = {7}, pages = {75-88}, title = {{Complexity, Decidability and Undecidability Results for Domain-Independent Planning}}, volume = {76}, journal = {Artificial Intelligence}, doi = {10.1016/0004-3702(94)00080-K}} @inproceedings{Planken2008TemporalRP, title={Temporal Reasoning Problems and Algorithms for Solving Them: literature survey}, author={L{\'e}on Planken}, year={2008} } @misc{Liu2023evaluating, title={Evaluating the Logical Reasoning Ability of ChatGPT and GPT-4}, author={Hanmeng Liu and Ruoxi Ning and Zhiyang Teng and Jian Liu and Qiji Zhou and Yue Zhang}, year={2023}, eprint={2304.03439}, archivePrefix={arXiv}, primaryClass={cs.CL}} @misc{openai2023gpt4, title={{GPT-4 Technical Report}}, author={OpenAI}, year={2023}, eprint={2303.08774}, archivePrefix={arXiv}, primaryClass={cs.CL} } @misc{wang2023robustness, title={{On the Robustness of ChatGPT: An Adversarial and Out-of-distribution Perspective}}, author={Jindong Wang and Xixu Hu and Wenxin Hou and Hao Chen and Runkai Zheng and Yidong Wang and Linyi Yang and Haojun Huang and Wei Ye and Xiubo Geng and Binxin Jiao and Yue Zhang and Xing Xie}, year={2023}, eprint={2302.12095}, archivePrefix={arXiv}, primaryClass={cs.AI} } @inproceedings{niven-kao-2019-probing, title = "Probing Neural Network Comprehension of Natural Language Arguments", author = "Niven, Timothy and Kao, Hung-Yu", booktitle = "Proceedings of the 57th Annual Meeting of the Association for Computational Linguistics", month = jul, year = "2019", address = "Florence, Italy", publisher = "Association for Computational Linguistics", url = "https://aclanthology.org/P19-1459", doi = "10.18653/v1/P19-1459", pages = "4658--4664"} @inproceedings{McCoy2019, title = {Right for the Wrong Reasons: Diagnosing Syntactic Heuristics in Natural Language Inference}, author = {{McCoy, Tom and Pavlick, Ellie and Linzen, Tal}}, booktitle = {{Proceedings of the 57th Annual Meeting of the Association for Computational Linguistics}}, year = {2019}, address = {Florence, Italy}, publisher = {Association for Computational Linguistics}, url = "https://aclanthology.org/P19-1334", doi = "10.18653/v1/P19-1334", pages = "3428--3448"} @inproceedings{react2023, title = {{ReAct: Synergizing Reasoning and Acting in Language Models}}, author = {Yao, Shunyu and Zhao, Jeffrey and Yu, Dian and Du, Nan and Shafran, Izhak and Narasimhan, Karthik and Cao, Yuan}, booktitle = {{International Conference on Learning Representations (ICLR)}}, year = {2023}, html = {https://arxiv.org/abs/2210.03629}, website = {https://react-lm.github.io/}} @book{MentalModels, title={{How We Reason}}, author={Johnson-Laird, P.N.}, isbn={9780198569763}, year={2006}, publisher={Oxford University Press}} @misc{mrkl2022, title={{MRKL Systems: A modular, neuro-symbolic architecture that combines large language models, external knowledge sources and discrete reasoning}}, author={Ehud Karpas and Omri Abend and Yonatan Belinkov and Barak Lenz and Opher Lieber and Nir Ratner and Yoav Shoham and Hofit Bata and Yoav Levine and Kevin Leyton-Brown and Dor Muhlgay and Noam Rozen and Erez Schwartz and Gal Shachaf and Shai Shalev-Shwartz and Amnon Shashua and Moshe Tenenholtz}, year={2022}, eprint={2205.00445}, archivePrefix={arXiv}} @book{barwise1983situations, title={{Situations and Attitudes}}, author={Barwise, J. and Perry, J.}, isbn={9780262520997}, series={Bradford book}, year={1983}, publisher={MIT Press}} @incollection{DEVLIN2006601, title = {Situation theory and situation semantics}, editor = {Dov M. Gabbay and John Woods}, series = {Handbook of the History of Logic}, publisher = {North-Holland}, volume = {7}, pages = {601-664}, year = {2006}, booktitle = {Logic and the Modalities in the Twentieth Century}, issn = {1874-5857}, doi = {https://doi.org/10.1016/S1874-5857(06)80034-8}, url = {https://www.sciencedirect.com/science/article/pii/S1874585706800348}, author = {Keith Devlin}}