{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2024,9,4]],"date-time":"2024-09-04T21:21:02Z","timestamp":1725484862579},"publisher-location":"Berlin, Heidelberg","reference-count":16,"publisher":"Springer Berlin Heidelberg","isbn-type":[{"type":"print","value":"9783540677970"},{"type":"electronic","value":"9783540449577"}],"license":[{"start":{"date-parts":[[2000,1,1]],"date-time":"2000-01-01T00:00:00Z","timestamp":946684800000},"content-version":"tdm","delay-in-days":0,"URL":"http:\/\/www.springer.com\/tdm"}],"content-domain":{"domain":["link.springer.com"],"crossmark-restriction":false},"short-container-title":[],"published-print":{"date-parts":[[2000]]},"DOI":"10.1007\/3-540-44957-4_60","type":"book-chapter","created":{"date-parts":[[2007,6,1]],"date-time":"2007-06-01T01:24:41Z","timestamp":1180661081000},"page":"897-911","update-policy":"http:\/\/dx.doi.org\/10.1007\/springer_crossmark_policy","source":"Crossref","is-referenced-by-count":1,"title":["Smallest Equivalent Sets for Finite Propositional Formula Circumscription"],"prefix":"10.1007","author":[{"given":"Yves","family":"Moinard","sequence":"first","affiliation":[]},{"given":"Raymond","family":"Rolland","sequence":"additional","affiliation":[]}],"member":"297","published-online":{"date-parts":[[2000,12,15]]},"reference":[{"key":"60_CR1","volume-title":"Combinatorics of Finite Sets","author":"I. Anderson","year":"1987","unstructured":"Ian Anderson, Combinatorics of Finite Sets, Oxford University Press (Oxford Science Publications), Oxford, 1987."},{"key":"60_CR2","doi-asserted-by":"crossref","unstructured":"Garret Birkhoff, Lattice Theory, American Mathematical Society, 1940, 1948, 1967, Reprinted (1984).","DOI":"10.1090\/coll\/025"},{"key":"60_CR3","doi-asserted-by":"crossref","unstructured":"Tom Costello, \u2018The expressive power of circumscription\u2019, Artificial Intelligence, 104(1\u20132), 313\u2013329, (September 1998).","DOI":"10.1016\/S0004-3702(98)00050-2"},{"key":"60_CR4","unstructured":"B.A. Davey and H.A. Priestley, Introduction to Lattices and Order, Cambridge University Press, 1990."},{"key":"60_CR5","doi-asserted-by":"crossref","unstructured":"Johan de Kleer and Kurt Konolige, \u2018Eliminating the Fixed Predicates from a Circumscription\u2019, Artificial Intelligence, 39(3), 391\u2013398, (July 1989).","DOI":"10.1016\/0004-3702(89)90018-0"},{"key":"60_CR6","doi-asserted-by":"crossref","unstructured":"Michael Freund, \u2018Preferential reasoning in the perspective of Poole default logic\u2019, Artificial Intelligence, 98(1, 2), 209\u2013235, (January 1998).","DOI":"10.1016\/S0004-3702(97)00053-2"},{"key":"60_CR7","unstructured":"Dan J. Kleitman. personal communication, March 2000."},{"key":"60_CR8","doi-asserted-by":"publisher","first-page":"416","DOI":"10.2307\/1989739","volume":"42","author":"H. M. MacNeille","year":"1937","unstructured":"H. M. MacNeille, \u2018Partially ordered sets\u2019, Transactions of the American Mathematical Society\n                           42, 416\u2013460, (1937).","journal-title":"Transactions of the American Mathematical Society"},{"key":"60_CR9","doi-asserted-by":"crossref","unstructured":"John McCarthy, \u2018Application of circumscription to formalizing common sense knowledge\u2019, Artificial Intelligence, 28(1) 89\u2013116, (February 1986).","DOI":"10.1016\/0004-3702(86)90032-9"},{"key":"60_CR10","first-page":"20","volume-title":"Common Sense\u201998","author":"Y. Moinard","year":"1998","unstructured":"Yves Moinard and Raymond Rolland, \u2018Circumscriptions from what they cannot do (Preliminary report)\u2019, in Common Sense\u201998, pp. 20\u201341, University of London, London, (January 1998). \n                    http:\/\/www.ida.liu.se\/ext\/etai\/nj\/fcs-98\/listing.html"},{"key":"60_CR11","volume-title":"Technical report","author":"Y. Moinard","year":"1998","unstructured":"Yves Moinard and Raymond Rolland, \u2018Propositional circumscriptions\u2019, Technical report, INRIA-IRISA, PI 1211, Rennes, France, (October 1998). \n                    http:\/\/www.irisa.fr\/EXTERNE\/bibli\/pi\/1211\/1211.html\n                    \n                  ."},{"key":"60_CR12","unstructured":"Yves Moinard and Raymond Rolland, \u2018Equivalent sets of formulas for circumscriptions\u2019, in ECAI\u20192000, ed., Werner Horn, Berlin, (August 2000). Wiley."},{"key":"60_CR13","doi-asserted-by":"crossref","unstructured":"Donald Perlis and Jack Minker, \u2018Completeness results for circumscription\u2019, Artificial Intelligence, 28(1), 29\u201342, (February 1986).","DOI":"10.1016\/0004-3702(86)90029-9"},{"key":"60_CR14","unstructured":"Ken Satoh, \u2018A Probabilistic Interpretation for Lazy Nonmonotonic Reasoning\u2019, in AAAI-90, pp. 659\u2013664. MIT Press, (1990)."},{"key":"60_CR15","volume-title":"Reasoning about change","author":"Y. Shoham","year":"1988","unstructured":"Y Shoham. Reasoning about change. MIT Press, Cambridge, 1988."},{"key":"60_CR16","unstructured":"N.J.A Sloane. On-Line Encyclopedia of Integer Sequences. Published electronically at \n                    http:\/\/www.research.att.com\/~njas\/sequences\/\n                    \n                   (as of March, 2000)."}],"container-title":["Lecture Notes in Computer Science","Computational Logic \u2014 CL 2000"],"original-title":[],"language":"en","link":[{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/3-540-44957-4_60","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2019,5,19]],"date-time":"2019-05-19T09:32:27Z","timestamp":1558258347000},"score":1,"resource":{"primary":{"URL":"http:\/\/link.springer.com\/10.1007\/3-540-44957-4_60"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2000]]},"ISBN":["9783540677970","9783540449577"],"references-count":16,"URL":"https:\/\/doi.org\/10.1007\/3-540-44957-4_60","relation":{},"ISSN":["0302-9743"],"issn-type":[{"type":"print","value":"0302-9743"}],"subject":[],"published":{"date-parts":[[2000]]},"assertion":[{"value":"15 December 2000","order":1,"name":"first_online","label":"First Online","group":{"name":"ChapterHistory","label":"Chapter History"}}]}}