{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2025,5,18]],"date-time":"2025-05-18T05:10:09Z","timestamp":1747545009027,"version":"3.40.5"},"reference-count":17,"publisher":"Springer Science and Business Media LLC","issue":"3","license":[{"start":{"date-parts":[[2000,6,1]],"date-time":"2000-06-01T00:00:00Z","timestamp":959817600000},"content-version":"tdm","delay-in-days":0,"URL":"https:\/\/www.springernature.com\/gp\/researchers\/text-and-data-mining"},{"start":{"date-parts":[[2000,6,1]],"date-time":"2000-06-01T00:00:00Z","timestamp":959817600000},"content-version":"vor","delay-in-days":0,"URL":"https:\/\/www.springernature.com\/gp\/researchers\/text-and-data-mining"}],"content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":["Artificial Intelligence Review"],"published-print":{"date-parts":[[2000,6]]},"DOI":"10.1023\/a:1006562430348","type":"journal-article","created":{"date-parts":[[2002,12,22]],"date-time":"2002-12-22T02:18:38Z","timestamp":1040523518000},"page":"229-252","source":"Crossref","is-referenced-by-count":3,"title":["An Assumption-based Truth Maintenance System in Active Aid for UNIX Users"],"prefix":"10.1007","volume":"14","author":[{"given":"John","family":"Jones","sequence":"first","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Mark","family":"Millington","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Maria","family":"Virvou","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]}],"member":"297","reference":[{"key":"151174_CR1","doi-asserted-by":"publisher","first-page":"1","DOI":"10.1016\/0364-0213(89)90010-4","volume":"13","author":"A. Collins","year":"1989","unstructured":"Collins, A. & Michalski R. (1989). The Logic of Plausible Reasoning: A Core Theory. Cognitive Science\n                  13: 1\u201349.","journal-title":"Cognitive Science"},{"key":"151174_CR2","unstructured":"de Kleer, J. (1984). ChoicesWithout Backtracking. In Proceedings of AAAI 84, 79\u201385. Austin, TX."},{"key":"151174_CR3","doi-asserted-by":"publisher","first-page":"127","DOI":"10.1016\/0004-3702(86)90080-9","volume":"28","author":"J. de Kleer","year":"1986","unstructured":"de Kleer, J. (1986). An Assumption-Based TMS. Artificial Intelligence\n                  28: 127\u2013162.","journal-title":"Artificial Intelligence"},{"key":"151174_CR4","doi-asserted-by":"publisher","first-page":"231","DOI":"10.1016\/0004-3702(79)90008-0","volume":"12","author":"J. Doyle","year":"1981","unstructured":"Doyle, J. (1981). A Truth Maintenance System. Artificial Intelligence\n                  12: 231\u2013272.","journal-title":"Artificial Intelligence"},{"key":"151174_CR5","doi-asserted-by":"publisher","first-page":"189","DOI":"10.1016\/0004-3702(71)90010-5","volume":"2","author":"R. E. Fikes","year":"1971","unstructured":"Fikes, R. E. & Nilsson, N. J. (1971). STRIPS: A New Approach to the Application of Theorem Proving to Problem Solving. Artificial Intelligence\n                  2: 189\u2013208.","journal-title":"Artificial Intelligence"},{"key":"151174_CR6","doi-asserted-by":"crossref","unstructured":"Finin, T. & Drager, D. (1986). GUMS: A General User Modelling System. Report MS-CIS-86\u201335, Department of Computer and Information Science, University of Pennsylvannia.","DOI":"10.3115\/1077146.1077173"},{"key":"151174_CR7","unstructured":"Hayes-Roth, B. (1983). The Blackboard Architecture: A General Framework for Problem-Solving. Report no. HPY-83\u201330, Stanford Computer Science Department."},{"key":"151174_CR8","first-page":"533","volume-title":"Blackboard Systems","author":"J. Jones","year":"1988","unstructured":"Jones, J., Millington, M. & Ross, P. M. (1988). A Blackboard Shell in Prolog. In Englemore, R. & Morgan, A. J. (eds.) Blackboard Systems, 533\u2013542. Wokingham: Addison-Wesley."},{"key":"151174_CR9","unstructured":"Kemke, C. (1986). The SINIX Consultant: Requirements, Design, and Implementation of an Intelligent Help System for a UNIX Derivative. Bericht Nr. 11, FR.10.2 Informatik IV, University of Saarland, Saarbrucken FRG."},{"key":"151174_CR10","volume-title":"Intelligent Systems for UNIX.","author":"M. Matthews","year":"1999","unstructured":"Matthews, M. & Pharr, W. (1999). Knowledge Acquisition for Active Assistance. In Hegner, S., Mc Kevitt, P., Norvig, P.& Wilensky, R. (eds.) Intelligent Systems for UNIX. Dordrecht, The Netherlands: Kluwer Academic Publishers(this volume)."},{"issue":"12","key":"151174_CR11","first-page":"139","volume":"27","author":"D. A. Norman","year":"1981","unstructured":"Norman, D. A. (1981). The Trouble With Unix. Datamation\n                  27 (12): 139\u2013150.","journal-title":"Datamation"},{"key":"151174_CR12","doi-asserted-by":"publisher","first-page":"319","DOI":"10.1016\/S0364-0213(79)80012-9","volume":"3","author":"E. Rich","year":"1979","unstructured":"Rich, E. (1979). User Modelling Via Stereotypes. Cognitive Science\n                  3: 319\u2013354.","journal-title":"Cognitive Science"},{"key":"151174_CR13","volume-title":"The Art of Prolog","author":"L. Stirling","year":"1986","unstructured":"Stirling, L. & Shapiro, E. (1986). The Art of Prolog. Cambridge: MIT Press."},{"key":"151174_CR14","unstructured":"Virvou, M. (1992). User Modelling Using a Human Plausible Reasoning Theory. Ph.D. thesis, CSRP 251, School of Cognitive and Computing Sciences, University of Sussex, Brighton BN19QH, UK."},{"key":"151174_CR15","unstructured":"Virvou, M. (1998). RESCUER: Intelligent Help for Plausible User Errors. In Proceedings of ED-MEDIA\/ED-TELECOM 98\u2013World Conferences on Educational Multimedia and Educational Telecommunications."},{"key":"151174_CR16","volume-title":"Intelligent Systems for UNIX","author":"M. Virvou","year":"1999","unstructured":"Virvou, M., Jones, J. & Millington, M. (1999). Virtues and Problems of an active help system for UNIX. In Hegner, S., Mc Kevitt, P., Norvig, P.& Wilensky, R. (eds.) Intelligent Systems for UNIX. Dordrecht, The Netherlands: Kluwer Academic Publishers (this volume)."},{"key":"151174_CR17","unstructured":"Wilensky, R., Mayfield, J., Albert, A. Chin, D., Cox, C., Luria, M., Martin, J. & Wu, D. (1986). UC-A Progress Report. Report no. UCB\/CSD 87\/303, University of California at Berkeley, Computer Science Division (EECS)."}],"container-title":["Artificial Intelligence Review"],"original-title":[],"language":"en","link":[{"URL":"https:\/\/link.springer.com\/content\/pdf\/10.1023\/A:1006562430348.pdf","content-type":"application\/pdf","content-version":"vor","intended-application":"text-mining"},{"URL":"https:\/\/link.springer.com\/article\/10.1023\/A:1006562430348\/fulltext.html","content-type":"text\/html","content-version":"vor","intended-application":"text-mining"},{"URL":"https:\/\/link.springer.com\/content\/pdf\/10.1023\/A:1006562430348.pdf","content-type":"application\/pdf","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2025,5,18]],"date-time":"2025-05-18T04:30:24Z","timestamp":1747542624000},"score":1,"resource":{"primary":{"URL":"https:\/\/link.springer.com\/10.1023\/A:1006562430348"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2000,6]]},"references-count":17,"journal-issue":{"issue":"3","published-print":{"date-parts":[[2000,6]]}},"alternative-id":["151174"],"URL":"https:\/\/doi.org\/10.1023\/a:1006562430348","relation":{},"ISSN":["0269-2821","1573-7462"],"issn-type":[{"type":"print","value":"0269-2821"},{"type":"electronic","value":"1573-7462"}],"subject":[],"published":{"date-parts":[[2000,6]]}}}