{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2024,9,4]],"date-time":"2024-09-04T15:26:43Z","timestamp":1725463603557},"publisher-location":"Berlin, Heidelberg","reference-count":23,"publisher":"Springer Berlin Heidelberg","isbn-type":[{"type":"print","value":"9783642328961"},{"type":"electronic","value":"9783642328978"}],"license":[{"start":{"date-parts":[[2012,1,1]],"date-time":"2012-01-01T00:00:00Z","timestamp":1325376000000},"content-version":"tdm","delay-in-days":0,"URL":"http:\/\/www.springer.com\/tdm"}],"content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":[],"published-print":{"date-parts":[[2012]]},"DOI":"10.1007\/978-3-642-32897-8_4","type":"book-chapter","created":{"date-parts":[[2012,8,13]],"date-time":"2012-08-13T12:51:25Z","timestamp":1344862285000},"page":"27-42","source":"Crossref","is-referenced-by-count":2,"title":["A Time-Situated Meta-logic for Characterizing Goal-Processing Bounded Agents"],"prefix":"10.1007","author":[{"given":"Isaac","family":"Pinyol","sequence":"first","affiliation":[]}],"member":"297","reference":[{"key":"4_CR1","doi-asserted-by":"publisher","first-page":"237","DOI":"10.1007\/s11229-006-9156-3","volume":"155","author":"C. Castelfranchi","year":"2007","unstructured":"Castelfranchi, C., Paglieri, F.: The role of beliefs in goal dynamics: Prolegomena to a constructive theory of intentions. Synthese\u00a0155, 237\u2013263 (2007)","journal-title":"Synthese"},{"key":"4_CR2","doi-asserted-by":"publisher","first-page":"213","DOI":"10.1016\/0004-3702(90)90055-5","volume":"42","author":"P.R. Cohen","year":"1990","unstructured":"Cohen, P.R., Levesque, H.J.: Intention is choice with commitment. Artif. Intell.\u00a042, 213\u2013261 (1990)","journal-title":"Artif. Intell."},{"key":"4_CR3","doi-asserted-by":"publisher","first-page":"347","DOI":"10.1145\/1160633.1160696","volume-title":"AAMAS 2006: Proceedings of the Fifth International Joint Conference on Autonomous Agents and Multiagent Systems","author":"I. Rahwan","year":"2006","unstructured":"Rahwan, I., Amgoud, L.: An argumentation based approach for practical reasoning. In: AAMAS 2006: Proceedings of the Fifth International Joint Conference on Autonomous Agents and Multiagent Systems, pp. 347\u2013354. ACM, New York (2006)"},{"key":"4_CR4","doi-asserted-by":"crossref","unstructured":"Amgoud, L., Devred, C., Lagasquie-Schiex, M.: Generating possible intentions with constrained argumentation systems. International Journal of Approximate Reasoning (2011) (in press)","DOI":"10.1016\/j.ijar.2011.07.005"},{"key":"4_CR5","volume-title":"Intentions, Plans and Practical Reasoning","author":"M. Bratman","year":"1987","unstructured":"Bratman, M.: Intentions, Plans and Practical Reasoning. Harvard University Press, Cambridge (1987)"},{"key":"4_CR6","first-page":"473","volume-title":"Proc. of KR 1991","author":"A.S. Rao","year":"1991","unstructured":"Rao, A.S., Georgeff, M.P.: Modeling rational agents within a BDI-architecture. In: Allen, J., Fikes, R., Sandewall, E. (eds.) Proc. of KR 1991, pp. 473\u2013484. Morgan Kaufmann publishers Inc., San Mateo (1991)"},{"key":"4_CR7","unstructured":"Rao, A., Georgeff, M.: Bdi agents: From theory to practice. In: Proc. of the First International Conference on Multi-Agent Systems, San Francisco, USA (1995)"},{"key":"4_CR8","doi-asserted-by":"publisher","first-page":"351","DOI":"10.1023\/A:1010050603219","volume":"3","author":"J. Grant","year":"2000","unstructured":"Grant, J., Kraus, S., Perlis, D.: A logic for characterizing multiple bounded agents. Autonomous Agents and Multi-Agent Systems\u00a03, 351\u2013387 (2000)","journal-title":"Autonomous Agents and Multi-Agent Systems"},{"key":"4_CR9","doi-asserted-by":"crossref","unstructured":"Pinyol, I., Sabater-Mir, J., Dellunde, P., Paolucci, M.: Reputation-based decisions for logic-based cognitive agents. In: Autonomous Agents and Multi-Agent Systems, vol.\u00a024, pp. 1\u201342 (2010)","DOI":"10.1007\/s10458-010-9149-y"},{"key":"4_CR10","first-page":"29","volume":"65","author":"F. Giunchiglia","year":"1994","unstructured":"Giunchiglia, F., Serafini, L.: Multilanguage hierarchical logic (or: How we can do without modal logics). Journal of AI\u00a065, 29\u201370 (1994)","journal-title":"Journal of AI"},{"key":"4_CR11","volume-title":"A mathematical introduction to logic","author":"H.B. Enderton","year":"1972","unstructured":"Enderton, H.B.: A mathematical introduction to logic. Academic Press, New York (1972)"},{"key":"4_CR12","doi-asserted-by":"crossref","unstructured":"Kripke, S.: Semantical analysis of modal logic i: Normal modal propositional calculi. In: Zeitschrift fr Mathematische Logik und Grundlagen der Mathematik, vol.\u00a09, pp. 67\u201396 (1963)","DOI":"10.1002\/malq.19630090502"},{"key":"4_CR13","doi-asserted-by":"publisher","first-page":"275","DOI":"10.1016\/0004-3702(92)90048-3","volume":"54","author":"J.Y. Halpern","year":"1992","unstructured":"Halpern, J.Y., Moses, Y.: A guide to completeness and complexity for modal logics of knowledge and belief. Artificial Intelligence\u00a054, 275\u2013317 (1992)","journal-title":"Artificial Intelligence"},{"issue":"3-4","key":"4_CR14","doi-asserted-by":"publisher","first-page":"301","DOI":"10.1007\/BF01531062","volume":"4","author":"J.Y. Halpern","year":"1991","unstructured":"Halpern, J.Y.: The relationship between knowledge, belief, and certainty. Annals of Mathematics and Artificial Intelligence\u00a04(3-4), 301\u2013322 (1991)","journal-title":"Annals of Mathematics and Artificial Intelligence"},{"issue":"2","key":"4_CR15","doi-asserted-by":"publisher","first-page":"340","DOI":"10.1145\/174652.174658","volume":"41","author":"R. Fagin","year":"1994","unstructured":"Fagin, R., Halpern, J.: Reasoning about knowledge and probability. J. ACM\u00a041(2), 340\u2013367 (1994)","journal-title":"J. ACM"},{"key":"4_CR16","series-title":"Lecture Notes in Artificial Intelligence","doi-asserted-by":"publisher","first-page":"126","DOI":"10.1007\/11533092_8","volume-title":"Computational Logic in Multi-Agent Systems","author":"A. Casali","year":"2005","unstructured":"Casali, A., Godo, L., Sierra, C.: Graded BDI Models for Agent Architectures. In: Leite, J., Torroni, P. (eds.) CLIMA 2004. LNCS (LNAI), vol.\u00a03487, pp. 126\u2013143. Springer, Heidelberg (2005)"},{"key":"4_CR17","unstructured":"Casali, A., Godo, L., Sierra, C.: A logical framework to represent and reason about graded preferences and intentions. In: Proc. of KR 2008, Sydney, Australia (2008)"},{"key":"4_CR18","unstructured":"Horvitz, E., Klein, A.: Reasoning, metareasoning, and mathematical truth: Studies of theorem proving under limited resources. In: Proc. of the 11th Conference on Uncertainty and in Artificial Intelligence, pp. 306\u2013314 (1995)"},{"key":"4_CR19","doi-asserted-by":"crossref","unstructured":"Brogi, A., Turini, F.: Metalogic for knowledge representation. In: Proc. of Knowledge Representation and Reasoning, KR 1991, pp. 61\u201369 (1991)","DOI":"10.1007\/978-94-015-7941-4_3"},{"issue":"2","key":"4_CR20","doi-asserted-by":"publisher","first-page":"510","DOI":"10.2307\/2274239","volume":"50","author":"C.E. Alchourrn","year":"1985","unstructured":"Alchourrn, C.E., Grdenfors, P., Makinson, D.: On the logic of theory change: Partial meet contraction and revision functions. The Journal of Symbolic Logic\u00a050(2), 510\u2013530 (1985)","journal-title":"The Journal of Symbolic Logic"},{"issue":"2","key":"4_CR21","first-page":"321","volume":"77","author":"P.M. Dung","year":"1995","unstructured":"Dung, P.M.: On the acceptability of arguments and its fundamental role in nonmonotonic reasoning, logic programming and n-person games. AI\u00a077(2), 321\u2013358 (1995)","journal-title":"AI"},{"key":"4_CR22","unstructured":"Dunne, P., Hunter, A., McBurney, P., Parsons, S., Wooldridge, M.: Inconsistency tolerance in weighted argument systems. In: Proc. of the AAMAS 2009, Budapest, Hungary, pp. 851\u2013858 (2009)"},{"key":"4_CR23","doi-asserted-by":"publisher","first-page":"93","DOI":"10.1007\/s11787-006-0005-4","volume":"1","author":"C. Chesevar","year":"2007","unstructured":"Chesevar, C., Simari, G.: Modelling inference in argumentation through labeled deduction: Formalization and logical properties. Logica Universalis\u00a01, 93\u2013124 (2007)","journal-title":"Logica Universalis"}],"container-title":["Lecture Notes in Computer Science","Computational Logic in Multi-Agent Systems"],"original-title":[],"language":"en","link":[{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/978-3-642-32897-8_4","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2019,5,20]],"date-time":"2019-05-20T01:15:17Z","timestamp":1558314917000},"score":1,"resource":{"primary":{"URL":"http:\/\/link.springer.com\/10.1007\/978-3-642-32897-8_4"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2012]]},"ISBN":["9783642328961","9783642328978"],"references-count":23,"URL":"https:\/\/doi.org\/10.1007\/978-3-642-32897-8_4","relation":{},"ISSN":["0302-9743","1611-3349"],"issn-type":[{"type":"print","value":"0302-9743"},{"type":"electronic","value":"1611-3349"}],"subject":[],"published":{"date-parts":[[2012]]}}}