{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2024,5,5]],"date-time":"2024-05-05T01:48:52Z","timestamp":1714873732180},"reference-count":28,"publisher":"Elsevier","isbn-type":[{"value":"9781558603776","type":"print"}],"license":[{"start":{"date-parts":[[1995,1,1]],"date-time":"1995-01-01T00:00:00Z","timestamp":788918400000},"content-version":"tdm","delay-in-days":0,"URL":"https:\/\/www.elsevier.com\/tdm\/userlicense\/1.0\/"}],"content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":[],"published-print":{"date-parts":[[1995]]},"DOI":"10.1016\/b978-1-55860-377-6.50041-4","type":"book-chapter","created":{"date-parts":[[2014,7,1]],"date-time":"2014-07-01T03:00:14Z","timestamp":1404183614000},"page":"269-277","source":"Crossref","is-referenced-by-count":1,"title":["The Challenge of Revising an Impure Theory"],"prefix":"10.1016","author":[{"given":"Russell","family":"Greiner","sequence":"first","affiliation":[]}],"member":"78","reference":[{"key":"10.1016\/B978-1-55860-377-6.50041-4_bib1","doi-asserted-by":"crossref","unstructured":"Sanjeev Arora, Carsten Lund, Rajeev Motwani, Madhu Sudan, and Mario Szegedy Proof verification and hardness of approximation problems. In FOCS, 1992.","DOI":"10.1109\/SFCS.1992.267823"},{"key":"10.1016\/B978-1-55860-377-6.50041-4_bib2","doi-asserted-by":"crossref","first-page":"21","DOI":"10.1007\/BF01531068","article-title":"Polynomial-time inference of all valid implications for horn and related formulae","volume":"1","author":"Boros","year":"1990","journal-title":"Annals of Mathematics and Artificial Intelligence"},{"key":"10.1016\/B978-1-55860-377-6.50041-4_bib3","first-page":"91","article-title":"The difficulties of learning logic programs with cut","volume":"1","author":"Bergadeno","year":"1993","journal-title":"Journal of AI Research"},{"key":"10.1016\/B978-1-55860-377-6.50041-4_bib4","doi-asserted-by":"crossref","unstructured":"G. Benedek and A. Itai. Nonuniform learnability. In ICALP-88, pages 82\u201392, 1988.","DOI":"10.1007\/3-540-19488-6_108"},{"key":"10.1016\/B978-1-55860-377-6.50041-4_bib5","unstructured":"Gerhard Brewka. Preferred subtheories: An extended logical framework for default reasoning. In IJCAI-89, pages 1043\u201348, Detroit, August 1989."},{"key":"10.1016\/B978-1-55860-377-6.50041-4_bib6","series-title":"Programming in Prolog","author":"William Clocksin","year":"1981"},{"issue":"2","key":"10.1016\/B978-1-55860-377-6.50041-4_bib7","doi-asserted-by":"crossref","first-page":"241","DOI":"10.1016\/0890-5401(91)90025-W","article-title":"Completeness in approximation classes","volume":"93","author":"Crescenzi","year":"1991","journal-title":"Information and Computation"},{"issue":"3","key":"10.1016\/B978-1-55860-377-6.50041-4_bib8","doi-asserted-by":"crossref","DOI":"10.1016\/0004-3702(91)90029-J","article-title":"Two theses of knowledge representation: Language restrictions, taxonomic classification, and the utility of representation services","volume":"48","author":"Doyle","year":"1991","journal-title":"Artificial Intelligence"},{"key":"10.1016\/B978-1-55860-377-6.50041-4_bib9","series-title":"Computers and Intractability: A Guide to the Theory of NP-Completeness","author":"Garey","year":"1979"},{"issue":"1","key":"10.1016\/B978-1-55860-377-6.50041-4_bib10","doi-asserted-by":"crossref","first-page":"95","DOI":"10.1016\/0004-3702(91)90092-X","article-title":"Finding the optimal derivation strategy in a redundant knowledge base","volume":"50","author":"Greiner","year":"1991","journal-title":"Artificial Intelligence"},{"key":"10.1016\/B978-1-55860-377-6.50041-4_bib11","doi-asserted-by":"crossref","unstructured":"Russell Greiner. The challenge of revising impure theories. Technical report, Siemens Corporate Research, 1995. (See also ftp :\/\/scr.Siemens.com\/pub\/learning\/ Papers\/greiner\/impure.ps).","DOI":"10.1016\/B978-1-55860-377-6.50041-4"},{"key":"10.1016\/B978-1-55860-377-6.50041-4_bib12","unstructured":"Russell Greiner. The complexity of theory revision. In IJCAI-95, 1995. (See also ftp :\/\/scr.Siemens.com\/pub\/learning\/ Papers\/greiner\/comp-tr.ps)."},{"key":"10.1016\/B978-1-55860-377-6.50041-4_bib13","unstructured":"Benjamin Grosof. Generalizing prioritization. In KR-91, pages 289\u2013300, Boston, April 1991."},{"key":"10.1016\/B978-1-55860-377-6.50041-4_bib14","unstructured":"Viggo Kann. On the Approximability of NP-Complete Optimization Problems. PhD thesis, Royal Institute of Technology, Stockholm, 1992."},{"key":"10.1016\/B978-1-55860-377-6.50041-4_bib15","unstructured":"Pat Langley, George Drastal, R. Bharat Rao, and Russell Greiner. Theory revision in fault hierarchies. In Fifth International Workshop on Principles of Diagnosis (DX- 94), New Paltz, NY, 1994."},{"key":"10.1016\/B978-1-55860-377-6.50041-4_bib16","doi-asserted-by":"crossref","first-page":"155","DOI":"10.1016\/0004-3702(84)90009-2","article-title":"Foundations of a functional approach to knowledge representation","volume":"23","author":"Levesque","year":"1984","journal-title":"Artificial Intelligence"},{"key":"10.1016\/B978-1-55860-377-6.50041-4_bib17","doi-asserted-by":"crossref","unstructured":"Charles Ling and Marco Valtorta. Revision of reduced theories. In MLC-91. pages 519\u201323, 1991.","DOI":"10.1016\/B978-1-55860-200-7.50106-9"},{"key":"10.1016\/B978-1-55860-377-6.50041-4_bib18","series-title":"MLC-88","first-page":"339","article-title":"Machine invention of first order predicates by inverting resolution","author":"Muggleton","year":"1988"},{"issue":"2","key":"10.1016\/B978-1-55860-377-6.50041-4_bib19","doi-asserted-by":"crossref","first-page":"273","DOI":"10.1016\/0004-3702(94)90028-0","article-title":"Theory refinement combining analytical and empirical methods","volume":"66","author":"Ourston","year":"1994","journal-title":"Artificial Intelligence"},{"key":"10.1016\/B978-1-55860-377-6.50041-4_bib20","series-title":"The Knowledge Frontier: Essays in the Representation of Knowledge","first-page":"331","article-title":"Theorist: A logical reasoning system for default and diagnosis","author":"Poole","year":"1987"},{"key":"10.1016\/B978-1-55860-377-6.50041-4_bib21","first-page":"147","article-title":"Nonmonotonic reasoning","volume":"volume 2","author":"Reiter","year":"1987"},{"key":"10.1016\/B978-1-55860-377-6.50041-4_bib22","unstructured":"Paul van Arragon. Nested default reasoning with priority levels. In CSCSI-90, pages 77\u201383, Ottawa, May 1990."},{"key":"10.1016\/B978-1-55860-377-6.50041-4_bib23","doi-asserted-by":"crossref","unstructured":"Marco Valtorta. Some results on the complexity of knowledge-base refinement. In MLC-89 pages 326\u201331, 1989.","DOI":"10.1016\/B978-1-55860-036-2.50085-0"},{"key":"10.1016\/B978-1-55860-377-6.50041-4_bib24","doi-asserted-by":"crossref","unstructured":"Marco Valtorta. More results on the complexity of knowledge base refinement: Belief networks. In MLC-90. pages 419\u201326, 1990.","DOI":"10.1016\/B978-1-55860-141-3.50053-5"},{"key":"10.1016\/B978-1-55860-377-6.50041-4_bib25","series-title":"Estimation of Dependences Based on Empirical Data","author":"Vapnik","year":"1982"},{"key":"10.1016\/B978-1-55860-377-6.50041-4_bib26","unstructured":"David Vormittag. Evaluating answers to questions, May 1991. Bachelors Thesis, University of Toronto."},{"key":"10.1016\/B978-1-55860-377-6.50041-4_bib27","doi-asserted-by":"crossref","first-page":"1","DOI":"10.1016\/0004-3702(94)90101-5","article-title":"The refinement of probabilistic rule sets: socio- pathic interactions","volume":"70","author":"Wilkins","year":"1994","journal-title":"Artificial Intelligence"},{"key":"10.1016\/B978-1-55860-377-6.50041-4_bib28","unstructured":"James Wogulis and Michael J. Pazzani. A methodology for evaluating theory revision systems: Results with Audrey II. In IJCAI-93, pages 1128\u20131134, 1993"}],"container-title":["Machine Learning Proceedings 1995"],"original-title":[],"language":"en","link":[{"URL":"https:\/\/api.elsevier.com\/content\/article\/PII:B9781558603776500414?httpAccept=text\/xml","content-type":"text\/xml","content-version":"vor","intended-application":"text-mining"},{"URL":"https:\/\/api.elsevier.com\/content\/article\/PII:B9781558603776500414?httpAccept=text\/plain","content-type":"text\/plain","content-version":"vor","intended-application":"text-mining"}],"deposited":{"date-parts":[[2019,8,12]],"date-time":"2019-08-12T05:46:03Z","timestamp":1565588763000},"score":1,"resource":{"primary":{"URL":"https:\/\/linkinghub.elsevier.com\/retrieve\/pii\/B9781558603776500414"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[1995]]},"ISBN":["9781558603776"],"references-count":28,"URL":"https:\/\/doi.org\/10.1016\/b978-1-55860-377-6.50041-4","relation":{},"subject":[],"published":{"date-parts":[[1995]]}}}