{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2022,4,1]],"date-time":"2022-04-01T18:37:00Z","timestamp":1648838220951},"reference-count":23,"publisher":"Springer Science and Business Media LLC","issue":"4","license":[{"start":{"date-parts":[[2014,9,20]],"date-time":"2014-09-20T00:00:00Z","timestamp":1411171200000},"content-version":"tdm","delay-in-days":0,"URL":"http:\/\/www.springer.com\/tdm"}],"content-domain":{"domain":["link.springer.com"],"crossmark-restriction":false},"short-container-title":["AI & Soc"],"published-print":{"date-parts":[[2015,11]]},"DOI":"10.1007\/s00146-014-0555-6","type":"journal-article","created":{"date-parts":[[2014,9,19]],"date-time":"2014-09-19T09:10:31Z","timestamp":1411117831000},"page":"537-547","update-policy":"http:\/\/dx.doi.org\/10.1007\/springer_crossmark_policy","source":"Crossref","is-referenced-by-count":1,"title":["An Answer Set Prolog formalization of shikake principles and examples"],"prefix":"10.1007","volume":"30","author":[{"given":"Daniela","family":"Inclezan","sequence":"first","affiliation":[]}],"member":"297","published-online":{"date-parts":[[2014,9,20]]},"reference":[{"issue":"4\u20135","key":"555_CR1","doi-asserted-by":"crossref","first-page":"425","DOI":"10.1017\/S1471068403001807","volume":"3","author":"M Balduccini","year":"2003","unstructured":"Balduccini M, Gelfond M (2003) Diagnostic reasoning with A-Prolog. Theory Pract Logic Program 3(4\u20135):425\u2013461","journal-title":"Theory Pract Logic Program"},{"issue":"4\u20136","key":"555_CR2","doi-asserted-by":"crossref","first-page":"725","DOI":"10.1017\/S1471068410000384","volume":"10","author":"M Balduccini","year":"2010","unstructured":"Balduccini M, Girotto S (2010) Formalization of psychological knowledge in answer set programming and its application. Theory Pract Logic Program 10(4\u20136):725\u2013740","journal-title":"Theory Pract Logic Program"},{"key":"555_CR3","doi-asserted-by":"crossref","DOI":"10.1017\/CBO9780511543357","volume-title":"Knowledge representation, reasoning, and declarative problem solving","author":"C Baral","year":"2003","unstructured":"Baral C (2003) Knowledge representation, reasoning, and declarative problem solving. Cambridge University Press, Cambridge"},{"issue":"20","key":"555_CR4","doi-asserted-by":"crossref","first-page":"73","DOI":"10.1016\/0743-1066(94)90025-6","volume":"19","author":"C Baral","year":"1994","unstructured":"Baral C, Gelfond M (1994) Logic programming and knowledge representation. J Logic Program 19(20):73\u2013148","journal-title":"J Logic Program"},{"key":"555_CR5","unstructured":"Baral C, Gelfond M (2005) Reasoning about intended actions. In: Proceedings of the 20th national conference on artificial intelligence (AAAI05), pp 689\u2013694"},{"key":"555_CR6","unstructured":"Erdo\u011fan ST (2008) A library of general-purpose action descriptions. Ph.D. thesis, The University of Texas at Austin"},{"key":"555_CR7","doi-asserted-by":"crossref","unstructured":"Fan J, Barker K, Porter B, Clark P (2001) Representing roles and purpose. In: Proceedings of the 1st international conference on knowledge capture (KCAP01). ACM, New York, NY, pp 38\u201343","DOI":"10.1145\/500737.500747"},{"key":"555_CR8","unstructured":"Gebser M, Kaufmann B, Neumann A, Schaub T (2007) Conflict-driven answer set solving. In: Proceedings of the 20th international joint conference on artifical intelligence (IJCAI07). Morgan Kaufmann Publishers Inc., San Francisco, CA, pp 386\u2013392"},{"key":"555_CR9","unstructured":"Gelfond M (2006) Going places\u2014notes on a modular development of knowledge about travel. In: Proceedings of the 2006 AAAI spring symposium series (SSS06), pp 56\u201366"},{"key":"555_CR10","unstructured":"Gelfond M, Inclezan D (2009) Yet another modular action language. In: Proceedings of SEA-09. University of Bath Opus: Online Publications Store, pp 64\u201378"},{"key":"555_CR11","doi-asserted-by":"crossref","first-page":"105","DOI":"10.1080\/11663081.2013.798954","volume":"23","author":"M Gelfond","year":"2013","unstructured":"Gelfond M, Inclezan D (2013) Some properties of system descriptions in ALd. J Appl Non Class Logics 23:105\u2013120","journal-title":"J Appl Non-Class Logics"},{"key":"555_CR12","unstructured":"Gelfond M, Lifschitz V (1988) The stable model semantics for logic programming. In: Proceedings of the international conference on logic programming (ICLP88), pp 1070\u20131080"},{"issue":"3\/4","key":"555_CR13","doi-asserted-by":"crossref","first-page":"365","DOI":"10.1007\/BF03037169","volume":"9","author":"M Gelfond","year":"1991","unstructured":"Gelfond M, Lifschitz V (1991) Classical negation in logic programs and disjunctive databases. New Gener Comput 9(3\/4):365\u2013386","journal-title":"New Gener Comput"},{"issue":"16","key":"555_CR14","first-page":"193","volume":"3","author":"M Gelfond","year":"1998","unstructured":"Gelfond M, Lifschitz V (1998) Action languages. Electron Trans AI 3(16):193\u2013210","journal-title":"Electron Trans AI"},{"key":"555_CR15","unstructured":"Inclezan D (2012) Modeling a theory of second language acquisition in ASP. In: Rosati R, Woltran S (eds) Proceedings of the 14th international workshop on non-monotonic reasoning (NMR12)"},{"key":"555_CR16","unstructured":"Inclezan D (2012) Modular action language ALM for dynamic domain representation. Ph.D. thesis, Texas Tech University"},{"key":"555_CR17","unstructured":"Lifschitz V, Ren W (2006) A modular action description language. In: Proceedings of the twenty-first national conference on artificial intelligence (AAAI06), pp 853\u2013859"},{"key":"555_CR18","unstructured":"Matsumura N (2012) Shikakeology. http:\/\/shikakeology.org"},{"key":"555_CR19","unstructured":"Matsumura N (2013) A shikake as an embodied trigger for behavior change. In: Proceedings of the 2013 AAAI spring symposium series (SSS13), pp 62\u201367"},{"key":"555_CR20","unstructured":"Matsumura N, Fruchter R (2013) Shikake trigger categories. In: Proceedings of the 2013 AAAI spring symposium series (SSS13), pp 68\u201373"},{"key":"555_CR21","unstructured":"McCarthy J, Hayes PJ (1969) Some philosophical problems from the standpoint of artificial intelligence. In: Meltzer B, Michie D (eds) Machine intelligence 4. Edinburgh University Press, Edinburgh, pp 463\u2013502"},{"key":"555_CR22","volume-title":"Hyperobjects: philosophy and ecology after the end of the world","author":"T Morton","year":"2013","unstructured":"Morton T (2013) Hyperobjects: philosophy and ecology after the end of the world. University of Minnesota Press, UK"},{"key":"555_CR23","doi-asserted-by":"crossref","first-page":"619","DOI":"10.1145\/116825.116838","volume":"38","author":"A Gelder Van","year":"1991","unstructured":"Van Gelder A, Ross KA, Schlipf JS (1991) The well-founded semantics for general logic programs. J ACM 38:619\u2013649","journal-title":"J ACM"}],"container-title":["AI & SOCIETY"],"original-title":[],"language":"en","link":[{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/s00146-014-0555-6.pdf","content-type":"application\/pdf","content-version":"vor","intended-application":"text-mining"},{"URL":"http:\/\/link.springer.com\/article\/10.1007\/s00146-014-0555-6\/fulltext.html","content-type":"text\/html","content-version":"vor","intended-application":"text-mining"},{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/s00146-014-0555-6","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2019,5,24]],"date-time":"2019-05-24T08:25:40Z","timestamp":1558686340000},"score":1,"resource":{"primary":{"URL":"http:\/\/link.springer.com\/10.1007\/s00146-014-0555-6"}},"subtitle":["Methodology and lessons learned"],"short-title":[],"issued":{"date-parts":[[2014,9,20]]},"references-count":23,"journal-issue":{"issue":"4","published-print":{"date-parts":[[2015,11]]}},"alternative-id":["555"],"URL":"https:\/\/doi.org\/10.1007\/s00146-014-0555-6","relation":{},"ISSN":["0951-5666","1435-5655"],"issn-type":[{"value":"0951-5666","type":"print"},{"value":"1435-5655","type":"electronic"}],"subject":[],"published":{"date-parts":[[2014,9,20]]}}}