{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2024,9,6]],"date-time":"2024-09-06T22:59:08Z","timestamp":1725663548622},"publisher-location":"Berlin, Heidelberg","reference-count":25,"publisher":"Springer Berlin Heidelberg","isbn-type":[{"type":"print","value":"9783540556060"},{"type":"electronic","value":"9783540472544"}],"content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":[],"published-print":{"date-parts":[[1992]]},"DOI":"10.1007\/3-540-55606-0_29","type":"book-chapter","created":{"date-parts":[[2012,2,26]],"date-time":"2012-02-26T05:23:57Z","timestamp":1330233837000},"page":"225-233","source":"Crossref","is-referenced-by-count":2,"title":["Knowledge base compilation and the language design game"],"prefix":"10.1007","author":[{"given":"Warren","family":"Sack","sequence":"first","affiliation":[]}],"member":"297","published-online":{"date-parts":[[2005,5,29]]},"reference":[{"key":"29_CR1","volume-title":"The Architecture of Cognition","author":"John R. R. Anderson","year":"1983","unstructured":"Anderson, John R. (1983) The Architecture of Cognition, Harvard University Press, Cambridge, MA."},{"key":"29_CR2","doi-asserted-by":"crossref","first-page":"155","DOI":"10.1207\/s15516709cog0202_4","volume":"2","author":"J. S. Brown","year":"1978","unstructured":"Brown, J.S. and Burton, R. (1978) Diagnostic models for procedural bugs in basic mathematics skills, Cognitive Science, 2, 155\u2013192.","journal-title":"Cognitive Science"},{"key":"29_CR3","doi-asserted-by":"crossref","unstructured":"Brown, John Seely and VanLehn, Kurt (1980) Repair theory: a generative theory of bugs in procedural skills, Cognitive Science, 2.","DOI":"10.1207\/s15516709cog0404_3"},{"key":"29_CR4","unstructured":"Chapman, David et al. (1987) How to be a graduate student at the MIT AI Lab, MIT AI Lab Memo, Cambridge, MA."},{"key":"29_CR5","unstructured":"Charniak, Eugene, Riesbeck, Christopher, McDermott, Drew and Meehan, James (1986) Artificial Intelligence Programming, 2nd Edition, Lawrence Erlbaum associates."},{"key":"29_CR6","unstructured":"Johnson, W. Lewis (1985) Intention-Based Diagnosis of Errors in Novice Programs, Yale University Computer Science Department Research Report #395, New Haven, CT."},{"key":"29_CR7","volume-title":"Intention-Based Diagnosis of Novice Programming Errors","author":"W. L. Johnson","year":"1986","unstructured":"Johnson, W. Lewis (1986) Intention-Based Diagnosis of Novice Programming Errors, Morgan Kaufmann, Los Altos, CA."},{"key":"29_CR8","unstructured":"Johnson, W. Lewis and Soloway, Elliot (1985a) Micro-PROUST, Yale University Computer Science Department Research Report #402, New Haven, CT."},{"key":"29_CR9","unstructured":"Johnson, W. Lewis and Soloway, Elliot (1985b) PROUST: An automatic debugger for Pascal programs, BYTE, April 1985, 179\u2013190."},{"key":"29_CR10","volume-title":"The Structure of Scientific Revolutions","author":"Thomas S. S. Kuhn","year":"1962","unstructured":"Kuhn, Thomas S. (1962) The Structure of Scientific Revolutions, 2nd Edition, U of Chicago Press, Chicago.","edition":"2nd Edition"},{"key":"29_CR11","volume-title":"Science in Action: How to follow scientists and engineers through society","author":"B. Latour","year":"1987","unstructured":"Latour, Bruno (1987) Science in Action: How to follow scientists and engineers through society, Harvard U. Press, Cambridge, MA."},{"key":"29_CR12","doi-asserted-by":"crossref","first-page":"63","DOI":"10.1016\/0004-3702(89)90047-7","volume":"40","author":"S. Minton","year":"1989","unstructured":"Minton, S., Carbonell, J.G., Knoblock, CA., Kuokka, D.R., Etzioni, O., and Gil, Y. (1989) Explanation-based Learning: A Problem Solving Perspective, Artificial Intelligence 40, 63\u2013118.","journal-title":"Artificial Intelligence"},{"key":"29_CR13","volume-title":"Technical Description of the Analytic Component: A Pattern Matcher for Analyzing Computer Programs","author":"W. Sack","year":"1990","unstructured":"Sack, Warren (1990) Technical Description of the Analytic Component: A Pattern Matcher for Analyzing Computer Programs. (Unpublished Working Paper) Princeton, NJ: Educational Testing Service."},{"key":"29_CR14","volume-title":"Knowledge Engineer's Manual: How to Build KBs for the ProgramCritic","author":"W. Sack","year":"1991","unstructured":"Sack, Warren (1991) Knowledge Engineer's Manual: How to Build KBs for the ProgramCritic. (Unpublished Working Paper) Princeton, NJ: Educational Testing Service."},{"key":"29_CR15","unstructured":"Sack, Warren, Soloway, Elliot and Bennett, Randy (in preparation) The Advanced Placement Computer Science Practice and Feedback System."},{"key":"29_CR16","unstructured":"Sack, Warren and Bennett, Randy (patent pending) United States Patent Application: Method and System for Interactive Computer Science Testing, Analysis and Feedback."},{"key":"29_CR17","volume-title":"Scripts Plans Goals and Understanding: An Inquiry into Human Knowledge Structures","author":"R. Schank","year":"1977","unstructured":"Schank, Roger and Abelson, Robert (1977) Scripts Plans Goals and Understanding: An Inquiry into Human Knowledge Structures, Lawrence Erlbaum Associates, Hillsdale, NJ."},{"key":"29_CR18","doi-asserted-by":"crossref","unstructured":"Soloway, Elliot and Ehrlich, Kathrine (1984) Empirical Investigations of Programming Knowledge, IEEE Transactions on Software Engineering SE-10(5).","DOI":"10.1109\/TSE.1984.5010283"},{"key":"29_CR19","unstructured":"Steele, Guy Lewis and Sussman, Gerald Jay (1975) Scheme: An interpreter for the extended lambda calculus, MIT Artificial Intelligence Laboratory Memo 349, Cambridge, MA."},{"key":"29_CR20","volume-title":"The Art of Prolog","author":"L. Sterling","year":"1986","unstructured":"Sterling, Leon and Shapiro, Ehud (1986) The Art of Prolog, MIT Press, Cambridge, MA."},{"key":"29_CR21","volume-title":"Structure and Interpretation of Computer Programs","author":"G. J. Sussman","year":"1985","unstructured":"Sussman, Gerald Jay and Abelson, Harald (1985) Structure and Interpretation of Computer Programs, MIT Press, Cambridge, MA."},{"key":"29_CR22","doi-asserted-by":"crossref","unstructured":"van Harmelen, F, and Bundy, A. (1988) Explanation-based generalization = Partial evaluation, Artificial Intelligence 36401\u2013412.","DOI":"10.1016\/0004-3702(88)90088-4"},{"key":"29_CR23","unstructured":"Warren, D.H.D. (1977) Implementing Prolog: Compiling Predicate Logic Programs, DAI Report Nos. 39 & 40, U. of Edinburgh."},{"key":"29_CR24","volume-title":"Artificial Intelligence and Tutoring Systems","author":"E. Wenger","year":"1986","unstructured":"Wenger, Etienne (1986) Artificial Intelligence and Tutoring Systems, Morgan Kaufmann Publishers, Los Altos, CA."},{"key":"29_CR25","volume-title":"The Blue and Brown Books: Preliminary Studies for the \u201cPhilosophical Investigations","author":"L. Wittgenstein","year":"1960","unstructured":"Wittgenstein, Ludwig (1960) The Blue and Brown Books: Preliminary Studies for the \u201cPhilosophical Investigations,\u201d Harper & Row, New York."}],"container-title":["Lecture Notes in Computer Science","Intelligent Tutoring Systems"],"original-title":[],"link":[{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/3-540-55606-0_29.pdf","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2020,11,17]],"date-time":"2020-11-17T16:00:33Z","timestamp":1605628833000},"score":1,"resource":{"primary":{"URL":"http:\/\/link.springer.com\/10.1007\/3-540-55606-0_29"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[1992]]},"ISBN":["9783540556060","9783540472544"],"references-count":25,"URL":"https:\/\/doi.org\/10.1007\/3-540-55606-0_29","relation":{},"ISSN":["0302-9743","1611-3349"],"issn-type":[{"type":"print","value":"0302-9743"},{"type":"electronic","value":"1611-3349"}],"subject":[],"published":{"date-parts":[[1992]]}}}