References

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

Comments and questions to: eptcs@eptcs.org
For website issues: webmaster@eptcs.org