@inproceedings(bal07b, author = {Marcello Balduccini}, year = {2007}, title = {{CR-MODELS}: {A}n {I}nference {E}ngine for {CR-P}rolog}, booktitle = {Proceedings of LPNMR-07}, pages = {18--30}, doi = {10.1007/978-3-540-72200-7_4}, ) @article(bal13, author = {Marcello Balduccini}, year = {2013}, title = {{ASP} with non-{H}erbrand Partial Functions: a Language and System for Practical Use}, journal = {Theory and Practice of Logic Programming}, volume = {13}, number = {4--5}, pages = {547--561}, doi = {10.1017/S1471068413000343}, ) @article(bg03d, author = {Marcello Balduccini and Michael Gelfond}, year = {2003}, title = {Diagnostic {R}easoning with {A}-{P}rolog}, journal = {Theory and Practice of Logic Programming}, volume = {3}, pages = {425--461}, doi = {10.1017/S1471068403001807}, ) @inproceedings(bg03a, author = {Marcello Balduccini and Michael Gelfond}, year = {2003}, title = {{L}ogic {P}rograms with {C}onsistency-{R}estoring {R}ules}, booktitle = {Proceedings of Commonsense-03}, publisher = {{AAAI} {P}ress}, pages = {9--18}, ) @inproceedings(bg08, author = {Marcello Balduccini and Michael Gelfond}, year = {2008}, title = {The {AAA} Architecture: An Overview}, booktitle = {Architectures for Intelligent Theory-Based Agents, Papers from the 2008 {AAAI} Spring Symposium, 2008}, publisher = {{AAAI} {P}ress}, pages = {1--6}, doi = {10.1.1.329.3633}, ) @inproceedings(bpc01, author = {Ken Barker and Bruce Porter and Peter Clark}, year = {2001}, title = {A {L}ibrary of {G}eneric {C}oncepts for {C}omposing {K}nowledge {B}ases}, booktitle = {Proceedings of the First International Conference on Knowledge Capture}, series = {K-CAP '01}, publisher = {ACM}, address = {New York, NY, USA}, pages = {14--21}, doi = {10.1145/500737.500744}, ) @techreport(ccmpst09, author = {Vinay K. Chaudhri and Peter E. Clark and Sunil Mishra and John Pacheco and Aaron Spaulding and Jing Tien}, year = {2009}, title = {AURA: Capturing Knowledge and Answering Questions on Science Textbooks}, type = {Technical Report}, institution = {SRI International}, ) @inproceedings(cjmpps07, author = {Vinay K. Chaudhri and Bonnie E. John and Sunil Mishra and John Pacheco and Bruce Porter and Aaron Spaulding}, year = {2007}, title = {Enabling Experts to Build Knowledge Bases from Science Textbooks}, booktitle = {Proceedings of the Fourth International Conference on Knowledge Capture}, series = {K-CAP '07}, publisher = {ACM}, address = {New York, NY, USA}, pages = {159--166}, doi = {10.1145/1298406.1298435}, ) @inproceedings(ccbchjpsty07, author = {Peter Clark and {Shaw-yi} Chaw and Ken Barker and Vinay Chaudhri and Phil Harrison and Bonnie John and Bruce Porter and Aaron Spaulding and John Thompson and Peter Z. Yeh}, year = {2007}, title = {Capturing and Answering Questions Posed to a Knowledge-Based System}, booktitle = {Proceedings of Fourth International Conference on Knowledge Capture}, series = {K-CAP '07}, publisher = {ACM}, address = {New York, NY, USA}, doi = {10.1145/1298406.1298419}, ) @misc(cp04, author = {Peter E. Clark and Bruce Porter}, year = {2004}, title = {{KM} -- {T}he {K}nowledge {M}achine 2.0: {U}sers {M}anual}, howpublished = {Retrieved from the web page: http://www.cs.utexas.edu/users/mfkb/km/userman.pdf}, ) @misc(c78, author = {Richard E. Cullingford}, year = {1978}, title = {Script application: Computer understanding of newspaper stories}, howpublished = {Research Report 116}, ) @article(dbmrw96, author = {John Daly and Andrew Brooks and James Miller and Marc Roper and Murray Wood}, year = {1996}, title = {Evaluating inheritance depth on the maintainability of object-oriented software}, journal = {Empirical Software Engineering}, volume = {1}, number = {2}, pages = {109--132}, doi = {10.1007/BF00368701}, ) @incollection(el06, author = {Erdo\v{g}an, Selim and Vladimir Lifschitz}, year = {2006}, title = {Actions as Special Cases}, booktitle = {Principles of Knowledge Representation and Reasoning: Proceedings of the International Conference}, publisher = {AAAI Press}, pages = {377--387}, ) @phdthesis(thesiser08, author = {Erdo\v{g}an, Selim Turhan}, year = {2008}, title = {A {L}ibrary of {G}eneral-{P}urpose {A}ction {D}escriptions}, school = {University of Texas at Austin}, address = {Austin, TX, USA}, ) @incollection(f05, author = {Christiane Fellbaum}, year = {2005}, title = {WordNet and Wordnets}, editor = {Keith Brown}, booktitle = {Encyclopedia of Language and Linguistics, Second Edition}, publisher = {Elsevier}, pages = {665--670}, ) @article(gl91, author = {Michael Gelfond and Vladimir Lifschitz}, year = {1991}, title = {{C}lassical {N}egation in {L}ogic {P}rograms and {D}isjunctive {D}atabases}, journal = {New Generation Computing}, volume = {9}, number = {3/4}, pages = {365--386}, doi = {10.1007/BF03037169}, ) @article(gl93, author = {Michael Gelfond and Vladimir Lifschitz}, year = {1993}, title = {{R}epresenting {A}ction and {C}hange by {L}ogic {P}rograms}, journal = {Journal of Logic Programming}, volume = {17}, number = {2--4}, pages = {301--321}, doi = {10.1016/0743-1066(93)90035-F}, ) @article(gl98, author = {Michael Gelfond and Vladimir Lifschitz}, year = {1998}, title = {{A}ction languages}, journal = {Electronic Transactions on AI}, volume = {3}, number = {16}, pages = {193--210}, ) @inproceedings(di15, author = {Daniela Inclezan}, year = {2015}, title = {On the Relationship Between Two Modular Action Languages: {A} Translation from {MAD} into {ALM}}, editor = {Francesco Calimeri and Giovambattista Ianni and Miroslaw Truszczynski}, booktitle = {Logic Programming and Nonmonotonic Reasoning - 13th International Conference, {LPNMR} 2015, Lexington, KY, USA, September 27-30, 2015. Proceedings}, series = {Lecture Notes in Computer Science}, volume = {9345}, publisher = {Springer}, pages = {411--424}, doi = {10.1007/978-3-319-23264-5_34}, ) @article(di16, author = {Daniela Inclezan}, year = {2016}, title = {Core{ALM}lib: 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 {A}ction {L}anguage {ALM}}, journal = {Theory and Practice of Logic Programming}, volume = {16}, number = {2}, pages = {189–--235}, doi = {10.1017/S1471068415000095}, ) @inproceedings(izbi18, author = {Daniela Inclezan and Qinglin Zhang and Marcello Balduccini and Ankush Israney}, year = {2018}, title = {An {ASP} Methodology for Understanding Narratives about Stereotypical Activities}, volume = {18}, pages = {535--552}, doi = {10.1017/S1471068418000121}, ) @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}, ) @inproceedings(verbnet.2006, author = {Karen Kipper and Anna Korhonen and Neville Ryant and Martha Palmer}, year = {2006}, title = {Extending VerbNet with Novel Verb Classes}, booktitle = {Proceedings of the Fifth International Conference on Language Resources and Evaluation -- LREC'06}, volume = {2.2}, pages = {1}, ) @phdthesis(KipperPhd05, author = {Kipper-Schuler, Karin}, year = {2005}, title = {VerbNet: A Broad-Coverage, Comprehensive Verb Lexicon}, school = {University of Pennsylvania}, ) @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, Montpellier, France, September 19 - 22, 2017}, ) @inproceedings(lr06, author = {Vladimir Lifschitz and Wanwan Ren}, year = {2006}, title = {{A} {M}odular {A}ction {D}escription {L}anguage}, series = {Proceedings of the 21st National Conference on Artificial Intelligence (AAAI)}, pages = {853--859}, ) @incollection(McCHay69, author = {John McCarthy and Patrick J. Hayes}, year = {1969}, title = {{S}ome {P}hilosophical {P}roblems from the {S}tandpoint of {A}rtificial {I}ntelligence}, editor = {B. Meltzer and D. Michie}, booktitle = {Machine Intelligence 4}, publisher = {Edinburgh University Press}, pages = {463--502}, doi = {10.1016/B978-0-934613-03-3.50033-7}, ) @article(m07, author = {Erik T. Mueller}, year = {2007}, title = {Modelling Space and Time in Narratives about Restaurants}, journal = {Literary and Linguistic Computing}, volume = {22}, number = {1}, pages = {67--84}, doi = {10.1093/llc/fql014}, ) @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}, ) @book(sa77, author = {R. C. Schank and R. P. Abelson}, year = {1977}, title = {Scripts, Plans, Goals, and Understanding: An Inquiry into Human Knowledge Structures}, publisher = {Lawrence Erlbaum}, ) @article(zbi18, author = {Qinglin Zhang and Chris Benton and Daniela Inclezan}, year = {2019}, title = {An Application of {ASP} Theories of Intentions to Understanding Restaurant Scenarios: Insights and Narrative Corpus}, journal = {Theory and Practice of Logic Programming}, pages = {1--21}, doi = {10.1017/S1471068419000048}, ) @inproceedings(zi17, author = {Qinglin Zhang and Daniela Inclezan}, year = {2017}, title = {An Application of {ASP} Theories of Intentions to Understanding Restaurant Scenarios}, booktitle = {Proceedings of PAoASP'17}, )