{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2025,3,22]],"date-time":"2025-03-22T04:19:57Z","timestamp":1742617197508,"version":"3.40.2"},"publisher-location":"Berlin, Heidelberg","reference-count":45,"publisher":"Springer Berlin Heidelberg","isbn-type":[{"type":"print","value":"9783540581079"},{"type":"electronic","value":"9783540484530"}],"content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":[],"published-print":{"date-parts":[[1994]]},"DOI":"10.1007\/3-540-58107-3_9","type":"book-chapter","created":{"date-parts":[[2012,2,26]],"date-time":"2012-02-26T15:14:13Z","timestamp":1330269253000},"page":"145-159","source":"Crossref","is-referenced-by-count":0,"title":["Learning an optimally accurate representation system"],"prefix":"10.1007","author":[{"given":"Russell","family":"Greiner","sequence":"first","affiliation":[]},{"given":"Dale","family":"Schuurmans","sequence":"additional","affiliation":[]}],"member":"297","published-online":{"date-parts":[[2005,6,7]]},"reference":[{"key":"9_CR1","doi-asserted-by":"crossref","first-page":"510","DOI":"10.2307\/2274239","volume":"50","author":"C. E. Alchourr\u00f3n","year":"1985","unstructured":"Carlos E. Alchourr\u00f3n, Peter G\u00e4rdenfors, and David Makinson. On the logic of theory change: Partial meet contraction and revision functions. Journal of Symbolic Logic, 50:510\u201330, 1985.","journal-title":"Journal of Symbolic Logic"},{"unstructured":"Mark Boddy and Thomas Dean. Solving time dependent planning problems. Technical report, Brown University, 1988.","key":"9_CR2"},{"unstructured":"Alex Borgida and David Etherington. Hierarchical knowledge bases and efficient disjunctive reasoning. In Proceedings of KR-89, pages 33\u201343, Toronto, May 1989.","key":"9_CR3"},{"unstructured":"Bruce G. Buchanan, Thomas M. Mitchell, Reid G. Smith, and C. R. Johnson, Jr. Models of learning systems. In Encyclopedia of Computer Science and Technology, volume 11. Dekker, 1978.","key":"9_CR4"},{"unstructured":"B. Bollob\u00e1s. Random Graphs. Academic Press, 1985.","key":"9_CR5"},{"unstructured":"Gerhard Brewka. Preferred subtheories: An extended logical framework for default reasoning. In Proceedings of IJCAI-89, pages 1043\u201348, Detroit, August 1989.","key":"9_CR6"},{"key":"9_CR7","doi-asserted-by":"crossref","first-page":"293","DOI":"10.1007\/978-1-4684-3384-5_11","volume-title":"Logic and Data Bases","author":"K. Clark","year":"1978","unstructured":"K. Clark. Negation as failure. In H. Gallaire and J. Minker, editors, Logic and Data Bases, pages 293\u2013322. Plenum Press, New York, 1978."},{"unstructured":"William W. Cohen. Learning from textbook knowledge: A case study. In Proceeding of AAAI-90, 1990.","key":"9_CR8"},{"issue":"2","key":"9_CR9","first-page":"167","volume":"8","author":"W. W. Cohen","year":"1992","unstructured":"William W. Cohen. Abductive explanation-based learning: A solution to the multiple inconsistent explanation problems. Machine Learning, 8(2):167\u2013219, March 1992.","journal-title":"Machine Learning"},{"unstructured":"Thomas Dean and Mark Boddy. An analysis of time-dependent planning. In Proceedings of AAAI-88, pages 49\u201354, August 1988.","key":"9_CR10"},{"unstructured":"Mukesh Dalal and David Etherington. Tractable approximate deduction using limited vocabulary. In Proceedings of CSCSI-92, Vancouver, May 1992.","key":"9_CR11"},{"doi-asserted-by":"crossref","unstructured":"Jon Doyle and Ramesh Patil. Two theses of knowledge representation: Language restrictions, taxonomic classification, and the utility of representation services. Artificial Intelligence, 48(3), 1991.","key":"9_CR12","DOI":"10.1016\/0004-3702(91)90029-J"},{"doi-asserted-by":"crossref","unstructured":"N. Flann and T. G. Dietterich. A study of explanation-based methods for inductive learning. Machine Learning, 4, 1989.","key":"9_CR13","DOI":"10.1023\/A:1022652016863"},{"key":"9_CR14","volume-title":"Bradford Book","author":"P. Gardenfors","year":"1988","unstructured":"Peter Gardenfors. Knowledge in Flux: Modeling the Dynamics of the Epistemic States. Bradford Book, MIT Press, Cambridge, MA, 1988."},{"unstructured":"Russell Greiner and Charles Elkan. Measuring and improving the effectiveness of representations. In Proceedings of IJCAI-91, pages 518\u201324, Sydney, Australia, August 1991.","key":"9_CR15"},{"unstructured":"Russell Greiner and Igor Juri\u0161ica. A statistical approach to solving the EBL utility problem. In Proceedings of AAAI-92, San Jose, 1992.","key":"9_CR16"},{"key":"9_CR17","volume-title":"Proceedings of KR-91","author":"R. Greiner","year":"1991","unstructured":"Russell Greiner and Pekka Orponen. Probably approximately optimal derivation strategies. In J.A. Allen, R. Fikes, and E. Sandewall, editors, Proceedings of KR-91, San Mateo, CA, April 1991. Morgan Kaufmann."},{"unstructured":"Russell Greiner. Learning near optimal horn approximations. In Proceedings of Knowledge Assimilation Symposium, Stanford, March 1992.","key":"9_CR18"},{"unstructured":"Russell Greiner. Probabilistic hill-climbing: Theory and applications. In Proceedings of CSCSI-92, Vancouver, June 1992.","key":"9_CR19"},{"unstructured":"Russell Greiner. The complexity of computing optimally-accurate default theories. Technical report, Siemens Corporate Research, 1993.","key":"9_CR20"},{"unstructured":"Benjamin Grosof. Generalizing prioritization. In Proceedings of KR-91, pages 289\u2013300, Boston, April 1991.","key":"9_CR21"},{"key":"9_CR22","volume-title":"Proceedings of KR-92","author":"R. Greiner","year":"1992","unstructured":"Russell Greiner and Dale Schuurmans. Learning useful horn approximations. In B. Nebel, C. Rich, and W. Swartout, editors, Proceedings of KR-92, San Mateo, CA, October 1992. Morgan Kaufmann."},{"doi-asserted-by":"crossref","unstructured":"David Haussler. Quantifying inductive bias: AI learning algorithms and Valiant's learning framework. Artificial Intelligence, pages 177\u2013221, 1988.","key":"9_CR23","DOI":"10.1016\/0004-3702(88)90002-1"},{"issue":"1\u20133","key":"9_CR24","doi-asserted-by":"crossref","first-page":"185","DOI":"10.1016\/0004-3702(89)90049-0","volume":"40","author":"G. Hinton","year":"1989","unstructured":"Geoff Hinton. Connectionist learning procedures. Artificial Intelligence, 40(1\u20133):185\u2013234, September 1989.","journal-title":"Artificial Intelligence"},{"unstructured":"David Haussler and Leslie Valiant, editors. Proceedings of the First Workshop on Computational Learning Theory. Morgan Kaufmann, MIT, 1988.","key":"9_CR25"},{"doi-asserted-by":"crossref","unstructured":"H. Kyburg. The reference class. Philosophy of Science, 50, 1982.","key":"9_CR26","DOI":"10.1086\/289125"},{"key":"9_CR27","doi-asserted-by":"crossref","first-page":"155","DOI":"10.1016\/0004-3702(84)90009-2","volume":"23","author":"H. J. Levesque","year":"1984","unstructured":"Hector J. Levesque. Foundations of a functional approach to knowledge representation. Artificial Intelligence, 23:155\u2013212, 1984.","journal-title":"Artificial Intelligence"},{"key":"9_CR28","volume-title":"Computing reference classes","author":"R. Loui","year":"1988","unstructured":"R. Loui. Computing reference classes. In AAAI Workshop on Uncertainty. Morgan Kaufmann, St Paul, 1988."},{"doi-asserted-by":"crossref","unstructured":"S. Muggleton and W. Buntine. Machine invention of first order predicates by inverting resolution. In Proceedings of IML-88, pages 339\u201351. Morgan Kaufmann, 1988.","key":"9_CR29","DOI":"10.1016\/B978-0-934613-64-4.50040-2"},{"volume-title":"Machine Learning: An Artificial Intelligence Approach","year":"1983","unstructured":"Ryszard S. Michalski, Jaime G. Carbonell, and Thomas M. Mitchell, editors. Machine Learning: An Artificial Intelligence Approach. Tioga Publishing Company, Palo Alto, CA, 1983.","key":"9_CR30"},{"unstructured":"Thomas M. Mitchell. The need for bias in learning generalizations. Technical Report CBM-TR-117, Laboratory for Computer Science Research, May 1980.","key":"9_CR31"},{"unstructured":"Paul Morris. Curing anomalous extensions. In Proceedings of AAAI-87, pages 437\u201342, Seattle, July 1987.","key":"9_CR32"},{"doi-asserted-by":"crossref","unstructured":"Pekka Orponen and Russell Greiner. On the sample complexity of finding good search strategies. In Proceedings of COLT-90, pages 352\u201358, Rochester, August 1990.","key":"9_CR33","DOI":"10.1016\/B978-1-55860-146-8.50030-8"},{"unstructured":"Dirk Ourston and Raymond J. Mooney. Changing the rules: A comprehensive approach to theory refinement. In Proceedings of AAAI-90, pages 815\u201320, 1990.","key":"9_CR34"},{"unstructured":"M. Pazzani. Selecting the best explanation in explanation-based learning. In Proceedings of Symposium on Explanation-Based Learning, Stanford, March 1988.","key":"9_CR35"},{"unstructured":"David Poole, Randy Goebel, and Romas Aleliunas. Theorist: A logical reasoning system for default and diagnosis. Technical Report CS-86-06, Logic Programming and Artificial Intelligence Group, Faculty of Mathematics, University of Waterloo, February 1986.","key":"9_CR36"},{"issue":"3","key":"9_CR37","first-page":"239","volume":"5","author":"J. R. Quinlan","year":"1990","unstructured":"J. Ross Quinlan. Learning logical definitions from relations. Machine Learning Journal, 5(3):239\u201366, August 1990.","journal-title":"Machine Learning Journal"},{"key":"9_CR38","first-page":"147","volume-title":"Annual Review of Computing Sciences, volume 2","author":"R. Reiter","year":"1987","unstructured":"Raymond Reiter. Nonmonotonic reasoning. In Annual Review of Computing Sciences, volume 2, pages 147\u201387. Annual Reviews Incorporated, Palo Alto, 1987."},{"unstructured":"Stuart J. Russell and Benjamin N. Grosof. A declarative approach to bias in concept learning. In Proceedings of AAAI-87, pages 505\u201310, Seattle, WA, July 1987.","key":"9_CR39"},{"doi-asserted-by":"crossref","unstructured":"Ehud Shapiro. Algorithmic Program Debugging. MIT Press, 1983.","key":"9_CR40","DOI":"10.7551\/mitpress\/1192.001.0001"},{"key":"9_CR41","doi-asserted-by":"crossref","first-page":"283","DOI":"10.1016\/0004-3702(89)90016-7","volume":"39","author":"L. Shastri","year":"1989","unstructured":"Lokendra Shastri. Default reasoning in semantic networks: A formalization of recognition and inheritance. Artificial Intelligence, 39:283\u2013355, 1989.","journal-title":"Artificial Intelligence"},{"unstructured":"Bart Selman and Henry Kautz. Knowledge compilation using horn approximations. In Proceedings of AAAI-91, pages 904\u201309, Anaheim, August 1991.","key":"9_CR42"},{"unstructured":"Paul van Arragon. Nested default reasoning with priority levels. In Proceedings of CSCSI-90, pages 77\u201383, Ottawa, May 1990.","key":"9_CR43"},{"unstructured":"David Vormittag. Evaluating answers to questions, May 1991. Bachelors Thesis, University of Toronto.","key":"9_CR44"},{"unstructured":"Jonathan Wong. Improving the accuracy of a representational system, May 1991. Bachelors Thesis, University of Toronto.","key":"9_CR45"}],"container-title":["Lecture Notes in Computer Science","Foundations of Knowledge Representation and Reasoning"],"original-title":[],"link":[{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/3-540-58107-3_9.pdf","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2025,3,21]],"date-time":"2025-03-21T22:20:14Z","timestamp":1742595614000},"score":1,"resource":{"primary":{"URL":"http:\/\/link.springer.com\/10.1007\/3-540-58107-3_9"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[1994]]},"ISBN":["9783540581079","9783540484530"],"references-count":45,"URL":"https:\/\/doi.org\/10.1007\/3-540-58107-3_9","relation":{},"ISSN":["0302-9743","1611-3349"],"issn-type":[{"type":"print","value":"0302-9743"},{"type":"electronic","value":"1611-3349"}],"subject":[],"published":{"date-parts":[[1994]]}}}