{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2024,9,7]],"date-time":"2024-09-07T15:31:05Z","timestamp":1725723065936},"publisher-location":"Berlin, Heidelberg","reference-count":14,"publisher":"Springer Berlin Heidelberg","isbn-type":[{"type":"print","value":"9783642081866"},{"type":"electronic","value":"9783662030370"}],"content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":[],"published-print":{"date-parts":[[1994]]},"DOI":"10.1007\/978-3-662-03037-0_11","type":"book-chapter","created":{"date-parts":[[2013,4,17]],"date-time":"2013-04-17T02:04:38Z","timestamp":1366164278000},"page":"281-294","source":"Crossref","is-referenced-by-count":2,"title":["A Formal Approach To ILEs"],"prefix":"10.1007","author":[{"given":"Ernesto","family":"Costa","sequence":"first","affiliation":[]},{"given":"Gra\u00e7a","family":"Gaspar","sequence":"additional","affiliation":[]},{"given":"Helder","family":"Coelho","sequence":"additional","affiliation":[]}],"member":"297","reference":[{"key":"11_CR1","unstructured":"Brewka, G.: Preferred subtheories: an extended logical framework for default reasoning. Proceedings of the 11th International Joint Conference on Artificial Intelligence, Detroit, MI, pp. 1043\u20131048 1989"},{"key":"11_CR2","volume-title":"Portuguese)","author":"A Cardoso","year":"1992","unstructured":"Cardoso, A.: Histories Management (draft, in Portuguese) 1992"},{"volume-title":"New Directions for Intelligent Tutoring Systems, NATO ASI Series F","year":"1992","key":"11_CR3","unstructured":"Costa, E., (ed.): New Directions for Intelligent Tutoring Systems, NATO ASI Series F, Vol. 91, Berlin: Springer-Verlag 1992"},{"key":"11_CR4","unstructured":"Costa, E., Duch\u00e9noy, S. & Kodratoff, Y.: A resolution-based method for discovering student\u2019s misconceptions. In: Artificial Intelligence and Human Learning (J. Self, ed.), pp. 156\u2013164 Chapman and Hall 1988"},{"issue":"2","key":"11_CR5","doi-asserted-by":"publisher","first-page":"127","DOI":"10.1016\/0004-3702(86)90080-9","volume":"28","author":"J Kleer","year":"1986","unstructured":"de Kleer, J.: An assumption-based TMS, Artificial Intelligence, 28 (2), pp. 127\u2013162 (1986)","journal-title":"Artificial Intelligence"},{"key":"11_CR6","volume-title":"Technical Report","author":"J Galliers","year":"1990","unstructured":"Galliers, J.: Belief Revision and a Theory of Communication. Technical Report 193, Computer Laboratory, University of Cambridge, UK 1990"},{"key":"11_CR7","unstructured":"Gaspar, G.: Communication and belief changes in a society of agents: towards a formal model of an autonomous agent. Proceedings of the 5th Rocky Mountains Conference on AI, Pragmatics in AI, Las Cruces, pp. 28\u201330. 1990"},{"key":"11_CR8","doi-asserted-by":"publisher","first-page":"55","DOI":"10.1007\/BF00351182","volume":"1","author":"R Hadley","year":"1991","unstructured":"Hadley, R.: The many uses of \u201cbelief\u2019 in AI. Minds and Machines, 1, pp. 55\u201373 (1991)","journal-title":"Minds and Machines"},{"key":"11_CR9","doi-asserted-by":"publisher","first-page":"79","DOI":"10.1016\/0004-3702(91)90051-K","volume":"47","author":"C Hewitt","year":"1991","unstructured":"Hewitt, C.: Open information systems semantics for distributed artificial intelligence. Artificial Intelligence, 47, pp. 79\u2013106 (1991)","journal-title":"Artificial Intelligence"},{"key":"11_CR10","volume-title":"A Deduction Model of Belief","author":"K Konolige","year":"1986","unstructured":"Konolige, K.: A Deduction Model of Belief. London: Pitman 1986"},{"key":"11_CR11","first-page":"91","volume-title":"New Directions for Intelligent Tutoring Systems (E. Costa, ed.), pp. 38-56, NATO ASI Series F, Vol","author":"JA Self","year":"1992","unstructured":"Self, J. A.: Computational mathetics: the missing link in Intelligent Tutoring Systems research? In: New Directions for Intelligent Tutoring Systems (E. Costa, ed.), pp. 38\u201356, NATO ASI Series F, Vol. 91, Berlin: Springer-Verlag 1992"},{"key":"11_CR12","volume-title":"UK","author":"JA Self","year":"1990","unstructured":"Self, J. A.: Computational Viewpoints. Technical report AI-44, Department of Computing, University of Lancaster, UK, 1990"},{"key":"11_CR13","volume-title":"Formal Approaches to Learner Modelling. Technical report AI-59 Department of Computing","author":"JA Self","year":"1991","unstructured":"Self, J. A.: Formal Approaches to Learner Modelling. Technical report AI-59 Department of Computing, University of Lancaster, UK, 1991"},{"key":"11_CR14","first-page":"3","volume":"1","author":"A Semadas","year":"1987","unstructured":"Semadas, A, Coelho, H. & Gaspar, G.: Communicating knowledge systems: big talk among small systems. Applied Artificial Intelligence, 1, pp. 3\u20134 (1987)","journal-title":"Applied Artificial Intelligence"}],"container-title":["Student Modelling: The Key to Individualized Knowledge-Based Instruction"],"original-title":[],"language":"en","link":[{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/978-3-662-03037-0_11","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2019,5,12]],"date-time":"2019-05-12T06:46:52Z","timestamp":1557643612000},"score":1,"resource":{"primary":{"URL":"http:\/\/link.springer.com\/10.1007\/978-3-662-03037-0_11"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[1994]]},"ISBN":["9783642081866","9783662030370"],"references-count":14,"URL":"https:\/\/doi.org\/10.1007\/978-3-662-03037-0_11","relation":{},"subject":[],"published":{"date-parts":[[1994]]}}}