{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2026,3,14]],"date-time":"2026-03-14T06:49:22Z","timestamp":1773470962202,"version":"3.50.1"},"publisher-location":"Berlin, Heidelberg","reference-count":28,"publisher":"Springer Berlin Heidelberg","isbn-type":[{"value":"9783642294136","type":"print"},{"value":"9783642294143","type":"electronic"}],"content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":[],"published-print":{"date-parts":[[2012]]},"DOI":"10.1007\/978-3-642-29414-3_9","type":"book-chapter","created":{"date-parts":[[2012,4,24]],"date-time":"2012-04-24T21:45:41Z","timestamp":1335303941000},"page":"147-171","source":"Crossref","is-referenced-by-count":2,"title":["Reasoning about the Intentions of Agents"],"prefix":"10.1007","author":[{"given":"Justin","family":"Blount","sequence":"first","affiliation":[]},{"given":"Michael","family":"Gelfond","sequence":"additional","affiliation":[]}],"member":"297","reference":[{"key":"9_CR1","unstructured":"Balduccini, M., Gelfond, M.: The aaa architecture: An overview. In: AAAI Spring Symposium on Architecture of Intelligent Theory-Based Agents (2008)"},{"key":"9_CR2","series-title":"Lecture Notes in Artificial Intelligence","doi-asserted-by":"publisher","first-page":"18","DOI":"10.1007\/978-3-540-72200-7_4","volume-title":"Logic Programming and Nonmonotonic Reasoning","author":"M. Balduccini","year":"2007","unstructured":"Balduccini, M.: CR-MODELS: An Inference Engine for CR-Prolog. In: Baral, C., Brewka, G., Schlipf, J. (eds.) LPNMR 2007. LNCS (LNAI), vol.\u00a04483, pp. 18\u201330. Springer, Heidelberg (2007)"},{"issue":"4-5","key":"9_CR3","doi-asserted-by":"publisher","first-page":"425","DOI":"10.1017\/S1471068403001807","volume":"3","author":"M. Balduccini","year":"2003","unstructured":"Balduccini, M., Gelfond, M.: Diagnostic reasoning with A-Prolog. Journal of Theory and Practice of Logic Programming (TPLP)\u00a03(4-5), 425\u2013461 (2003)","journal-title":"Journal of Theory and Practice of Logic Programming (TPLP)"},{"key":"9_CR4","unstructured":"Balduccini, M., Gelfond, M.: Logic Programs with Consistency-Restoring Rules. In: Doherty, P., McCarthy, J., Williams, M.-A. (eds.) International Symposium on Logical Formalization of Commonsense Reasoning. AAAI 2003 Spring Symposium Series, pp. 9\u201318 (March 2003)"},{"key":"9_CR5","doi-asserted-by":"crossref","unstructured":"Baral, C.: Knowledge Representation, Reasoning, and Declarative Problem Solving. Cambridge University Press (2003)","DOI":"10.1017\/CBO9780511543357"},{"key":"9_CR6","doi-asserted-by":"crossref","unstructured":"Baral, C., Gelfond, M.: Reasoning Agents in Dynamic Domains. In: Workshop on Logic-Based Artificial Intelligence. Kluwer Academic Publishers (2000)","DOI":"10.1007\/978-1-4615-1567-8_12"},{"key":"9_CR7","unstructured":"Baral, C., Gelfond, M.: Reasoning about Intended Actions. In: Proceedings of AAAI 2005, pp. 689\u2013694 (2005)"},{"issue":"1","key":"9_CR8","doi-asserted-by":"publisher","first-page":"57","DOI":"10.1017\/S1471068408003645","volume":"9","author":"C. Baral","year":"2009","unstructured":"Baral, C., Gelfond, M., Rushton, N.: Probabilistic reasoning with answer sets. Journal of Theory and Practice of Logic Programming (TPLP)\u00a09(1), 57\u2013144 (2009)","journal-title":"Journal of Theory and Practice of Logic Programming (TPLP)"},{"key":"9_CR9","doi-asserted-by":"publisher","first-page":"213","DOI":"10.1016\/0004-3702(90)90055-5","volume":"42","author":"Cohen","year":"1990","unstructured":"Cohen, Levesque: Intention is choice with commitment. Artificial Intelligence\u00a042, 213\u2013261 (1990)","journal-title":"Artificial Intelligence"},{"key":"9_CR10","unstructured":"Gabaldon, A.: Activity recognition with intended actions. In: IJCAI, pp. 1696\u20131701 (2009)"},{"issue":"2","key":"9_CR11","doi-asserted-by":"crossref","first-page":"105","DOI":"10.3233\/AIC-2011-0497","volume":"24","author":"M. Gebser","year":"2011","unstructured":"Gebser, M., Kaminski, R., Kaufmann, B., Ostrowski, M., Schaub, T., Schneider, M.: Potassco: The Potsdam answer set solving collection. Aicom\u00a024(2), 105\u2013124 (2011)","journal-title":"Aicom"},{"key":"9_CR12","unstructured":"Gelfond, M., Inclezan, D.: Yet Another Modular Action Language. In: Proceedings of SEA 2009, pp. 64\u201378. University of Bath Opus: Online Publications Store (2009)"},{"key":"9_CR13","doi-asserted-by":"publisher","first-page":"365","DOI":"10.1007\/BF03037169","volume":"9","author":"M. Gelfond","year":"1991","unstructured":"Gelfond, M., Lifschitz, V.: Classical Negation in Logic Programs and Disjunctive Databases. New Generation Computing\u00a09, 365\u2013385 (1991)","journal-title":"New Generation Computing"},{"key":"9_CR14","unstructured":"Gelfond, M., Lifschitz, V.: Action Languages. Electronic Transactions on AI\u00a03 (1998)"},{"key":"9_CR15","unstructured":"Gelfond, M., Rushton, N.: Causal and probabilistic reasoning in p-log. In: Dechter, R., Gener, H., Halpern, J. (eds.) Heuristics, Probabilities and Causality. A tribute to Judea Pearl, pp. 337\u2013359. College Publications (2010)"},{"key":"9_CR16","unstructured":"Inclezan, D.: Computing Trajectories of Dynamic Systems Using ASP and Flora-2. Paper presented at NonMon@30: Thirty Years of Nonmonotonic Reasoning Conference, Lexington, Kentucky, October 22-25 (2010)"},{"key":"9_CR17","doi-asserted-by":"crossref","unstructured":"Kakas, A., Mancarella, P., Sadri, F., Stathis, K., Toni, F.: Computational logic foundations of kgp agents. Journal of Artificial Intelligence Research, 285\u2013348 (2008)","DOI":"10.1613\/jair.2596"},{"key":"9_CR18","doi-asserted-by":"publisher","first-page":"67","DOI":"10.1007\/BF03037383","volume":"4","author":"R. Kowalski","year":"1986","unstructured":"Kowalski, R., Sergot, M.: A logic-based calculus of events. New Generation Computing\u00a04, 67\u201395 (1986)","journal-title":"New Generation Computing"},{"key":"9_CR19","series-title":"Lecture Notes in Artificial Intelligence","doi-asserted-by":"publisher","first-page":"537","DOI":"10.1007\/3-540-45757-7_50","volume-title":"Logics in Artificial Intelligence","author":"N. Leone","year":"2002","unstructured":"Leone, N., Pfeifer, G., Faber, W., Calimeri, F., Dell\u2019Armi, T., Eiter, T., Gottlob, G., Ianni, G., Ielpa, G., Koch, C., Perri, S., Polleres, A.: The DLV System. In: Flesca, S., Greco, S., Leone, N., Ianni, G. (eds.) JELIA 2002. LNCS (LNAI), vol.\u00a02424, pp. 537\u2013540. Springer, Heidelberg (2002)"},{"key":"9_CR20","doi-asserted-by":"crossref","first-page":"375","DOI":"10.1007\/978-3-642-60085-2_17","volume-title":"The Logic Programming Paradigm: a 25-Year Perspective","author":"V.W. Marek","year":"1999","unstructured":"Marek, V.W., Truszczynski, M.: Stable models and an alternative logic programming paradigm. In: The Logic Programming Paradigm: a 25-Year Perspective, pp. 375\u2013398. Springer, Berlin (1999)"},{"key":"9_CR21","unstructured":"McCarthy, J., Hayes, P.: Some Philosophical Problems from the Standpoint of Artificial Intelligence. In: Machine Intelligence, pp. 463\u2013502. Edinburgh University Press (1969)"},{"key":"9_CR22","doi-asserted-by":"crossref","unstructured":"Niemela, I., Simons, P.: Extending the Smodels System with Cardinality and Weight Constraints. In: Logics in Artificial Intelligence. Kluwer Academic Publishers (2000)","DOI":"10.1007\/978-1-4615-1567-8_21"},{"key":"9_CR23","unstructured":"Niemela, I.: Logic Programs with Stable Model Semantics as a Constraint Programming Paradigm. In: Proceedings of the Workshop on Computational Aspects of Nonmonotonic Reasoning, pp. 72\u201379 (June 1998)"},{"key":"9_CR24","series-title":"Lecture Notes in Artificial Intelligence","doi-asserted-by":"publisher","first-page":"19","DOI":"10.1007\/11493402_2","volume-title":"Declarative Agent Languages and Technologies II","author":"P.P. Parra","year":"2005","unstructured":"Parra, P.P., Nayak, A.C., Demolombe, R.: Theories of Intentions in the Framework of Situation Calculus. In: Leite, J., Omicini, A., Torroni, P., Yolum, p. (eds.) DALT 2004. LNCS (LNAI), vol.\u00a03476, pp. 19\u201334. Springer, Heidelberg (2005)"},{"key":"9_CR25","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"42","DOI":"10.1007\/BFb0031845","volume-title":"Agents Breaking Away","author":"A.S. Rao","year":"1996","unstructured":"Rao, A.S.: AgentSpeak(L): BDI Agents Speak out in a Logical Computable Language. In: Perram, J., Van de Velde, W. (eds.) MAAMAW 1996. LNCS, vol.\u00a01038, pp. 42\u201355. Springer, Heidelberg (1996)"},{"key":"9_CR26","doi-asserted-by":"crossref","unstructured":"Reiter, R.: On Closed World Data Bases. In: Logic and Data Bases, pp. 119\u2013140. Plenum Press (1978)","DOI":"10.1016\/B978-0-934613-03-3.50014-3"},{"key":"9_CR27","doi-asserted-by":"crossref","unstructured":"Reiter, R.: Knowledge in Action \u2013 Logical Foundations for Specifying and Implementing Dynamical Systems. MIT Press (2001)","DOI":"10.7551\/mitpress\/4074.001.0001"},{"key":"9_CR28","doi-asserted-by":"crossref","unstructured":"Wooldridge, M.: Reasoning About Rational Agents. The MIT Press (2000)","DOI":"10.7551\/mitpress\/5804.001.0001"}],"container-title":["Lecture Notes in Computer Science","Logic Programs, Norms and Action"],"original-title":[],"link":[{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/978-3-642-29414-3_9.pdf","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2025,3,26]],"date-time":"2025-03-26T14:40:46Z","timestamp":1743000046000},"score":1,"resource":{"primary":{"URL":"http:\/\/link.springer.com\/10.1007\/978-3-642-29414-3_9"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2012]]},"ISBN":["9783642294136","9783642294143"],"references-count":28,"URL":"https:\/\/doi.org\/10.1007\/978-3-642-29414-3_9","relation":{},"ISSN":["0302-9743","1611-3349"],"issn-type":[{"value":"0302-9743","type":"print"},{"value":"1611-3349","type":"electronic"}],"subject":[],"published":{"date-parts":[[2012]]}}}