bibtex.bib

% jason tweet
@misc{Jason2023,
  author = {Jason},
  title = {{Tweet content}},
  year = {2023},
  note = {Twitter post. Retrieved from https://twitter.com/Jason/status/1736986300652433748},
  url = {https://twitter.com/Jason/status/1736986300652433748}
}

% collins
@phdthesis{collins1999head,
  author = {Michael Collins},
  title = {Head-Driven Statistical Models for Natural Language Parsing},
  school = {University of Pennsylvania},
  year = {1999},
  note = {PhD Dissertation}
}

@article{collins2003head,
  author = {Michael Collins},
  title = {Head-Driven Statistical Models for Natural Language Parsing},
  journal = {Computational Linguistics},
  volume = {29},
  number = {4},
  year = {2003},
  pages = {589--637},
  url = {https://aclanthology.org/J03-4003},
  doi = {10.1162/089120103322753356}
}

@inproceedings{collins2005clause,
  author = {Michael Collins and Philipp Koehn and Ivona Kucerova},
  title = {Clause Restructuring for Statistical Machine Translation},
  booktitle = {Proceedings of the 43rd Annual Meeting of the Association for Computational Linguistics (ACL 2005)},
  year = {2005},
  pages = {531--540},
  url = {https://aclanthology.org/P05-1066}
}

@inproceedings{collins2005discriminative,
  author = {Michael Collins and Terry Koo},
  title = {Discriminative Reranking for Natural Language Parsing},
  booktitle = {Computational Linguistics},
  volume = {31},
  number = {1},
  year = {2005},
  pages = {25--69},
  url = {https://aclanthology.org/J05-1003}
}

@inproceedings{collins2004incremental,
  author = {Michael Collins and Brian Roark},
  title = {Incremental Parsing with the Perceptron Algorithm},
  booktitle = {Proceedings of the 42nd Annual Meeting of the Association for Computational Linguistics (ACL 2004)},
  year = {2004},
  pages = {111--118},
  url = {https://aclanthology.org/P04-1015}
}

@inproceedings{collins1997three,
  title = {Three Generative, Lexicalised Models for Statistical Parsing},
  author = {Collins, Michael},
  booktitle = {35th Annual Meeting of the Association for Computational Linguistics and 8th Conference of the European Chapter of the Association for Computational Linguistics},
  year = {1997},
  address = {Madrid, Spain},
  pages = {16--23},
  url = {https://aclanthology.org/P97-1003},
  doi = {10.3115/976909.979620}
}

% charniak
@inproceedings{charniak1997statistical,
  title = {Statistical Parsing with a Context-Free Grammar and Word Statistics},
  author = {Charniak, Eugene},
  booktitle = {Proceedings of the Fourteenth National Conference on Artificial Intelligence (AAAI 1997)},
  year = {1997},
  address = {Providence, RI, USA},
  publisher = {AAAI Press/MIT Press},
  note = {Available online at: [URL of the paper if available online]}
}

% LLM papers

@article{bengio2003neural,
  title = {A Neural Probabilistic Language Model},
  author = {Bengio, Yoshua and Ducharme, Réjean and Vincent, Pascal and Jauvin, Christian},
  journal = {Journal of Machine Learning Research},
  year = {2003},
  volume = {3},
  pages = {1137--1155},
  url = {http://www.jmlr.org/papers/volume3/bengio03a/bengio03a.pdf}
}

@article{sutskever2014sequence,
  title = {Sequence to Sequence Learning with Neural Networks},
  author = {Sutskever, Ilya and Vinyals, Oriol and Le, Quoc V.},
  journal = {Advances in Neural Information Processing Systems},
  year = {2014},
  volume = {27},
  url = {https://papers.nips.cc/paper/5346-sequence-to-sequence-learning-with-neural-networks.pdf}
}

@inproceedings{vaswani2017attention,
  title = {Attention Is All You Need},
  author = {Vaswani, Ashish and Shazeer, Noam and Parmar, Niki and Uszkoreit, Jakob and Jones, Llion and Gomez, Aidan N. and Kaiser, Lukasz and Polosukhin, Illia},
  booktitle = {Advances in Neural Information Processing Systems},
  year = {2017},
  volume = {30},
  url = {https://arxiv.org/abs/1706.03762}
}

@inproceedings{devlin2018bert,
  title = {BERT: Pre-training of Deep Bidirectional Transformers for Language Understanding},
  author = {Devlin, Jacob and Chang, Ming-Wei and Lee, Kenton and Toutanova, Kristina},
  booktitle = {Proceedings of the 2019 Conference of the North American Chapter of the Association for Computational Linguistics: Human Language Technologies},
  year = {2018},
  url = {https://aclanthology.org/N19-1423}
}

@article{radford2018improving,
  title = {Improving Language Understanding by Generative Pre-Training},
  author = {Radford, Alec and Narasimhan, Karthik and Salimans, Tim and Sutskever, Ilya},
  year = {2018},
  url = {https://s3-us-west-2.amazonaws.com/openai-assets/research-covers/language-unsupervised/language_understanding_paper.pdf}
}

@article{radford2019language,
  title = {Language Models are Unsupervised Multitask Learners},
  author = {Radford, Alec and Wu, Jeffrey and Child, Rewon and Luan, David and Amodei, Dario and Sutskever, Ilya},
  year = {2019},
  url = {https://cdn.openai.com/better-language-models/language_models_are_unsupervised_multitask_learners.pdf}
}

@article{brown2020language,
  title = {Language Models are Few-Shot Learners},
  author = {Brown, Tom B. and Mann, Benjamin and Ryder, Nick and Subbiah, Melanie and Kaplan, Jared and Dhariwal, Prafulla and Neelakantan, Arvind and Shyam, Pranav and Sastry, Girish and Askell, Amanda and others},
  journal = {Advances in Neural Information Processing Systems},
  year = {2020},
  volume = {33},
  pages = {1877--1901},
  url = {https://arxiv.org/abs/2005.14165}
}

@article{kaplan2020scaling,
  title = {Scaling Laws for Neural Language Models},
  author = {Kaplan, Jared and McCandlish, Sam and Henighan, Tom and Brown, Tom B. and Chess, Benjamin and Child, Rewon and Gray, Scott and Radford, Alec and Wu, Jeffrey and Amodei, Dario},
  journal = {arXiv preprint arXiv:2001.08361},
  year = {2020},
  url = {https://arxiv.org/abs/2001.08361}
}

% ccg
@book{steedman2000syntactic,
  title={The Syntactic Process},
  author={Steedman, Mark},
  year={2000},
  publisher={MIT Press},
  address={Cambridge, MA}
}

% markov models
@article{rabiner1986maximum,
  title={A maximum likelihood approach to continuous speech recognition},
  author={Rabiner, Lawrence R and Wilpon, Jay G and Juang, Biing-Hwang},
  journal={IEEE Transactions on Pattern Analysis and Machine Intelligence},
  number={2},
  pages={179--190},
  year={1986},
  publisher={IEEE}
}

@article{rabiner1989tutorial,
  title={A tutorial on hidden Markov models and selected applications in speech recognition},
  author={Rabiner, Lawrence R},
  journal={Proceedings of the IEEE},
  volume={77},
  number={2},
  pages={257--286},
  year={1989},
  publisher={IEEE}
}

@article{baum1966statistical,
  title={Statistical inference for probabilistic functions of finite state Markov chains},
  author={Baum, Leonard E and Petrie, Ted},
  journal={The annals of mathematical statistics},
  pages={1554--1563},
  year={1966},
  publisher={Institute of Mathematical Statistics}
}

@article{Jelinek1997,
  title={Statistical methods for speech recognition},
  author={Jelinek, Frederick},
  journal={Language and Speech},
  volume={40},
  number={1},
  pages={115--118},
  year={1997},
  publisher={SAGE Publications Sage UK: London, England}
}

% phrase structure parsing
@inproceedings{charniak-johnson-2005-coarse,
    title = "Coarse-to-Fine n-Best Parsing and {M}ax{E}nt Discriminative Reranking",
    author = "Charniak, Eugene  and
      Johnson, Mark",
    editor = "Knight, Kevin  and
      Ng, Hwee Tou  and
      Oflazer, Kemal",
    booktitle = "Proceedings of the 43rd Annual Meeting of the Association for Computational Linguistics ({ACL}{'}05)",
    month = jun,
    year = "2005",
    address = "Ann Arbor, Michigan",
    publisher = "Association for Computational Linguistics",
    url = "https://aclanthology.org/P05-1022",
    doi = "10.3115/1219840.1219862",
    pages = "173--180",
}
@inproceedings{huang-chiang-2007-forest,
    title = "Forest Rescoring: Faster Decoding with Integrated Language Models",
    author = "Huang, Liang  and
      Chiang, David",
    editor = "Zaenen, Annie  and
      van den Bosch, Antal",
    booktitle = "Proceedings of the 45th Annual Meeting of the Association of Computational Linguistics",
    month = jun,
    year = "2007",
    address = "Prague, Czech Republic",
    publisher = "Association for Computational Linguistics",
    url = "https://aclanthology.org/P07-1019",
    pages = "144--151",
}


% dependency parsing
@article{chen2014fast,
  title={A fast and accurate dependency parser using neural networks},
  author={Chen, Danqi and Manning, Christopher},
  journal={Proceedings of the 2014 Conference on Empirical Methods in Natural Language Processing (EMNLP)},
  pages={740--750},
  year={2014}
}

@inproceedings{mcdonald2005online,
  title={Online learning of approximate dependency parsing algorithms},
  author={McDonald, Ryan and Crammer, Koby and Pereira, Fernando},
  booktitle={Proceedings of the 11th Conference of the European Chapter of the Association for Computational Linguistics},
  year={2005}
}

@inproceedings{zhang2011transition,
  title={Transition-based dependency parsing with rich non-local features},
  author={Zhang, Yue and Nivre, Joakim},
  booktitle={Proceedings of the 49th Annual Meeting of the Association for Computational Linguistics: Human Language Technologies},
  pages={188--193},
  year={2011}
}

@inproceedings{eisner1996bilexical,
  title={Bilexical grammars and their cubic-time parsing algorithms},
  author={Eisner, Jason},
  booktitle={Advances in probabilistic and other parsing technologies},
  pages={29--62},
  year={2000},
  organization={Springer}
}

@inproceedings{mcdonald2005non,
  title={Non-projective dependency parsing using spanning tree algorithms},
  author={McDonald, Ryan and Pereira, Fernando and Ribarov, Kiril and Haji{\v{c}}, Jan},
  booktitle={Proceedings of the conference on Human Language Technology and Empirical Methods in Natural Language Processing},
  pages={523--530},
  year={2005}
}

@inproceedings{eisner1996three,
  title={Three new probabilistic models for dependency parsing: An exploration},
  author={Eisner, Jason},
  booktitle={Proceedings of the 16th conference on Computational linguistics-Volume 1},
  pages={340--345},
  year={1996},
  organization={Association for Computational Linguistics}
}

@inproceedings{kubler2006investigations,
  title={Investigations on treebank transformation-based learning},
  author={K{\"u}bler, Sandra and McDonald, Ryan and Nivre, Joakim},
  booktitle={Proceedings of the Human Language Technology Conference of the NAACL, Main Conference},
  pages={298--305},
  year={2006},
  organization={Association for Computational Linguistics}
}

@article{klein2004corpus,
  title={Corpus-based induction of syntactic structure: Models of dependency and constituency},
  author={Klein, Dan and Manning, Christopher D},
  journal={Proceedings of the 42nd Annual Meeting on Association for Computational Linguistics},
  pages={478},
  year={2004},
  organization={Association for Computational Linguistics}
}

@inproceedings{collins1999unsupervised,
  title={Unsupervised models for named entity classification},
  author={Collins, Michael and Singer, Yoram},
  booktitle={Proceedings of the joint SIGDAT conference on Empirical methods in natural language processing and very large corpora},
  pages={100--110},
  year={1999},
  organization={Association for Computational Linguistics}
}

@article{mcdonald2006online,
  title={Online large-margin training of dependency parsers},
  author={McDonald, Ryan and Pereira, Fernando and Ribarov, Kiril and Haji{\v{c}}, Jan},
  journal={Proceedings of the 21st International Conference on Computational Linguistics and the 44th annual meeting of the Association for Computational Linguistics},
  pages={91--98},
  year={2006},
  organization={Association for Computational Linguistics}
}

@inproceedings{eisner1996three,
  title={Three new probabilistic models for dependency parsing: An exploration},
  author={Eisner, Jason},
  booktitle={Proceedings of the 16th conference on Computational linguistics-Volume 1},
  pages={340--345},
  year={1996},
  organization={Association for Computational Linguistics}
}

@inproceedings{kubler2006investigations,
  title={Investigations on treebank transformation-based learning},
  author={K{\"u}bler, Sandra and McDonald, Ryan and Nivre, Joakim},
  booktitle={Proceedings of the Human Language Technology Conference of the NAACL, Main Conference},
  pages={298--305},
  year={2006},
  organization={Association for Computational Linguistics}
}

@article{klein2004corpus,
  title={Corpus-based induction of syntactic structure: Models of dependency and constituency},
  author={Klein, Dan and Manning, Christopher D},
  journal={Proceedings of the 42nd Annual Meeting on Association for Computational Linguistics},
  pages={478},
  year={2004},
  organization={Association for Computational Linguistics}
}

@inproceedings{collins1999unsupervised,
  title={Unsupervised models for named entity classification},
  author={Collins, Michael and Singer, Yoram},
  booktitle={Proceedings of the joint SIGDAT conference on Empirical methods in natural language processing and very large corpora},
  pages={100--110},
  year={1999},
  organization={Association for Computational Linguistics}
}

@inproceedings{klein2004fast,
  title={Fast Exact Inference with a Factored Model for Natural Language Parsing},
  author={Klein, Dan and Manning, Christopher D.},
  booktitle={Advances in Neural Information Processing Systems},
  pages={3--10},
  year={2004}
}

@inproceedings{klein2002generative,
  title={A Generative Constituent-Context Model for Improved Grammar Induction},
  author={Klein, Dan and Manning, Christopher D.},
  booktitle={Proceedings of the 40th Annual Meeting of the Association for Computational Linguistics},
  pages={256--263},
  year={2002},
  organization={Association for Computational Linguistics}
}


% logic
@book{aristotle_organon,
  title = {Organon},
  author = {Aristotle},
  year = {384-322 BC},
  note = {Ancient texts, exact publication date unknown}
}

@book{frege_begriffsschrift,
  title = {Begriffsschrift, a Formula Language, Modeled Upon That of Arithmetic, for Pure Thought},
  author = {Gottlob Frege},
  year = {1879},
  publisher = {Friedrich Frommann Verlag (Günther Holzboog)}
}

@article{montague_proper_treatment,
  title = {The Proper Treatment of Quantification in Ordinary English},
  author = {Richard Montague},
  journal = {Approaches to Natural Language},
  pages = {221--242},
  year = {1973},
  publisher = {Reidel}
}

% bayes nets
@book{koller2009probabilistic,
  title={Probabilistic Graphical Models: Principles and Techniques},
  author={Koller, Daphne and Friedman, Nir},
  year={2009},
  publisher={MIT Press}
}

@book{jensen2007bayesian,
  title={Bayesian Networks and Decision Graphs},
  author={Jensen, Finn V. and Nielsen, Thomas D.},
  year={2007},
  publisher={Springer Science & Business Media}
}

@book{korb2010bayesian,
  title={Bayesian Artificial Intelligence},
  author={Korb, Kevin B. and Nicholson, Ann E.},
  year={2010},
  publisher={CRC Press}
}

@book{bishop2006pattern,
  title={Pattern Recognition and Machine Learning},
  author={Bishop, Christopher M.},
  year={2006},
  publisher={Springer}
}

@article{pearl1988probabilistic,
  title={Probabilistic Reasoning in Intelligent Systems: Networks of Plausible Inference},
  author={Pearl, Judea},
  journal={Morgan Kaufmann},
  year={1988}
}

@article{lauritzen1988local,
  title={Local Computations with Probabilities on Graphical Structures and their Application to Expert Systems},
  author={Lauritzen, Steffen L. and Spiegelhalter, David J.},
  journal={Journal of the Royal Statistical Society. Series B (Methodological)},
  pages={157--224},
  year={1988},
  publisher={JSTOR}
}

% latent variable
@inproceedings{petrov2008sparse,
  title={Sparse Multi-Scale Grammars for Discriminative Latent Variable Parsing},
  author={Petrov, Slav and Klein, Dan},
  booktitle={Proceedings of the 2008 Conference on Empirical Methods in Natural Language Processing},
  pages={867--876},
  year={2008},
  organization={Association for Computational Linguistics},
  address={Honolulu, Hawaii}
}

@article{petrov2007improved,
  title={Improved Inference for Unlexicalized Parsing},
  author={Petrov, Slav and Klein, Dan},
  journal={Proceedings of the North American Chapter of the Association for Computational Linguistics: Human Language Technologies},
  pages={404--411},
  year={2007},
  publisher={Association for Computational Linguistics}
}

% ccg references from "Inducing Probabilistic CCG Grammars from Logical Form with Higher-Order Unification"

@inproceedings{kwiatkowski2010,
title = "Inducing Probabilistic CCG Grammars from Logical Form with Higher-Order Unification",
abstract = "This paper addresses the problem of learning to map sentences to logical form, given training data consisting of natural language sentences paired with logical representations of their meaning. Previous approaches have been designed for particular natural languages or specific meaning representations; here we present a more general method. The approach induces a probabilistic CCG grammar that represents the meaning of individual words and defines how these meanings can be combined to analyze complete sentences. We use higher-order unification to define a hypothesis space containing all grammars consistent with the training data, and develop an online learning algorithm that efficiently searches this space while simultaneously estimating the parameters of a log-linear parsing model. Experiments demonstrate high accuracy on benchmark data sets in four languages with two different meaning representations.",
author = "Tom Kwiatkowski and Luke Zettlemoyer and Sharon Goldwater and Mark Steedman",
year = "2010",
language = "English",
isbn = "978-1-932432-86-2",
pages = "1223--1233",
booktitle = "Proceedings of the Conference on Empirical Methods in Natural Language Processing",
publisher = "ASSOC COMPUTATIONAL LINGUISTICS-ACL",
}


@inproceedings{Bos2004,
  author    = {Johan Bos and Stephen Clark and Mark Steedman and James R. Curran and Julia Hockenmaier},
  title     = {Wide-coverage semantic representations from a CCG parser},
  booktitle = {Proceedings of the International Conference on Computational Linguistics},
  year      = {2004},
}

@article{Buszkowski1990,
  author  = {Wojciech Buszkowski and Gerald Penn},
  title   = {Categorial grammars determined from linguistic data by unification},
  journal = {Studia Logica},
  volume  = {49},
  pages   = {431--454},
  year    = {1990},
}

@book{Carpenter1997,
  author    = {Bob Carpenter},
  title     = {Type-Logical Semantics},
  publisher = {The MIT Press},
  year      = {1997},
}

@inproceedings{Clark2003,
  author    = {Stephen Clark and James R. Curran},
  title     = {Log-linear models for wide-coverage CCG parsing},
  booktitle = {Proceedings of the Conference on Empirical Methods in Natural Language Processing},
  year      = {2003},
}

@article{Clark2007,
  author  = {Stephen Clark and James R. Curran},
  title   = {Wide-coverage efficient statistical parsing with CCG and log-linear models},
  journal = {Computational Linguistics},
  volume  = {33},
  number  = {4},
  pages   = {493--552},
  year    = {2007},
}

@article{Dalrymple1991,
  author  = {Mary Dalrymple and Stuart Shieber and Fernando Pereira},
  title   = {Ellipsis and higher-order unification},
  journal = {Linguistics and Philosophy},
  volume  = {14},
  pages   = {399--452},
  year    = {1991},
}

@inproceedings{Ge2006,
  author    = {Ruichang Ge and Raymond J. Mooney},
  title     = {Discriminative reranking for semantic parsing},
  booktitle = {Proceedings of the COLING/ACL 2006 Main Conference Poster Sessions},
  year      = {2006},
}

@article{Huet1975,
  author  = {Gérard Huet},
  title   = {A unification algorithm for typed λ-calculus},
  journal = {Theoretical Computer Science},
  volume  = {1},
  pages   = {27–57},
  year    = {1975},
}

@article{Huet1973,
  author  = {Gérard P. Huet},
  title   = {The undecidability of unification in third order logic},
  journal = {Information and Control},
  volume  = {22},
  number  = {3},
  pages   = {257–267},
  year    = {1973},
}

@inproceedings{Kate2006,
  author    = {Rohit J. Kate and Raymond J. Mooney},
  title     = {Using string-kernels for learning semantic parsers},
  booktitle = {Proceedings of the 44th Annual Meeting of the Association for Computational Linguistics},
  year      = {2006},
}

@inproceedings{Kate2005,
  author    = {Rohit J. Kate and Yuk Wah Wong and Raymond J. Mooney},
  title     = {Learning to transform natural to formal languages},
  booktitle = {Proceedings of the National Conference on Artificial Intelligence},
  year      = {2005},
}

@article{LeCun1998,
  author  = {Yann LeCun and Léon Bottou and Yoshua Bengio and Patrick Haffner},
  title   = {Gradient-based learning applied to document recognition},
  journal = {Proceedings of the IEEE},
  volume  = {86},
  number  = {11},
  pages   = {2278–2324},
  year    = {1998},
}

@inproceedings{Lu2008,
  author    = {Wei Lu and Hwee Tou Ng and Wee Sun Lee and Luke S. Zettlemoyer},
  title     = {A generative model for parsing natural language to meaning representations},
  booktitle = {Proceedings of The Conference on Empirical Methods in Natural Language Processing},
  year      = {2008},
}

@inproceedings{Miller1996,
  author    = {Scott Miller and David Stallard and Robert J. Bobrow and Richard L. Schwartz},
  title     = {A fully statistical approach to natural language interfaces},
  booktitle = {Proceedings of the Association for Computational Linguistics},
  year      = {1996},
}

@article{Och2003,
  author  = {Franz Josef Och and Hermann Ney},
  title   = {A systematic comparison of various statistical alignment models},
  journal = {Computational Linguistics},
  volume  = {29},
  number  = {1},
  pages   = {19–51},
  year    = {2003},
}

@book{Steedman1996,
  author    = {Mark Steedman},
  title     = {Surface Structure and Interpretation},
  publisher = {The MIT Press},
  year      = {1996},
}

@book{steedman2000,
  author    = {Mark Steedman},
  title     = {The Syntactic Process},
  publisher = {The MIT Press},
  year      = {2000},
}

@article{Thompson2002,
  author  = {Cynthia A. Thompson and Raymond J. Mooney},
  title   = {Acquiring word-meaning mappings for natural language interfaces},
  journal = {Journal of Artificial Intelligence Research},
  volume  = {18},
  year    = {2002},
}

@phdthesis{Villavicencio2002,
  author  = {Aline Villavicencio},
  title   = {The acquisition of a unification-based generalised categorial grammar},
  school  = {University of Cambridge},
  year    = {2002},
}

@inproceedings{Wong2007,
  author    = {Yuk Wah Wong and Raymond J. Mooney},
  title     = {Learning synchronous grammars for semantic parsing with lambda calculus},
  booktitle = {Proceedings of the Association for Computational Linguistics},
  year      = {2007},
}

@inproceedings{Zelle1996,
  author    = {John M. Zelle and Raymond J. Mooney},
  title     = {Learning to parse database queries using inductive logic programming},
  booktitle = {Proceedings of the National Conference on Artificial Intelligence},
  year      = {1996},
}

@inproceedings{Zettlemoyer2005,
  author    = {Luke S. Zettlemoyer and Michael Collins},
  title     = {Learning to map sentences to logical form: Structured classification with probabilistic categorial grammars},
  booktitle = {Proceedings of the Conference on Uncertainty in Artificial Intelligence},
  year      = {2005},
}

@inproceedings{Zettlemoyer2007,
  author    = {Luke S. Zettlemoyer and Michael Collins},
  title     = {Online learning of relaxed CCG grammars for parsing to logical form},
  booktitle = {Proceedings of the Joint Conference on Empirical Methods in Natural Language Processing and Computational Natural Language Learning},
  year      = {2007},
}

@inproceedings{Zettlemoyer2009,
  author    = {Luke S. Zettlemoyer and Michael Collins},
  title     = {Learning context-dependent mappings from sentences to logical form},
  booktitle = {Proceedings of The Joint Conference of the Association for Computational Linguistics and International Joint Conference on Natural Language Processing},
  year      = {2009},
}



@article{Zettlemoyer2012,
  author       = {Luke S. Zettlemoyer and
                  Michael Collins},
  title        = {Learning to Map Sentences to Logical Form: Structured Classification
                  with Probabilistic Categorial Grammars},
  journal      = {CoRR},
  volume       = {abs/1207.1420},
  year         = {2012},
  url          = {http://arxiv.org/abs/1207.1420},
  eprinttype    = {arXiv},
  eprint       = {1207.1420},
  timestamp    = {Mon, 13 Aug 2018 16:46:14 +0200},
  biburl       = {https://dblp.org/rec/journals/corr/abs-1207-1420.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}



% semantic role labeling
@article{Fillmore1968,
  author    = {Charles J. Fillmore},
  title     = {The Case for Case},
  journal   = {In Universals in Linguistic Theory},
  year      = {1968},
  editor    = {Emmon Bach and Robert T. Harms},
  publisher = {Holt, Rinehart and Winston},
  pages     = {1--88}
}


@article{Ruppenhofer2006,
  author    = {Josef Ruppenhofer and Michael Ellsworth and Miriam R. L. Petruck and Christopher R. Johnson and Jan Scheffczyk},
  title     = {FrameNet II: Extended Theory and Practice},
  year      = {2006},
  url       = {https://framenet2.icsi.berkeley.edu/docs/r1.5/book.pdf}
}

@inproceedings{Gildea2002,
  author    = {Daniel Gildea and Daniel Jurafsky},
  title     = {Automatic Labeling of Semantic Roles},
  booktitle = {Computational Linguistics},
  year      = {2002},
  volume    = {28},
  number    = {3},
  pages     = {245--288},
  doi       = {10.1162/089120102760275983}
}

@article{Palmer2005,
  author    = {Martha Palmer and Daniel Gildea and Paul Kingsbury},
  title     = {The Proposition Bank: An Annotated Corpus of Semantic Roles},
  journal   = {Computational Linguistics},
  year      = {2005},
  volume    = {31},
  number    = {1},
  pages     = {71--106},
  doi       = {10.1162/0891201053630264}
}

@inproceedings{Hovy2006,
  author    = {Eduard Hovy and Mitchell Marcus and Martha Palmer and Lance Ramshaw and Ralph Weischedel},
  title     = {OntoNotes: The 90\% Solution},
  booktitle = {Proceedings of the Human Language Technology Conference of the North American Chapter of the Association for Computational Linguistics},
  year      = {2006},
  url       = {https://aclanthology.org/N06-2015}
}

% smith and eisner
@inproceedings{SmithEisner2005,
  author    = {Noah A. Smith and Jason Eisner},
  title     = {Guiding Unsupervised Grammar Induction Using Contrastive Estimation},
  booktitle = {Proceedings of the IJCAI Workshop on Grammatical Inference Applications},
  pages     = {73--82},
  year      = {2005},
  address   = {Edinburgh, UK},
  month     = {July}
}

@article{SmithJohnson2007,
  author  = {Noah A. Smith and Mark Johnson},
  title   = {Weighted and Probabilistic Context-Free Grammars Are Equally Expressive},
  journal = {Computational Linguistics},
  volume  = {33},
  number  = {4},
  pages   = {477--491},
  year    = {2007},
  month   = {Dec}
}

@inproceedings{smith2008dependency,
  title={Dependency parsing by belief propagation},
  author={Smith, David A and Eisner, Jason},
  booktitle={Proceedings of the 2008 Conference on Empirical Methods in Natural Language Processing},
  pages={145--156},
  year={2008}
}

@inproceedings{CohenSimmonsSmith2008,
  author    = {Shay B. Cohen and Robert J. Simmons and Noah A. Smith},
  title     = {Dynamic Programming Algorithms as Products of Weighted Logic Programs},
  booktitle = {Proceedings of the International Conference on Logic Programming (ICLP 2008)},
  year      = {2008},
  address   = {Udine, Italy},
  month     = {Dec},
  note      = {Also available: extended technical report}
}

@inproceedings{CohenGimpelSmith2008,
  author    = {Shay B. Cohen and Kevin Gimpel and Noah A. Smith},
  title     = {Logistic Normal Priors for Unsupervised Probabilistic Grammar Induction},
  booktitle = {Advances in Neural Information Processing Systems 21 (NIPS 2008)},
  pages     = {321--328},
  year      = {2008},
  address   = {Vancouver, BC},
  month     = {Dec}
}

@inproceedings{GimpelSmith2009,
  author    = {Kevin Gimpel and Noah A. Smith},
  title     = {Cube Summing, Approximate Inference with Non-Local Features, and Dynamic Programming without Semirings},
  booktitle = {Proceedings of the Conference of the European Chapter of the Association for Computational Linguistics (EACL 2009)},
  pages     = {157--166},
  year      = {2009},
  address   = {Athens, Greece},
  month     = {Mar/Apr}
}

%categorial grammar

@article{Ajdukiewicz1935,
  author  = {Kazimierz Ajdukiewicz},
  title   = {Die syntaktische Konnexit{\"a}t},
  journal = {Studia Philosophica},
  year    = {1935},
  volume  = {1},
  pages   = {1--27}
}

@article{BarHillel1953,
  author  = {Yehoshua Bar-Hillel},
  title   = {A Quasi-Arithmetical Notation for Syntactic Description},
  journal = {Language},
  year    = {1953},
  volume  = {29},
  number  = {1},
  pages   = {47--58}
}

@article{Lambek1958,
  author  = {Joachim Lambek},
  title   = {The Mathematics of Sentence Structure},
  journal = {American Mathematical Monthly},
  year    = {1958},
  volume  = {65},
  number  = {3},
  pages   = {154--170}
}

@book{Montague1970,
  author    = {Richard Montague},
  title     = {Universal Grammar},
  year      = {1970},
  publisher = {University of California Press}
}

@book{Moortgat1988,
  author    = {Michael Moortgat},
  title     = {Categorial Investigations: Logical and Linguistic Aspects of the Lambek Calculus},
  year      = {1988},
  publisher = {Foris Publications}
}

@book{Oehrle1988,
  editor    = {Richard T. Oehrle and Emmon Bach and Deirdre Wheeler},
  title     = {Categorial Grammars and Natural Language Structures},
  year      = {1988},
  publisher = {D. Reidel Publishing Company}
}

% perceptron
@article{Rosenblatt1958,
  author    = {Frank Rosenblatt},
  title     = {The Perceptron: A Probabilistic Model for Information Storage and Organization in the Brain},
  journal   = {Psychological Review},
  year      = {1958},
  volume    = {65},
  number    = {6},
  pages     = {386--408},
  publisher = {American Psychological Association}
}

@article{Rumelhart1986,
  author  = {David E. Rumelhart and Geoffrey E. Hinton and Ronald J. Williams},
  title   = {Learning representations by back-propagating errors},
  journal = {Nature},
  year    = {1986},
  volume  = {323},
  pages   = {533--536}
}

% tree banks
@article{Marcus1993,
  author    = {Mitchell P. Marcus and Mary Ann Marcinkiewicz and Beatrice Santorini},
  title     = {Building a Large Annotated Corpus of English: The Penn Treebank},
  journal   = {Computational Linguistics},
  year      = {1993},
  volume    = {19},
  number    = {2},
  pages     = {313--330}
}

@inproceedings{Hajic1998,
  author    = {Jan Hajič},
  title     = {Building a Syntactically Annotated Corpus: The Prague Dependency Treebank},
  booktitle = {Issues of Valency and Meaning},
  year      = {1998},
  editor    = {Eva Hajičová and Petr Sgall},
  pages     = {106--132},
  publisher = {Karolinum Press}
}

@inproceedings{Nivre2007,
  author    = {Joakim Nivre and Johan Hall and Sandra Kübler and Ryan McDonald and Jens Nilsson and Sebastian Riedel and Deniz Yuret},
  title     = {The CoNLL 2007 Shared Task on Dependency Parsing},
  booktitle = {Proceedings of the CoNLL Shared Task Session of EMNLP-CoNLL},
  year      = {2007},
  pages     = {915--932}
}

@inproceedings{Brants2004,
  author    = {Thorsten Brants and Sabine Dipper and Peter Eisenberg and Silvia Hansen-Schirra and Esther König and Wolfgang Lezius and Christian Rohrer and George Smith and Hans Uszkoreit},
  title     = {TIGER: Linguistic Interpretation of a German Corpus},
  booktitle = {Research on Language and Computation},
  year      = {2004},
  volume    = {2},
  number    = {4},
  pages     = {597--620}
}

@misc{BNC1995,
  author = {{British National Corpus Consortium}},
  title  = {The British National Corpus, version 3 (BNC XML Edition)},
  year   = {2007},
  url    = {http://www.natcorp.ox.ac.uk/}
}

@inproceedings{Marcus1993WSJ,
  author    = {Mitchell P. Marcus and Beatrice Santorini and Mary Ann Marcinkiewicz},
  title     = {Building a Large Annotated Corpus of English: The Penn Treebank},
  booktitle = {Computational Linguistics},
  year      = {1993},
  volume    = {19},
  number    = {2},
  pages     = {313--330},
  note      = {Includes the Wall Street Journal Corpus}
}

@inproceedings{Bouma2002,
  author    = {Gosse Bouma and Gertjan van Noord and Robert Malouf},
  title     = {Alpino: Wide-Coverage Computational Analysis of Dutch},
  booktitle = {Language and Computers},
  year      = {2002},
  volume    = {45},
  pages     = {45--59}
}

% classical computing papers

@article{Turing1937,
  author    = {Alan Turing},
  title     = {On Computable Numbers, with an Application to the Entscheidungsproblem},
  journal   = {Proceedings of the London Mathematical Society},
  year      = {1937},
  volume    = {s2-42},
  number    = {1},
  pages     = {230--265},
  doi       = {10.1112/plms/s2-42.1.230}
}

@article{vonNeumann1945,
  author    = {John von Neumann},
  title     = {First Draft of a Report on the EDVAC},
  year      = {1945},
  publisher = {University of Pennsylvania},
  url       = {https://web.archive.org/web/20130314123032/http://qss.stanford.edu/~godfrey/vonNeumann/vnedvac.pdf}
}

@article{Shannon1948,
  author    = {Claude E. Shannon},
  title     = {A Mathematical Theory of Communication},
  journal   = {Bell System Technical Journal},
  year      = {1948},
  volume    = {27},
  pages     = {379--423, 623--656},
  url       = {https://ieeexplore.ieee.org/document/6773024}
}

@article{Church1936,
  author    = {Alonzo Church},
  title     = {An Unsolvable Problem of Elementary Number Theory},
  journal   = {American Journal of Mathematics},
  year      = {1936},
  volume    = {58},
  number    = {2},
  pages     = {345--363},
  jstor     = {2371045}
}

@article{Godel1931,
  author    = {Kurt Gödel},
  title     = {Über formal unentscheidbare Sätze der Principia Mathematica und verwandter Systeme I},
  journal   = {Monatshefte für Mathematik},
  year      = {1931},
  volume    = {38},
  number    = {1},
  pages     = {173--198},
  doi       = {10.1007/BF01700692},
  note      = {English title: On Formally Undecidable Propositions of Principia Mathematica and Related Systems I}
}

% thinking fast and slow
@book{Kahneman2011ThinkingFast,
  title={Thinking, Fast and Slow},
  author={Kahneman, Daniel},
  year={2011},
  publisher={Farrar, Straus and Giroux},
  address={New York}
}

% videos of deep learning people talking about ChatGPT

@misc{hinton:cbs:2023,
  title = {Full interview: "Godfather of artificial intelligence" talks impact and potential of AI},
  author = {Geoff Hinton},
  year = {2023},
  howpublished = {YouTube video},
  url = {https://youtu.be/qpoRO378qRY},
  note = {Accessed: 2023-12-26, Timestamp: 1318 seconds}
}

@misc{sutskever:huang:2023,
  title = {Ilya Sutskever (OpenAI) and Jensen Huang (NVIDIA CEO) : AI Today and Vision of the Future (3/2023)},
  author = {Ilya Sutskever},
  year = {2023},
  howpublished = {YouTube video},
  url = {https://youtu.be/Ckz8XA2hW84},
  note = {Accessed: 2023-12-26, Timestamp: 1966 seconds}
}

@misc{steedman:2022,
  title = {AI Quorum: Mark Steedman 2022 NLP Symposium},
  author = {Mark Steedman},
  year = {2022},
  howpublished = {YouTube video},
  url = {https://youtu.be/isCf61oAU-E},
  note = {Accessed: 2023-12-29, Timestamp: 7 seconds}
}

% RAG
@article{lewis2013combined:2020,
  author       = {Patrick S. H. Lewis and
                  Ethan Perez and
                  Aleksandra Piktus and
                  Fabio Petroni and
                  Vladimir Karpukhin and
                  Naman Goyal and
                  Heinrich K{\"{u}}ttler and
                  Mike Lewis and
                  Wen{-}tau Yih and
                  Tim Rockt{\"{a}}schel and
                  Sebastian Riedel and
                  Douwe Kiela},
  title        = {Retrieval-Augmented Generation for Knowledge-Intensive {NLP} Tasks},
  journal      = {CoRR},
  volume       = {abs/2005.11401},
  year         = {2020},
  url          = {https://arxiv.org/abs/2005.11401},
  eprinttype    = {arXiv},
  eprint       = {2005.11401},
  timestamp    = {Fri, 29 May 2020 09:57:22 +0200},
  biburl       = {https://dblp.org/rec/journals/corr/abs-2005-11401.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

% references from "Combined distributional and logical semantics"

@article{lewis2013combined,
  title={Combined distributional and logical semantics},
  author={Lewis, Mike and Steedman, Mark},
  journal={Transactions of the Association for Computational Linguistics},
  volume={1},
  pages={179--192},
  year={2013},
  publisher={MIT Press One Rogers Street, Cambridge, MA 02142-1209, USA journals-info~…}
}

@inproceedings{baker1998berkeley,
  title={The Berkeley FrameNet Project},
  author={Baker, C.F. and Fillmore, C.J. and Lowe, J.B.},
  booktitle={Proceedings of the 36th Annual Meeting of the Association for Computational Linguistics and 17th International Conference on Computational Linguistics-Volume 1},
  pages={86--90},
  year={1998},
  organization={Association for Computational Linguistics}
}

@inproceedings{baroni2012entailment,
  title={Entailment above the Word Level in Distributional Semantics},
  author={Baroni, M. and Bernardi, R. and Do, N.Q. and Shan, C.},
  booktitle={Proceedings of EACL},
  pages={23--32},
  year={2012},
  organization={Citeseer}
}

@inproceedings{basile2012developing,
  title={Developing a Large Semantically Annotated Corpus},
  author={Basile, V. and Bos, J. and Evang, K. and Venhuizen, N.},
  booktitle={Proceedings of the Eighth International Conference on Language Resources and Evaluation (LREC12)},
  year={2012}
}

@inproceedings{berant2011global,
  title={Global Learning of Typed Entailment Rules},
  author={Berant, Jonathan and Dagan, Ido and Goldberger, Jacob},
  booktitle={Proceedings of the 49th Annual Meeting of the Association for Computational Linguistics: Human Language Technologies - Volume 1, HLT ’11},
  pages={610--619},
  year={2011},
  organization={Association for Computational Linguistics}
}

@inproceedings{biemann2006chinese,
  title={Chinese Whispers: An Efficient Graph Clustering Algorithm and its Application to Natural Language Processing Problems},
  author={Biemann, C.},
  booktitle={Proceedings of the First Workshop on Graph Based Methods for Natural Language Processing},
  pages={73--80},
  year={2006},
  organization={Association for Computational Linguistics}
}

@article{blei2003latent,
  title={Latent Dirichlet Allocation},
  author={Blei, D.M. and Ng, A.Y. and Jordan, M.I.},
  journal={The Journal of Machine Learning Research},
  volume={3},
  pages={993--1022},
  year={2003}
}

@inproceedings{bobrow2007precision,
  title={Precision-Focused Textual Inference},
  author={Bobrow, D. G. and Condoravdi, C. and Crouch, R. and De Paiva, V. and Karttunen, L. and King, T. H. and Nairn, R. and Price, L. and Zaenen, A.},
  booktitle={Proceedings of the ACL-PASCAL Workshop on Textual Entailment and Paraphrasing, RTE ’07},
  pages={16--21},
  year={2007},
  organization={Association for Computational Linguistics}
}

@inproceedings{bollacker2008freebase,
  title={Freebase: A Collaboratively Created Graph Database for Structuring Human Knowledge},
  author={Bollacker, Kurt and Evans, Colin and Paritosh, Praveen and Sturge, Tim and Taylor, Jamie},
  booktitle={Proceedings of the 2008 ACM SIGMOD International Conference on Management of Data, SIGMOD ’08},
  pages={1247--1250},
  year={2008},
  address={New York, NY, USA},
  organization={ACM}
}

@inproceedings{bos2005recognising,
  title={Recognising Textual Entailment with Logical Inference},
  author={Bos, J. and Markert, K.},
  booktitle={Proceedings of the Conference on Human Language Technology and Empirical Methods in Natural Language Processing},
  pages={628--635},
  year={2005},
  organization={Association for Computational Linguistics}
}

@inproceedings{bos2008wide,
  title={Wide-Coverage Semantic Analysis with Boxer},
  author={Bos, Johan},
  booktitle={Semantics in Text Processing. STEP 2008 Conference Proceedings, Research in Computational Semantics},
  editor={Bos, Johan and Delmonte, Rodolfo},
  pages={277--286},
  year={2008},
  publisher={College Publications}
}

@article{brown1992class,
  title={Class-Based n-gram Models of Natural Language},
  author={Brown, P.F. and Desouza, P.V. and Mercer, R.L. and Pietra, V.J.D. and Lai, J.C.},
  journal={Computational Linguistics},
  volume={18},
  number={4},
  pages={467--479},
  year={1992}
}

@inproceedings{chinchor1997muc,
  title={MUC-7 Named Entity Task Definition},
  author={Chinchor, N. and Robinson, P.},
  booktitle={Proceedings of the 7th Conference on Message Understanding},
  year={1997}
}

@inproceedings{clark2004parsing,
  title={Parsing the WSJ Using CCG and Log-linear Models},
  author={Clark, Stephen and Curran, James R.},
  booktitle={Proceedings of the 42nd Annual Meeting on Association for Computational Linguistics, ACL ’04},
  year={2004},
  organization={Association for Computational Linguistics}
}

@article{coecke2010mathematical,
  title={Mathematical Foundations for a Compositional Distributional Model of Meaning},
  author={Coecke, Bob and Sadrzadeh, Mehrnoosh and Clark, Stephen},
  journal={Linguistic Analysis: A Festschrift for Joachim Lambek},
  volume={36},
  number={1-4},
  pages={345--384},
  year={2010}
}

@misc{cooper1996using,
  title={Using the Framework},
  author={Cooper, Robin and Crouch, Dick and Van Eijck, Jan and Fox, Chris and Van Genabith, Johan and Jaspars, Jan and Kamp, Hans and Milward, David and Pinkal, Manfred and Poesio, Massimo and others},
  year={1996},
  howpublished={FraCaS Deliverable D, 16}
}

@inproceedings{dagan2006pascal,
  title={The PASCAL Recognising Textual Entailment Challenge},
  author={Dagan, Ido and Glickman, O. and Magnini, B.},
  booktitle={Machine Learning Challenges. Evaluating Predictive Uncertainty, Visual Object Classification, and Recognising Tectual Entailment},
  pages={177--190},
  year={2006}
}

@inproceedings{dahl1994expanding,
  title={Expanding the Scope of the ATIS Task: The ATIS-3 Corpus},
  author={Dahl, D.A. and Bates, M. and Brown, M. and Fisher, W. and Hunicke-Smith, K. and Pallett, D. and Pao, C. and Rudnicky, A. and Shriberg, E.},
  booktitle={Proceedings of the Workshop on Human Language Technology},
  pages={43--48},
  year={1994},
  organization={Association for Computational Linguistics}
}

@inproceedings{daume2007fast,
  title={Fast Search for Dirichlet Process Mixture Models},
  author={Daum{\'e} III, Hal},
  booktitle={Proceedings of the Eleventh International Conference on Artificial Intelligence and Statistics (AIStats), San Juan, Puerto Rico},
  year={2007}
}

@book{davidson1967logical,
  title={The Logical Form of Action Sentences},
  author={Davidson, D.},
  volume={1},
  number={9},
  pages={105--149},
  year={1967},
  publisher={Essays on Actions and Events}
}

@inproceedings{fader2011identifying,
  title={Identifying Relations for Open Information Extraction},
  author={Fader, Anthony and Soderland, Stephen and Etzioni, Oren},
  booktitle={Proceedings of the Conference on Empirical Methods in Natural Language Processing, EMNLP ’11},
  pages={1535--1545},
  year={2011},
  organization={Association for Computational Linguistics}
}

@inproceedings{fountain2011incremental,
  title={Incremental Models of Natural Language Category Acquisition},
  author={Fountain, T. and Lapata, M.},
  booktitle={Proceedings of the 32st Annual Conference of the Cognitive Science Society},
  year={2011}
}

@inproceedings{garrette2011integrating,
  title={Integrating logical representations with probabilistic information using markov logic},
  author={Garrette, D. and Erk, K. and Mooney, R.},
  booktitle={Proceedings of the Ninth International Conference on Computational Semantics},
  pages={105--114},
  year={2011},
  organization={Association for Computational Linguistics}
}

@misc{graff2003english,
  title={English gigaword},
  author={Graff, D. and Kong, J. and Chen, K. and Maeda, K.},
  year={2003},
  publisher={Linguistic Data Consortium, Philadelphia}
}

@inproceedings{grefenstette2011concrete,
  title={Concrete sentence spaces for compositional distributional models of meaning},
  author={Grefenstette, Edward and Sadrzadeh, Mehrnoosh and Clark, Stephen and Coecke, Bob and Pulman, Stephen},
  booktitle={Computational Semantics IWCS 2011},
  page={125},
  year={2011}
}

@article{hockenmaier2007ccgbank,
  title={CCGbank: a corpus of CCG derivations and dependency structures extracted from the penn treebank},
  author={Hockenmaier, Julia and Steedman, Mark},
  journal={Computational Linguistics},
  volume={33},
  number={3},
  pages={355--396},
  year={2007}
}

@inproceedings{honnibal2010rebanking,
  title={Rebanking CCGbank for improved NP interpretation},
  author={Honnibal, M. and Curran, J.R. and Bos, J.},
  booktitle={Proceedings of the 48th Annual Meeting of the Association for Computational Linguistics},
  pages={207--215},
  year={2010},
  organization={Association for Computational Linguistics}
}

@inproceedings{hovy2006ontonotes,
  title={Ontonotes: the 90\% solution},
  author={Hovy, E. and Marcus, M. and Palmer, M. and Ramshaw, L. and Weischedel, R.},
  booktitle={Proceedings of the Human Language Technology Conference of the NAACL, Companion Volume: Short Papers},
  pages={57--60},
  year={2006},
  organization={Association for Computational Linguistics}
}

@inproceedings{kingsbury2002treebank,
  title={From treebank to propbank},
  author={Kingsbury, P. and Palmer, M.},
  booktitle={Proceedings of the 3rd International Conference on Language Resources and Evaluation (LREC-2002)},
  pages={1989--1993},
  year={2002},
  organization={Citeseer}
}

@inproceedings{kipper2000class,
  title={Class-based construction of a verb lexicon},
  author={Kipper, K. and Dang, H.T. and Palmer, M.},
  booktitle={Proceedings of the National Conference on Artificial Intelligence},
  pages={691--696},
  year={2000},
  publisher={AAAI Press; MIT Press}
}

@inproceedings{krishnamurthy2012weakly,
  title={Weakly supervised training of semantic parsers},
  author={Krishnamurthy, Jayant and Mitchell, Tom M.},
  booktitle={Proceedings of the 2012 Joint Conference on Empirical Methods in Natural Language Processing and Computational Natural Language Learning},
  pages={754--765},
  year={2012},
  organization={Association for Computational Linguistics}
}

@inproceedings{liang2011learning,
  title={Learning dependency-based compositional semantics},
  author={Liang, P. and Jordan, M.I. and Klein, D.},
  booktitle={Proc. Association for Computational Linguistics (ACL)},
  year={2011}
}

@inproceedings{lin2001dirt,
  title={DIRT - Discovery of Inference Rules from Text},
  author={Lin, Dekang and Pantel, Patrick},
  booktitle={Proceedings of the ACM SIGKDD Conference on Knowledge Discovery and Data Mining},
  pages={323--328},
  year={2001}
}

@inproceedings{macartney2007natural,
  title={Natural logic for textual inference},
  author={MacCartney, Bill and Manning, Christopher D.},
  booktitle={Proceedings of the ACL-PASCAL Workshop on Textual Entailment and Paraphrasing},
  pages={193--200},
  year={2007},
  organization={Association for Computational Linguistics}
}

@misc{mccallum2002mallet,
  title={Mallet: A machine learning for language toolkit},
  author={McCallum, Andrew Kachites},
  year={2002},
  howpublished={\url{http://mallet.cs.umass.edu}}
}

@misc{mccune2005prover9,
  title={Prover9 and Mace4},
  author={McCune, W.},
  year={2005},
  howpublished={\url{http://cs.unm.edu/~mccune/mace4/}}
}

@article{miller1995wordnet,
  title={Wordnet: a lexical database for english},
  author={Miller, G.A.},
  journal={Communications of the ACM},
  volume={38},
  number={11},
  pages={39--41},
  year={1995}
}

@inproceedings{mintz2009distant,
  title={Distant supervision for relation extraction without labeled data},
  author={Mintz, M. and Bills, S. and Snow, R. and Jurafsky, D.},
  booktitle={Proceedings of the Joint Conference of the 47th Annual Meeting of the ACL and the 4th International Joint Conference on Natural Language Processing of the AFNLP: Volume 2-Volume 2},
  pages={1003--1011},
  year={2009},
  organization={Association for Computational Linguistics}
}

@inproceedings{mitchell2008vector,
  title={Vector-based models of semantic composition},
  author={Mitchell, J. and Lapata, M.},
  booktitle={proceedings of ACL-08: HLT},
  pages={236--244},
  year={2008}
}

@article{neal2000markov,
  title={Markov chain sampling methods for dirichlet process mixture models},
  author={Neal, R.M.},
  journal={Journal of computational and graphical statistics},
  volume={9},
  number={2},
  pages={249--265},
  year={2000}
}

@inproceedings{oseaghdha2010latent,
  title={Latent variable models of selectional preference},
  author={O'Seaghdha, D.O.},
  booktitle={Proceedings of the 48th Annual Meeting of the Association for Computational Linguistics},
  pages={435--444},
  year={2010},
  organization={Association for Computational Linguistics}
}

@inproceedings{poon2009unsupervised,
  title={Unsupervised semantic parsing},
  author={Poon, Hoifung and Domingos, Pedro},
  booktitle={Proceedings of the 2009 Conference on Empirical Methods in Natural Language Processing: Volume 1 - Volume 1},
  pages={1--10},
  year={2009},
  organization={Association for Computational Linguistics}
}

@inproceedings{poon2010unsupervised,
  title={Unsupervised ontology induction from text},
  author={Poon, Hoifung and Domingos, Pedro},
  booktitle={Proceedings of the 48th Annual Meeting of the Association for Computational Linguistics},
  pages={296--305},
  year={2010},
  organization={Association for Computational Linguistics}
}

@inproceedings{ritter2010latent,
  title={A latent dirichlet allocation method for selectional preferences},
  author={Ritter, A. and Etzioni, O. and others},
  booktitle={Proceedings of the 48th Annual Meeting of the Association for Computational Linguistics},
  pages={424--434},
  year={2010},
  organization={Association for Computational Linguistics}
}

@inproceedings{schoenmackers2010learning,
  title={Learning first-order horn clauses from web text},
  author={Schoenmackers, Stefan and Etzioni, Oren and Weld, Daniel S. and Davis, Jesse},
  booktitle={Proceedings of the 2010 Conference on Empirical Methods in Natural Language Processing},
  pages={1088--1098},
  year={2010},
  organization={Association for Computational Linguistics}
}

@inproceedings{socher2012semantic,
  title={Semantic compositionality through recursive matrix-vector spaces},
  author={Socher, R. and Huval, B. and Manning, C.D. and Ng, A.Y.},
  booktitle={Proceedings of the 2012 Joint Conference on Empirical Methods in Natural Language Processing and Computational Natural Language Learning},
  pages={1201--1211},
  year={2012},
  organization={Association for Computational Linguistics}
}

% minsky and papert
@book{minsky1969perceptrons,
  title={Perceptrons: An Introduction to Computational Geometry},
  author={Minsky, Marvin and Papert, Seymour},
  year={1969},
  publisher={MIT Press}
}

% symbolic a.i.
@book{pereira1987prolog,
  title={Prolog and Natural-Language Analysis},
  author={Pereira, Fernando C. N. and Shieber, Stuart M.},
  isbn={9780937073186},
  series={CSLI Lecture Notes 10},
  publisher={Center for the Study of Language and Information - CSLI},
  year={1987}
}

@article{lenat1990blk,
  title={Building Large Knowledge-Based Systems: Representation and Inference in the Cyc Project},
  author={Lenat, D.B. and Guha, R.V.},
  year={1990},
  publisher={Addison Wesley Publishing Company}
}

@misc{wiki:freebase,
  author = {{Wikipedia contributors}},
  title = {Freebase {(database)} --- {Wikipedia}{,} The Free Encyclopedia},
  year = {2023},
  howpublished = {\url{https://en.wikipedia.org/wiki/Freebase_(database)}},
  note = {[Online; accessed 28-December-2023]}
}

% markov logic network
@article{richardson2006markov,
  title={Markov logic networks},
  author={Richardson, Matthew and Domingos, Pedro},
  journal={Machine learning},
  volume={62},
  pages={107--136},
  year={2006},
  publisher={Springer}
}

% chomsky's rule-based syntax-first approach (for comparison only)
@book{Chomsky1957SyntacticStructures,
  author    = {Noam Chomsky},
  title     = {Syntactic Structures},
  publisher = {Mouton},
  year      = {1957},
  address   = {The Hague},
}

@book{Chomsky1981GovernmentAndBinding,
  author    = {Noam Chomsky},
  title     = {Lectures on Government and Binding},
  publisher = {Foris Publications},
  year      = {1981},
  address   = {Dordrecht},
}

@book{Chomsky1995MinimalistProgram,
  author    = {Noam Chomsky},
  title     = {The Minimalist Program},
  publisher = {MIT Press},
  year      = {1995},
  address   = {Cambridge, MA},
}

% most similar work to quantified bayesian networks
@article{LASKEY2008140,
title = {MEBN: A language for first-order Bayesian knowledge bases},
journal = {Artificial Intelligence},
volume = {172},
number = {2},
pages = {140-178},
year = {2008},
issn = {0004-3702},
doi = {https://doi.org/10.1016/j.artint.2007.09.006},
url = {https://www.sciencedirect.com/science/article/pii/S0004370207001312},
author = {Kathryn Blackmond Laskey},
keywords = {Bayesian network, Graphical probability models, Knowledge representation, Multi-entity Bayesian network, Probabilistic logic, Uncertainty in artificial intelligence},
abstract = {Although classical first-order logic is the de facto standard logical foundation for artificial intelligence, the lack of a built-in, semantically grounded capability for reasoning under uncertainty renders it inadequate for many important classes of problems. Probability is the best-understood and most widely applied formalism for computational scientific reasoning under uncertainty. Increasingly expressive languages are emerging for which the fundamental logical basis is probability. This paper presents Multi-Entity Bayesian Networks (MEBN), a first-order language for specifying probabilistic knowledge bases as parameterized fragments of Bayesian networks. MEBN fragments (MFrags) can be instantiated and combined to form arbitrarily complex graphical probability models. An MFrag represents probabilistic relationships among a conceptually meaningful group of uncertain hypotheses. Thus, MEBN facilitates representation of knowledge at a natural level of granularity. The semantics of MEBN assigns a probability distribution over interpretations of an associated classical first-order theory on a finite or countably infinite domain. Bayesian inference provides both a proof theory for combining prior knowledge with observations, and a learning theory for refining a representation as evidence accrues. A proof is given that MEBN can represent a probability distribution on interpretations of any finitely axiomatizable first-order theory.}
}

@book{Getoor2007,
  title={Introduction to statistical relational learning},
  author={Getoor, L. and Taskar, B.},
  year={2007},
  publisher={MIT press}
}

@inproceedings{Wright2002,
  title={Multi-Entity Bayesian Networks for Situation Assessment},
  author={Wright, E. and Mahoney, S. M. and Laskey, K. B. and Takikawa, M. and Levitt, T.},
  booktitle={Proceedings of the Fifth International Conference on Information Fusion},
  year={2002}
}

@inproceedings{Taskar2002,
  title={Discriminative probabilistic models for relational data},
  author={Taskar, B. and Abbeel, P. and Koller, D.},
  booktitle={Proceedings of the Eighteenth conference on Uncertainty in artificial intelligence},
  pages={485-492},
  year={2002},
  organization={Morgan Kaufmann Publishers Inc.}
}

@book{Pearl1988,
  title={Probabilistic Reasoning in Intelligent Systems: Networks of Plausible Inference},
  author={Pearl, J.},
  year={1988},
  publisher={Morgan Kaufmann Publishers},
  address={San Mateo, CA, USA}
}

@article{Poole1993,
  title={Probabilistic Horn abduction and Bayesian networks},
  author={Poole, D.},
  journal={Artificial Intelligence},
  year={1993},
  volume={64},
  number={1},
  pages={81-129}
}

@article{Patnaikuni2017,
  title={Survey of Multi Entity Bayesian Networks (MEBN) and its applications in probabilistic reasoning},
  author={Patnaikuni, P. and Shrinivasan, R. and Gengaje, S. R.},
  journal={International Journal of Advanced Research in Computer Science},
  year={2017},
  volume={8},
  number={5}
}

@inproceedings{Park2016b,
  title={A Process for Human-aided Multi-Entity Bayesian Networks Learning in Predictive Situation Awareness},
  author={Park, C. Y. and Laskey, K. B. and Costa, P. C. and Matsumoto, S.},
  booktitle={Information Fusion (FUSION)},
  year={2016}
}

@article{Pan2000,
  title={Fuzzy bayesian networks—a general formalism for representation, inference and learning with hybrid bayesian networks},
  author={Pan, H. and Liu, L.},
  journal={International Journal of Pattern Recognition and Artificial Intelligence},
  year={2000},
  volume={14},
  number={07},
  pages={941-962}
}

@article{Murphy2002,
  title={Dynamic bayesian networks: representation, inference and learning},
  author={Murphy, K. P. and Russell, S.},
  year={2002}
}

% bayes net references
@book{darwiche2009modeling,
  title={Modeling and Reasoning with Bayesian Networks},
  author={Darwiche, Adnan},
  year={2009},
  publisher={Cambridge University Press}
}

% natural deduction (a formal logic proof system similar to QBN)

@book{PrawitzNaturalDeduction,
  title = {Natural Deduction: A Proof-Theoretical Study},
  author = {Prawitz, Dag},
  series = {Stockholm Studies in Philosophy 3},
  publisher = {Almqvist & Wiksell},
  address = {Stockholm; Göteborg; Uppsala},
  year = {Unknown},
  note = {Acta Universitatis Stockholmiensis}
}

@book{NegriPlato2001,
  title = {Structural Proof Theory},
  author = {Negri, Sara and von Plato, Jan},
  year = {2001},
  publisher = {Cambridge University Press},
  address = {Cambridge},
  isbn = {978-0-521-79307-0},
  note = {Hardback; ISBN 978-0-521-06842-0 Paperback},
  url = {www.cambridge.org/9780521793070},
  libraryOfCongressNumber = {QA9.54. N44 2001},
  doi = {00-040327}
}

@book{AndersonJohnstone1962NaturalDeduction,
  title = {Natural Deduction: The Logical Basis of Axiom Systems},
  author = {Anderson, John M. and Johnstone, Henry W. Jr.},
  year = {1962},
  publisher = {Wadsworth Publishing},
  address = {Belmont, CA},
  condition = {Very Good},
  edition = {Hardcover}
}

@book{Indrzejczak2021,
  title = {Sequents and Trees: An Introduction to the Theory and Applications of Propositional Sequent Calculi},
  author = {Indrzejczak, Andrzej},
  year = {2021},
  publisher = {Springer Nature Switzerland AG},
  address = {Cham, Switzerland},
  series = {Studies in Universal Logic},
  isbn = {978-3-030-57144-3},
  doi = {10.1007/978-3-030-57145-0},
  url = {https://doi.org/10.1007/978-3-030-57145-0},
  issn = {2297-0282},
  eissn = {2297-0290},
  mathematicsSubjectClassification = {03F03, 03F05, 03F07, 03F52, 03B05, 03B35, 03B45, 03B50, 03B20, 03B53, 03B70},
  note = {Published under the imprint Birkhäuser},
  location = {University of Łódź, Łódź, Poland}
}

@article{Pelletier1999-FRAABH,
	author = {Francis Jeffry Pelletier},
	doi = {10.1080/014453499298165},
	journal = {History and Philosophy of Logic},
	number = {1},
	pages = {1--31},
	publisher = {Taylor \& Francis Group},
	title = {A Brief History of Natural Deduction},
	volume = {20},
	year = {1999}
}