{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2024,9,4]],"date-time":"2024-09-04T18:28:32Z","timestamp":1725474512936},"publisher-location":"Berlin, Heidelberg","reference-count":13,"publisher":"Springer Berlin Heidelberg","isbn-type":[{"type":"print","value":"9783540650805"},{"type":"electronic","value":"9783540496564"}],"content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":[],"published-print":{"date-parts":[[1998]]},"DOI":"10.1007\/bfb0095431","type":"book-chapter","created":{"date-parts":[[2006,11,24]],"date-time":"2006-11-24T14:28:18Z","timestamp":1164378498000},"page":"93-104","source":"Crossref","is-referenced-by-count":0,"title":["Handling negative assumptions in a generic user modeling framework"],"prefix":"10.1007","author":[{"given":"Wolfgang","family":"Pohl","sequence":"first","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]}],"member":"297","published-online":{"date-parts":[[2006,10,20]]},"reference":[{"key":"9_CR1","unstructured":"J. Allgayer, H. J. Ohlbach, and C. Reddig. Modelling agents with logic. In Proc. of the Third International Workshop on User Modeling, pages 22\u201334, Dagstuhl, Germany, 1992."},{"key":"9_CR2","series-title":"Technical Report","volume-title":"On knowing what to say: Planning speech acts","author":"P. R. Cohen","year":"1978","unstructured":"P. R. Cohen, On knowing what to say: Planning speech acts. Technical Report 118, Department of Computer Science, University of Toronto, Canada, 1978."},{"issue":"1","key":"9_CR3","doi-asserted-by":"publisher","first-page":"87","DOI":"10.1007\/BF00158953","volume":"1","author":"X. Huang","year":"1991","unstructured":"X. Huang, G. I. McCalla, J. E. Greer, and E. Neufeld. Revising deductive knowledge and stereotypical knowledge in a student model. User Modeling and User-Adapted Interaction, 1(1):87\u2013115, 1991.","journal-title":"User Modeling and User-Adapted Interaction"},{"key":"9_CR4","unstructured":"U. Hustadt. A multi-modal logic for stereotyping. In Proceedings of the Fourth International Conference on User Modeling, pages 87\u201392, 1994."},{"key":"9_CR5","unstructured":"A. Kobsa, D. M\u00fcller, and A. Nill. KN-AHS: An adaptive hypertext client of the user modeling system BGP-MS. In Proc. of the Fourth International Conference on User Modeling, pages 99\u2013105, Hyannis, MA, 1994."},{"key":"9_CR6","doi-asserted-by":"crossref","DOI":"10.1007\/978-3-642-70867-1","volume-title":"Benutzermodellierung in Dialogsystemen","author":"A. Kobsa","year":"1985","unstructured":"A. Kobsa. Benutzermodellierung in Dialogsystemen. Springer-Verlag, Berlin, Heidelberg, 1985."},{"key":"9_CR7","doi-asserted-by":"crossref","first-page":"193","DOI":"10.1111\/j.1467-8640.1990.tb00295.x","volume":"6","author":"A. Kobsa","year":"1990","unstructured":"A. Kobsa. Modeling the user\u2019s conceptual knowledge in BGP-MS, a user modeling shell system. Computational Intelligence, 6:193\u2013208, 1990.","journal-title":"Computational Intelligence"},{"issue":"2","key":"9_CR8","doi-asserted-by":"publisher","first-page":"59","DOI":"10.1007\/BF01099428","volume":"4","author":"A. Kobsa","year":"1995","unstructured":"A. Kobsa and W. Pohl. The user modeling shell system BGP-MS. User Modeling and User-Adapted Interaction, 4(2):59\u2013106, 1995.","journal-title":"User Modeling and User-Adapted Interaction"},{"key":"9_CR9","first-page":"83","volume":"16","author":"S. Kripke","year":"1963","unstructured":"S. Kripke. Semantic considerations on modal logic. Acta Philosophica Fennica, 16:83\u201394, 1963.","journal-title":"Acta Philosophica Fennica"},{"key":"9_CR10","doi-asserted-by":"crossref","first-page":"403","DOI":"10.1007\/978-3-7091-2670-7_40","volume-title":"User Modeling: Proceedings of the Sixth International Conference","author":"W. Pohl","year":"1997","unstructured":"W. Pohl and J. H\u00f6hle. Mechanisms for flexible representation and use of knowledge in user modeling shell systems. In A. Jameson, C. Paris, and C. Tasso, editors, User Modeling: Proceedings of the Sixth International Conference, pages 403\u2013414, Wien, New York, 1997. Springer-Verlag."},{"key":"9_CR11","unstructured":"W. Pohl, J. H\u00f6hle, J. Fink, and D.-W. Kim. Building adaptive applications on widely-used platforms with BGP-MS. In C. Stephanidis, editor, Proc. ERCIM Workshop \u201cTowards User Interfaces for All: Current Efforts and Future Trends\u201d, Heraklion, Greece, October 1995."},{"key":"9_CR12","doi-asserted-by":"crossref","first-page":"480","DOI":"10.1007\/3-540-61313-7_95","volume-title":"Practical Reasoning: Proceedings of the International Conference on Formal and Applied Practical Reasoning","author":"W. Pohl","year":"1996","unstructured":"W. Pohl. Combining partitions and modal logic for user modeling. In D. M. Gabbay and H. J. Ohlbach, editors, Practical Reasoning: Proceedings of the International Conference on Formal and Applied Practical Reasoning pages 480\u2013494, Berlin, Heidelberg, 1996. Springer."},{"key":"9_CR13","unstructured":"W. Pohl. Logic-Based Representation and Reasoning for User Modeling Shell Systems. PhD thesis, University of Essen, 1997."}],"container-title":["Lecture Notes in Computer Science","KI-98: Advances in Artificial Intelligence"],"original-title":[],"link":[{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/BFb0095431","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2019,2,15]],"date-time":"2019-02-15T02:55:37Z","timestamp":1550199337000},"score":1,"resource":{"primary":{"URL":"http:\/\/link.springer.com\/10.1007\/BFb0095431"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[1998]]},"ISBN":["9783540650805","9783540496564"],"references-count":13,"URL":"https:\/\/doi.org\/10.1007\/bfb0095431","relation":{},"ISSN":["0302-9743","1611-3349"],"issn-type":[{"type":"print","value":"0302-9743"},{"type":"electronic","value":"1611-3349"}],"subject":[],"published":{"date-parts":[[1998]]}}}