@inproceedings(bal13,
 author       = {Evgenii Balai and Michael Gelfond and Yuanlin Zhang},
 year         = {2013},
 title        = {Towards Answer Set Programming with Sorts},
 editor       = {Pedro Cabalar and Tran Cao Son},
 booktitle    = {Logic Programming and Nonmonotonic Reasoning},
 publisher    = {Springer Berlin Heidelberg},
 address      = {Berlin, Heidelberg},
 pages        = {135--147},
 doi          = {10.1007/978-3-540-72200-7\_4},
)
@article(BarkerPC01,
 author       = {Ken Barker and Bruce Porter and Peter Clark},
 year         = {2001},
 title        = {{A Library of Generic Concepts for Composing Knowledge Bases}},
 journal      = {Proceedings of the 1st International Conference on Knowledge Capture - K-CAP},
 pages        = {14--21},
 doi          = {10.1145/500742.500744},
 url          = {http://portal.acm.org/citation.cfm?doid=500737.500744 http://www.cs.utexas.edu/users/mfkb/papers/kcap01.pdf},
)
@misc(BonialSP13,
 author       = {Claire Bonial and Kevin Stowe and Martha Palmer},
 year         = {2013},
 title        = {{SemLink}},
 howpublished = {\url{https://verbs.colorado.edu/semlink/}},
)
@article(ClarkDT14,
 author       = {Peter Clark and Bhavana Dalvi and Niket Tandon},
 year         = {2018},
 title        = {What Happened? {L}everaging {V}erb{N}et to Predict the Effects of Actions in Procedural Text},
 journal      = {CoRR},
 volume       = {abs/1804.05435},
 url          = {http://arxiv.org/abs/1804.05435},
)
@article(FikesN71,
 author       = {Richard E. Fikes and Nils J. Nilsson},
 year         = {1971},
 title        = {{Strips: A new approach to the application of theorem proving to problem solving}},
 journal      = {Artificial Intelligence},
 volume       = {2},
 number       = {3-4},
 pages        = {189--208},
 doi          = {10.1016/0004-3702(71)90010-5},
)
@inproceedings(gel88,
 author       = {Michael Gelfond and Vladimir Lifschitz},
 year         = {1988},
 title        = {The stable model semantics for logic programming},
 editor       = {Robert Kowalski and Kenneth Bowen},
 booktitle    = {Proceedings of International Logic Programming Conference and Symposium},
 publisher    = {MIT Press},
 pages        = {1070--1080},
)
@article(Inclezan16,
 author       = {Daniela Inclezan},
 year         = {2016},
 title        = {{CoreALMlib: An ALM library translated from the Component Library}},
 journal      = {Theory and Practice of Logic Programming},
 volume       = {16},
 number       = {5-6},
 pages        = {800--816},
 doi          = {10.1017/S1471068416000363},
)
@article(ig16,
 author       = {Daniela Inclezan and Michael Gelfond},
 year         = {2016},
 title        = {Modular action language {ALM}},
 journal      = {{TPLP}},
 volume       = {16},
 number       = {2},
 pages        = {189--235},
 doi          = {10.1017/S1471068415000095},
)
@inproceedings(lth,
 author       = {Richard Johansson and Pierre Nugues},
 year         = {2007},
 title        = {LTH: Semantic Structure Extraction using Nonprojective Dependency Trees},
 booktitle    = {Proceedings of the Fourth International Workshop on Semantic Evaluations (SemEval-2007)},
 publisher    = {Association for Computational Linguistics},
 address      = {Prague, Czech Republic},
 pages        = {227--230},
 doi          = {10.3115/1621474.1621522},
 url          = {http://www.aclweb.org/anthology/S/S07/S07-1048},
)
@book(kampreyle93,
 author       = {Hans Kamp and Uwe Reyle},
 year         = {1993},
 title        = {From discourse to logic},
 volume       = {1,2},
 publisher    = {Kluwer},
 doi          = {10.1007/978-94-011-2066-1},
)
@phdthesis(KipperPhd05,
 author       = {Kipper-Schuler, Karin},
 year         = {2005},
 title        = {Verb{N}et: A Broad-Coverage, Comprehensive Verb Lexicon},
 school       = {University of Pennsylvania},
)
@article(Leibniz95,
 author       = {Gottfried Wilhelm Leibniz},
 year         = {1995},
 title        = {{Philosophical Writings}},
 journal      = {Everyman},
)
@inproceedings(LierlerIG17,
 author       = {Yuliya Lierler and Daniela Inclezan and Michael Gelfond},
 year         = {2017},
 title        = {Action Languages and Question Answering},
 booktitle    = {{IWCS} 2017 - 12th International Conference on Computational Semantics - Short papers},
)
@misc(Ling18,
 author       = {Gang Ling},
 year         = {2018},
 title        = {{From Narrative Text to VerbNet-Based DRSes: System Text2DRS}},
 howpublished = {Project Report, \url{https://www.unomaha.edu/college-of-information-science-and-technology/natural-language-processing-and-knowledge-representation-lab/_files/papers/Text2Drses_system_description.pdf}},
)
@article(ManningSBFBM14,
 author       = {Christopher D Manning and Mihai Surdeanu and John Bauer and Jenny Finkel and Steven Bethard and David McClosky},
 year         = {2014},
 title        = {{The Stanford CoreNLP Natural Language Processing Toolkit}},
 journal      = {Proceedings of 52nd Annual Meeting of the Association for Computational Linguistics: System Demonstrations},
 pages        = {55--60},
 doi          = {10.3115/v1/P14-5010},
 url          = {http://aclweb.org/anthology/P14-5010},
)
@article(MishraDHTYC18,
 author       = {Bhavana Dalvi Mishra and Lifu Huang and Niket Tandon and Wen{-}tau Yih and Peter Clark},
 year         = {2018},
 title        = {Tracking State Changes in Procedural Text: {A} Challenge Dataset and Models for Process Paragraph Comprehension},
 journal      = {CoRR},
 volume       = {abs/1805.06975},
 url          = {http://arxiv.org/abs/1805.06975},
)
@inproceedings(MitraB16,
 author       = {Arindam Mitra and Chitta Baral},
 year         = {2016},
 title        = {{Addressing a Question Answering Challenge by Combining Statistical Methods with Inductive Rule Learning and Reasoning}},
 booktitle    = {{AAAI} Conference on Artificial Intelligence},
 publisher    = {{AAAI} Press},
 pages        = {2779-2785},
)
@mastersthesis(Olson19,
 author       = {Craig Olson},
 year         = {2019},
 title        = {{Processing Narratives by Means of Action Languages}},
 school       = {University of Nebraska Omaha},
)
@misc(Palmer18,
 author       = {Martha Palmer},
 year         = {2018},
 title        = {{VerbNet}},
 howpublished = {\url{https://verbs.colorado.edu/verb-index/vn3.3/}},
)
@article(propbank,
 author       = {Martha Palmer and Daniel Gildea and Paul Kingsbury},
 year         = {2005},
 title        = {The Proposition Bank: An Annotated Corpus of Semantic Roles},
 journal      = {Computational Linguistics},
 volume       = {31},
 number       = {1},
 pages        = {71--106},
 doi          = {10.1162/0891201053630264},
)
@misc(WertzCZ18,
 author       = {Edward Wertz and Anuradha Chandrasekan and Yuanlin Zhang},
 year         = {2018},
 title        = {{CALM: a Compiler for Modular Action Language ALM}},
 howpublished = {unpublished draft},
)
@article(WestonBCM15,
 author       = {Jason Weston and Antoine Bordes and Sumit Chopra and Tomas Mikolov},
 year         = {2015},
 title        = {Towards {AI}-Complete Question Answering: {A} Set of Prerequisite Toy Tasks},
 journal      = {CoRR},
 volume       = {abs/1502.05698},
 url          = {http://arxiv.org/abs/1502.05698},
)