{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2026,1,10]],"date-time":"2026-01-10T18:49:01Z","timestamp":1768070941911,"version":"3.49.0"},"reference-count":23,"publisher":"Cambridge University Press (CUP)","issue":"5-6","license":[{"start":{"date-parts":[[2016,10,14]],"date-time":"2016-10-14T00:00:00Z","timestamp":1476403200000},"content-version":"unspecified","delay-in-days":43,"URL":"https:\/\/www.cambridge.org\/core\/terms"}],"content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":["Theory and Practice of Logic Programming"],"published-print":{"date-parts":[[2016,9]]},"abstract":"Abstract<\/jats:title>This paper presents Core<\/jats:sc>ALMlib<\/jats:sc>, an $\\mathscr{ALM}$<\/jats:tex-math><\/jats:alternatives><\/jats:inline-formula> library of commonsense knowledge about dynamic domains. The library was obtained by translating part of the Component Library<\/jats:sc> (CLib<\/jats:sc>) into the modular action language $\\mathscr{ALM}$<\/jats:tex-math><\/jats:alternatives><\/jats:inline-formula>. CLib<\/jats:sc> consists of general reusable and composable commonsense concepts, selected based on a thorough study of ontological and lexical resources. Our translation targets CLib<\/jats:sc>states<\/jats:italic> (i.e., fluents<\/jats:italic>) and actions<\/jats:italic>. The resulting $\\mathscr{ALM}$<\/jats:tex-math><\/jats:alternatives><\/jats:inline-formula> library contains the descriptions of 123 action classes grouped into 43 reusable modules that are organized into a hierarchy. It is made available online and of interest to researchers in the action language, answer-set programming, and natural language understanding communities. We believe that our translation has two main advantages over its CLib<\/jats:sc> counterpart: (i) it specifies axioms about actions in a more elaboration tolerant and readable way, and (ii) it can be seamlessly integrated with ASP reasoning algorithms (e.g., for planning and postdiction). In contrast, axioms are described in CLib<\/jats:sc> using STRIPS-like operators, and CLib<\/jats:sc>'s inference engine cannot handle planning nor postdiction.<\/jats:p>","DOI":"10.1017\/s1471068416000363","type":"journal-article","created":{"date-parts":[[2016,10,15]],"date-time":"2016-10-15T21:28:20Z","timestamp":1476566900000},"page":"800-816","source":"Crossref","is-referenced-by-count":7,"title":["Core<\/scp>ALMlib<\/scp>: An library translated from the Component Library<\/scp>"],"prefix":"10.1017","volume":"16","author":[{"given":"DANIELA","family":"INCLEZAN","sequence":"first","affiliation":[]}],"member":"56","published-online":{"date-parts":[[2016,10,14]]},"reference":[{"key":"S1471068416000363_ref22","first-page":"853","volume-title":"Proceedings of the Twenty-First National Conference on Artificial Intelligence (AAAI)","author":"Lifschitz","year":"2006"},{"key":"S1471068416000363_ref10","first-page":"377","volume-title":"Principles of Knowledge Representation and Reasoning: Proceedings of the International Conference","author":"Erdo\u01e7an","year":"2006"},{"key":"S1471068416000363_ref19","first-page":"49","volume-title":"Proceedings of the 2011 AAAI Spring Symposium on Formalizing Commonsense","author":"Inclezan","year":"2011"},{"key":"S1471068416000363_ref13","first-page":"1070","volume-title":"Proceedings of the International Conference on Logic Programming (ICLP'1988)","author":"Gelfond","year":"1988"},{"key":"S1471068416000363_ref18","first-page":"82","volume-title":"Proceedings of the AAAI 2015 Spring Symposium on Formalizing Commonsense","author":"Inclezan","year":"2015"},{"key":"S1471068416000363_ref9","unstructured":"Clark P. E. and Porter B. 2004. KM \u2013 The Knowledge Machine 2.0: Users Manual. Retrieved from the web page: http:\/\/www.cs.utexas.edu\/users\/mfkb\/km\/userman.pdf."},{"key":"S1471068416000363_ref21","unstructured":"Kipper-Schuler K. 2005. VerbNet: A broad-coverage, comprehensive verb lexicon. Ph.D. thesis, University of Pennsylvania."},{"key":"S1471068416000363_ref15","first-page":"193","article-title":"Action languages.","volume":"3","author":"Gelfond","year":"1998","journal-title":"Electronic Transactions on AI"},{"key":"S1471068416000363_ref4","doi-asserted-by":"crossref","unstructured":"Barker K. , Porter B. and Clark P. 2001. A library of generic concepts for composing knowledge bases. In Proceedings of the First International Conference on Knowledge Capture. K-CAP '01, ACM, New York, NY, USA, 14\u201321.","DOI":"10.1145\/500737.500744"},{"key":"S1471068416000363_ref7","doi-asserted-by":"crossref","unstructured":"Chaudhri V. K. , John B. E. , Mishra S. , Pacheco J. , Porter B. and Spaulding A. 2007. Enabling experts to build knowledge bases from science textbooks. In Proceedings of the Fourth International Conference on Knowledge Capture. K-CAP '07, ACM, New York, NY, USA, 159\u2013166.","DOI":"10.1145\/1298406.1298435"},{"key":"S1471068416000363_ref8","doi-asserted-by":"crossref","unstructured":"Clark P. , Chaw S. , Barker K. , Chaudhri V. , Harrison P. , John B. , Porter B. , Spaulding A. , Thompson J. and Yeh P. Z. 2007. Capturing and answering questions posed to a knowledge-based system. In Proceedings of Fourth International Conference on Knowledge Capture. K-CAP '07, ACM, New York, NY, USA.","DOI":"10.1145\/1298406.1298419"},{"key":"S1471068416000363_ref1","unstructured":"Baker C. F. , Fillmore C. J. and Lowe J. B. 1998. The Berkeley FrameNet Project. In Proceedings of the 36th Annual Meeting of the Association for Computational Linguistics and 17th International Conference on Computational Linguistics - Volume 1, Association for Computational Linguistics and Morgan Kaufmann Publishers, San Mateo, CA, 86\u201390."},{"key":"S1471068416000363_ref5","first-page":"183","article-title":"Three lessons in creating a knowledge base to enable explanation, reasoning and dialog","volume":"3","author":"Chaudhri","year":"2014","journal-title":"Advances in Cognitive Systems"},{"key":"S1471068416000363_ref6","unstructured":"Chaudhri V. K. , Clark P. E. , Mishra S. , Pacheco J. , Spaulding A. and Tien J. 2009. Aura: Capturing knowledge and answering questions on science textbooks. Tech. rep., SRI International."},{"key":"S1471068416000363_ref17","doi-asserted-by":"publisher","DOI":"10.1609\/aimag.v31i3.2302"},{"key":"S1471068416000363_ref14","doi-asserted-by":"publisher","DOI":"10.1007\/BF03037169"},{"key":"S1471068416000363_ref2","doi-asserted-by":"publisher","DOI":"10.1017\/S1471068413000343"},{"key":"S1471068416000363_ref3","doi-asserted-by":"publisher","DOI":"10.1017\/S1471068403001807"},{"key":"S1471068416000363_ref12","doi-asserted-by":"publisher","DOI":"10.1017\/CBO9781139342124"},{"key":"S1471068416000363_ref16","doi-asserted-by":"publisher","DOI":"10.1017\/S1471068414000222"},{"key":"S1471068416000363_ref23","doi-asserted-by":"publisher","DOI":"10.1093\/ijl\/3.4.235"},{"key":"S1471068416000363_ref20","doi-asserted-by":"publisher","DOI":"10.1017\/S1471068415000095"},{"key":"S1471068416000363_ref11","unstructured":"Erdo\u01e7an S. T. 2008. A Library of General-Purpose Action Descriptions. Ph.D. thesis, University of Texas at Austin, Austin, TX, USA."}],"container-title":["Theory and Practice of Logic Programming"],"original-title":[],"language":"en","link":[{"URL":"https:\/\/www.cambridge.org\/core\/services\/aop-cambridge-core\/content\/view\/S1471068416000363","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2019,4,19]],"date-time":"2019-04-19T00:42:19Z","timestamp":1555634539000},"score":1,"resource":{"primary":{"URL":"https:\/\/www.cambridge.org\/core\/product\/identifier\/S1471068416000363\/type\/journal_article"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2016,9]]},"references-count":23,"journal-issue":{"issue":"5-6","published-print":{"date-parts":[[2016,9]]}},"alternative-id":["S1471068416000363"],"URL":"https:\/\/doi.org\/10.1017\/s1471068416000363","relation":{},"ISSN":["1471-0684","1475-3081"],"issn-type":[{"value":"1471-0684","type":"print"},{"value":"1475-3081","type":"electronic"}],"subject":[],"published":{"date-parts":[[2016,9]]}}}