{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2025,6,12]],"date-time":"2025-06-12T10:43:36Z","timestamp":1749725016997},"publisher-location":"Berlin, Heidelberg","reference-count":24,"publisher":"Springer Berlin Heidelberg","isbn-type":[{"type":"print","value":"9783540625070"},{"type":"electronic","value":"9783540680574"}],"content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":[],"published-print":{"date-parts":[[1997]]},"DOI":"10.1007\/bfb0013585","type":"book-chapter","created":{"date-parts":[[2005,11,13]],"date-time":"2005-11-13T07:22:38Z","timestamp":1131866558000},"page":"173-188","source":"Crossref","is-referenced-by-count":20,"title":["Towards layered dialogical agents"],"prefix":"10.1007","author":[{"given":"Pablo","family":"Noriega","sequence":"first","affiliation":[]},{"given":"Carles","family":"Sierra","sequence":"additional","affiliation":[]}],"member":"297","published-online":{"date-parts":[[2005,6,9]]},"reference":[{"key":"17_CR1","doi-asserted-by":"publisher","first-page":"25","DOI":"10.1007\/BF01531260","volume":"9","author":"N. Belnap","year":"1993","unstructured":"N. Belnap and M. Perloff. In the realm of agents. Annals of Mathematics and Artificial Intelligence, 9:25\u201348, 1993.","journal-title":"Annals of Mathematics and Artificial Intelligence"},{"key":"17_CR2","volume-title":"Lecture Notes in Artificial Intelligence","author":"M. Benerecetti","year":"1996","unstructured":"M. Benerecetti, A. Cimatti, E. Giunchiglia,. Giunchiglia, and L. Serafini. Formal specification of beliefs in multi-agent systems. In J. P. M\u00fcller, M. J. Wooldridge, and N. R. Jennings, editors, Intelligent Agents III \u2014 Proceedings of the Third International Workshop on Agent Theories, Architectures, and Languages (ATAL-96), Lecture Notes in Artificial Intelligence. Springer-Verlag, Heidelberg, 1996. In this volume."},{"key":"17_CR3","volume-title":"Lecture Notes in Artificial Intelligence","author":"P. Bretier","year":"1996","unstructured":"P. Bretier and M. D. Sadek. A rational agent as the kernel of a cooperative spoken dialogue system: Implementing a logical theory of interaction. In J. P. M\u00fcller, M. J. Wooldridge, and N. R. Jennings, editors, Intelligent Agents III\u2014 Proceedings of the Third International Workshop on Agent Theories, Architectures, and Languages (ATAL-96), Lecture Notes in Artificial Intelligence. Springer-Verlag, Heidelberg, 1996. In this volume."},{"key":"17_CR4","first-page":"213","volume":"42","author":"P. R. Cohen","year":"1990","unstructured":"P. R. Cohen and H. J. Levesque. Intention is choice with commitment. AI Journal, (42):213\u2013261, 1990.","journal-title":"AI Journal"},{"key":"17_CR5","volume-title":"Lecture Notes in Artificial Intelligence","author":"F. Dignum","year":"1996","unstructured":"F. Dignum and B. van Linder. Modeling social agents: Communication as action. In J. P. M\u00fcller, M. J. Wooldridge, and N. R. Jennings, editors, Intelligent Agents III \u2014 Proceedings of the Third International Workshop on Agent Theories, Architectures, and Languages (ATAL-96), Lecture Notes in Artificial Intelligence. Springer-Verlag, Heidelberg, 1996. In this volume."},{"key":"17_CR6","doi-asserted-by":"crossref","DOI":"10.7551\/mitpress\/5712.001.0001","volume-title":"PVM: Parallel Virtual Machine. A User's Guide and Tutorial for Networked Parallel Computing","author":"A. Geist","year":"1994","unstructured":"A. Geist, A. Beguelin, J. Dongarra, W Jiang, R. Manchek, and V. Sunderam. PVM: Parallel Virtual Machine. A User's Guide and Tutorial for Networked Parallel Computing. MIT Press, Cambridge, MA, 1994."},{"key":"17_CR7","unstructured":"F. Giunchiglia, P. Traverso, and E. Giunchiglia. Multi-context systems as a specification framework for complex reasoning systems. In Jan Treur and Thomas Wetter, editors, Formal Specification of Complex Resorting Systems. Ellis Horwood, 1993."},{"key":"17_CR8","unstructured":"R. Goldblatt. Logics of Time and Computation, volume 7 of Lecture Notes. CSLI, 1992."},{"key":"17_CR9","doi-asserted-by":"crossref","first-page":"497","DOI":"10.1007\/978-94-009-6259-0_10","volume-title":"Handbook of Philosophical Logic","author":"D. Harel","year":"1984","unstructured":"D. Harel. Dynamic logic. In D. M. Gabbay and F. Guenthner, editors, Handbook of Philosophical Logic, pages 497\u2013604. Reidel Pub. Co., Dordrecht, Netherlangs, 1984."},{"key":"17_CR10","volume-title":"A Deduction Model of Belief","author":"K. Konolige","year":"1986","unstructured":"K. Konolige. A Deduction Model of Belief. Pitman Pub and Morgan Kaufmann, London, San Mateo, 1986."},{"key":"17_CR11","unstructured":"H. J. Levesque. A logic for implicit and explicit belief. In Proc. 4th National Conference on Artificial Intelligence (AAAI84), pages 198\u2013202, Austin, Tx, 1984."},{"key":"17_CR12","first-page":"699","volume":"XXV","author":"R. P. McAfee","year":"1987","unstructured":"R. P. McAfee and J. McMillan. Auctions and bidding. Journal of Economic Literature, XXV:699\u2013738, 1987.","journal-title":"Journal of Economic Literature"},{"issue":"5","key":"17_CR13","doi-asserted-by":"crossref","first-page":"1089","DOI":"10.2307\/1911865","volume":"50","author":"P. R. Milgrom","year":"1982","unstructured":"P. R. Milgrom and R. J. Weber. A theory of auctions and competitive bidding. Econometrica, 50(5):1089\u20131122, 1982.","journal-title":"Econometrica"},{"key":"17_CR14","volume-title":"Lecture Notes in Artificial Intelligence","author":"J. P. M\u00fcller","year":"1996","unstructured":"J. P. M\u00fcller. A cooperation model for autonomous agents. In J. P. M\u00fcller, M. J. Wooldridge, and N. R. Jennings, editors, Intelligent Agents III \u2014 Proceedings of the Third International Workshop on Agent Theories, Architectures, and Languages (ATAL-96), Lecture Notes in Artificial Intelligence. Springer-Verlag, Heidelberg, 1996. In this volume."},{"key":"17_CR15","unstructured":"C. Di Napoli, M. Giordano, M. M. Furnari, C. Sierra, and P. Noriega. A pvm implementation of the fishmarket multiagent system. In IX International Symposium on Artificial Intelligence, Cancun, Mexico, 1996. in-press."},{"key":"17_CR16","doi-asserted-by":"crossref","DOI":"10.1017\/CBO9780511808678","volume-title":"Institutions, Institutional Change and Economic Performance","author":"D. C. North","year":"1990","unstructured":"D. C. North. Institutions, Institutional Change and Economic Performance. Cambridge Univ. Press, Cambridge, U.K., 1990."},{"key":"17_CR17","doi-asserted-by":"publisher","first-page":"450","DOI":"10.1145\/23005.23008","volume":"34","author":"D. Peleg","year":"1987","unstructured":"D. Peleg. Concurrent dynamic logic. JACM, 34:450\u2013479, 1987.","journal-title":"JACM"},{"key":"17_CR18","first-page":"33","volume":"1037","author":"A. S. Rao","year":"1996","unstructured":"A. S. Rao. Decision procedures for propositional linear time belief-desire-intention logics. LNAI, 1037:33\u201348, 1996.","journal-title":"LNAI"},{"key":"17_CR19","doi-asserted-by":"crossref","unstructured":"C. Sierra, L. Godo, R. Lopez de Mantaras, and M. Manzano. Descriptive dynamic logic and its application to reflective architectures. Future Generation Computing Systems (In press. Also, http:\/\/www.iiia.csic.es\/Reports\/1996\/FGCS-SGLM.ps), 1996.","DOI":"10.1016\/0167-739X(96)00007-6"},{"key":"17_CR20","doi-asserted-by":"crossref","first-page":"47","DOI":"10.1007\/BF02451549","volume":"8","author":"M. P. Singh","year":"1993","unstructured":"M. P. Singh. A semantics for speech acts. Annals of Mathematics and Artificial Intelligence, 8:47\u201371, 1993.","journal-title":"Annals of Mathematics and Artificial Intelligence"},{"key":"17_CR21","volume-title":"Technical report 545","author":"D. Traum","year":"1994","unstructured":"D. Traum. A Computational Theory of Grounding in Natural Language Conversation. Technical report 545, University of Rochester, Computer Science, Rochester, 1994."},{"key":"17_CR22","volume-title":"Lecture Notes in Artificial Intelligence","author":"D. R. Traum","year":"1996","unstructured":"D. R. Traum. A reactive-deliberative model of dialogue agency. In J. P. M\u00fcller, M. J. Wooldridge, and N. R. Jennings, editors, Intelligent Agents III \u2014 Proceedings of the Third International Workshop on Agent Theories, Architectures, and Languages (ATAL-96), Lecture Notes in Artificial Intelligence. Springer-Verlag, Heidelberg, 1996. In this volume."},{"key":"17_CR23","first-page":"17","volume":"1037","author":"B. Linder van","year":"1996","unstructured":"B. van Linder, W. van der Hoek, and J.-J. Ch. Meyer. Formalising motivational attitudes of agents: On preferences, goals and commitments. LNAI, 1037:17\u201332, 1996.","journal-title":"LNAI"},{"key":"17_CR24","volume-title":"PhD thesis","author":"M. J. Wooldridge","year":"1992","unstructured":"M. J. Wooldridge. The Logical Modelling of Computational Multi-Agent Systems. PhD thesis, University of Manchester, Faculty of Technology, Manchester, U.K., 1992."}],"container-title":["Lecture Notes in Computer Science","Intelligent Agents III Agent Theories, Architectures, and Languages"],"original-title":[],"link":[{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/BFb0013585","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2020,4,10]],"date-time":"2020-04-10T20:53:17Z","timestamp":1586551997000},"score":1,"resource":{"primary":{"URL":"http:\/\/link.springer.com\/10.1007\/BFb0013585"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[1997]]},"ISBN":["9783540625070","9783540680574"],"references-count":24,"URL":"https:\/\/doi.org\/10.1007\/bfb0013585","relation":{},"ISSN":["0302-9743","1611-3349"],"issn-type":[{"type":"print","value":"0302-9743"},{"type":"electronic","value":"1611-3349"}],"subject":[],"published":{"date-parts":[[1997]]}}}