{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2025,5,18]],"date-time":"2025-05-18T05:42:06Z","timestamp":1747546926477},"publisher-location":"Berlin, Heidelberg","reference-count":20,"publisher":"Springer Berlin Heidelberg","isbn-type":[{"type":"print","value":"9783540417682"},{"type":"electronic","value":"9783540452416"}],"content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":[],"published-print":{"date-parts":[[2001]]},"DOI":"10.1007\/3-540-45241-9_5","type":"book-chapter","created":{"date-parts":[[2007,8,28]],"date-time":"2007-08-28T14:24:00Z","timestamp":1188311040000},"page":"60-75","source":"Crossref","is-referenced-by-count":4,"title":["Programming Goal-Driven Web Sites Using an Agent Logic Language"],"prefix":"10.1007","author":[{"given":"Matteo","family":"Baldoni","sequence":"first","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Cristina","family":"Baroglio","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Alessandro","family":"Chiarotto","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Viviana","family":"Patti","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]}],"member":"297","published-online":{"date-parts":[[2001,3,29]]},"reference":[{"key":"5_CR1","doi-asserted-by":"crossref","unstructured":"L. Ardissono and A. Goy. Tailoring the interaction with users in electronic shops. In Proc. of the 7th International Conference on User Modeling, 1999.","DOI":"10.1007\/978-3-7091-2490-1_4"},{"issue":"3","key":"5_CR2","doi-asserted-by":"publisher","first-page":"143","DOI":"10.1023\/A:1019252823387","volume":"2","author":"L. Ardissono","year":"1999","unstructured":"L. Ardissono, A. Goy, R. Meo, G. Petrone, L. Console, L. Lesmo, C. Simone, and P. Torasso. A configurable system for the construction of virtual stores. World Wide Web, 2(3):143\u2013159, 1999.","journal-title":"World Wide Web"},{"key":"5_CR3","doi-asserted-by":"crossref","unstructured":"M. Baldoni, L. Giordano, and A. Martelli. A tableau calculus for multimodal logics and some (un)decidability results. In H. de Swart, editor, Proc. TABLEAUX\u201998, volume 1397 of LNAI, pages 44\u201359, 1998.","DOI":"10.1007\/3-540-69778-0_13"},{"key":"5_CR4","doi-asserted-by":"crossref","unstructured":"M. Baldoni, L. Giordano, A. Martelli, and V. Patti. An Abductive Proof Procedure for Reasoning about Actions in Modal Logic Programming. In J. Dix, L. M. Pereira, and T. C. Przymusinski, editors, Proc. of NMELP\u201996, volume 1216 of LNAI, pages 132\u2013150. Springer-Verlag, 1997.","DOI":"10.1007\/BFb0023805"},{"key":"5_CR5","unstructured":"M. Baldoni, L. Giordano, A. Martelli, and V. Patti. A modal programming language for representing complex actions. In L. Giordano A. Bonner, B. Freitag, editor, Proc. of the Post-Conference Workshop on Transactions and Change in Logic Databases, DYNAMICS\u201998, pages 1\u201315, 1998."},{"key":"5_CR6","unstructured":"M. Baldoni, L. Giordano, A. Martelli, and V. Patti. Modeling agents in a logic action language. In Proc. of the Workshop on Rational Agents, FAPR\u201900, London, September 2000. To appear."},{"key":"5_CR7","doi-asserted-by":"crossref","unstructured":"M. Baldoni, L. Giordano, A. Martelli, and V. Patti. Reasoning about complex actions with incomplete knowledge: a modal approach. Technical Report 53\/00, Dipartimento di Informatica, University of Torino, 2000.","DOI":"10.1007\/3-540-45446-2_26"},{"key":"5_CR8","doi-asserted-by":"crossref","unstructured":"P. Bretier and D. Sadek. A rational agent as the kernel of a cooperative spoken dialogue system: implementing a logical theory of interaction. In Proc. of ATAL III, LNAI, 1997.","DOI":"10.1007\/BFb0013586"},{"key":"5_CR9","unstructured":"B. De Carolis, F. de Rosis, D. Berry, and I. Michas. Evaluating plan-based hypermedia generation. In Proc. of European Workshop on Natural Language Generation, Toulouse, 1999."},{"key":"5_CR10","unstructured":"B. N. De Carolis. Introducing reactivity in adaptive hypertext generation. In Proc. 13th Conf. ECAI\u201998, Brighton, UK, 1998."},{"key":"5_CR11","doi-asserted-by":"crossref","unstructured":"M. Castilho, O. Gasquet, and A. Herzig. Modal tableaux for reasoning about actions and plans. In S. Steel, editor, Proc. of European Conference on Planning (ECP\u201997), LNAI, pages 119\u2013130. Springer-Verlag, 1997.","DOI":"10.1007\/3-540-63912-8_79"},{"key":"5_CR12","doi-asserted-by":"crossref","unstructured":"G. De Giacomo and M. Lenzerini. PDL-based framework for reasoning about actions. In Topics of Artificial Intelligence, AI*IA\u2019 95, volume 992 of LNAI, pages 103\u2013114. Springer-Verlag, 1995.","DOI":"10.1007\/3-540-60437-5_10"},{"key":"5_CR13","doi-asserted-by":"crossref","unstructured":"M. d\u2019Inverno, D. Kinny, M. Luck, and M. Wooldridge. A formal specification of dmars. In Proc. ATAL\u201997, volume 1365 of LNAI, pages 155\u2013176, 1997.","DOI":"10.1007\/BFb0026757"},{"key":"5_CR14","unstructured":"L. Giordano, A. Martelli, and C. Schwind. Dealing with concurrent actions in modal action logic. In Proc. of ECAI\u201998, pages 537\u2013541, 1998."},{"key":"5_CR15","doi-asserted-by":"crossref","unstructured":"L. Giordano, A. Martelli, and C. Schwind. Ramification and causality in a modal action logic. Journal of Logic and Computation, 2000. to appear.","DOI":"10.1093\/logcom\/10.5.625"},{"key":"5_CR16","doi-asserted-by":"crossref","unstructured":"H. J. Levesque, R. Reiter, Y. Lesp\u00e9rance, F. Lin, and R. B. Scherl. GOLOG: A Logic Programming Language for Dynamic Domains. Journal of Logic Programming, (31), 1997.","DOI":"10.1016\/S0743-1066(96)00121-5"},{"key":"5_CR17","unstructured":"D. Magro and P. Torasso. Description and configuration of complex technical products in a virtual store. In Proc. of ECAI2000, Workshop on Configuration, Berlin, 2000."},{"key":"5_CR18","doi-asserted-by":"publisher","first-page":"157","DOI":"10.1007\/BF00849553","volume":"7","author":"M. McTear","year":"1993","unstructured":"M. McTear. User modelling for adaptive computer systems: a survey on recent developments. Artificial Intelligence Review, 7:157\u2013184, 1993.","journal-title":"Artificial Intelligence Review"},{"issue":"2","key":"5_CR19","doi-asserted-by":"publisher","first-page":"209","DOI":"10.1007\/BF00173701","volume":"5","author":"H. Prendinger","year":"1996","unstructured":"H. Prendinger and G. Schurz. Reasoning about action and change. a dynamic logic approach. Journal of Logic, Language, and Information, 5(2):209\u2013245, 1996.","journal-title":"Journal of Logic, Language, and Information"},{"key":"5_CR20","doi-asserted-by":"crossref","unstructured":"W. Wahlster and A. Kobsa. User models in dialog systems. Springer-Verlag, 1989.","DOI":"10.1007\/978-3-642-83230-7_1"}],"container-title":["Lecture Notes in Computer Science","Practical Aspects of Declarative Languages"],"original-title":[],"link":[{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/3-540-45241-9_5","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2019,5,2]],"date-time":"2019-05-02T17:08:15Z","timestamp":1556816895000},"score":1,"resource":{"primary":{"URL":"http:\/\/link.springer.com\/10.1007\/3-540-45241-9_5"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2001]]},"ISBN":["9783540417682","9783540452416"],"references-count":20,"URL":"https:\/\/doi.org\/10.1007\/3-540-45241-9_5","relation":{},"ISSN":["0302-9743"],"issn-type":[{"type":"print","value":"0302-9743"}],"subject":[],"published":{"date-parts":[[2001]]}}}