{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2024,9,5]],"date-time":"2024-09-05T20:59:15Z","timestamp":1725569955216},"publisher-location":"Berlin, Heidelberg","reference-count":16,"publisher":"Springer Berlin Heidelberg","isbn-type":[{"type":"print","value":"9783540425939"},{"type":"electronic","value":"9783540454021"}],"license":[{"start":{"date-parts":[[2001,1,1]],"date-time":"2001-01-01T00:00:00Z","timestamp":978307200000},"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":[[2001]]},"DOI":"10.1007\/3-540-45402-0_23","type":"book-chapter","created":{"date-parts":[[2010,11,19]],"date-time":"2010-11-19T17:10:11Z","timestamp":1290186611000},"page":"309-321","update-policy":"http:\/\/dx.doi.org\/10.1007\/springer_crossmark_policy","source":"Crossref","is-referenced-by-count":3,"title":["New Generation Systems for Non-monotonic Reasoning"],"prefix":"10.1007","author":[{"given":"Pascal","family":"Nicolas","sequence":"first","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Fr\u00e9d\u00e9ric","family":"Saubion","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Igor","family":"St\u00e9phan","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]}],"member":"297","published-online":{"date-parts":[[2001,7,17]]},"reference":[{"key":"23_CR1","unstructured":"E. Aarts and J. K. Lenstra, editors. Local Search in Combinatorial Optimization. John Wiley and Sons, 1997. 318"},{"key":"23_CR2","doi-asserted-by":"publisher","first-page":"105","DOI":"10.1016\/S0004-3702(99)00053-3","volume":"112","author":"P. Cholewi\u0144ski","year":"1999","unstructured":"P. Cholewi\u0144ski, V. Marek, A. Mikitiuk, and M. Truszczy\u0144ski. Computing with default logic. Artificial Intelligence, 112:105\u2013146, 1999. 309, 319, 320","journal-title":"Artificial Intelligence"},{"key":"23_CR3","unstructured":"D. Corne, M. Dorigo, and F. Glover. New Ideas in Optimization. Mac Graw Hill, 1999. 316"},{"key":"23_CR4","doi-asserted-by":"publisher","first-page":"851","DOI":"10.1016\/S0167-739X(00)00042-X","volume":"16","author":"M. Dorigo","year":"2000","unstructured":"M. Dorigo, E. Bonabeau, and G. Theraulaz. Ant algorithms and stimergy. Future Generation Computer Systems, 16:851\u2013871, 2000. 316","journal-title":"Future Generation Computer Systems"},{"issue":"3","key":"23_CR5","doi-asserted-by":"publisher","first-page":"397","DOI":"10.1093\/logcom\/2.3.397","volume":"2","author":"G. Gottlob","year":"1992","unstructured":"G. Gottlob. Complexity results for nonmonotonic logics. Journal of Logic and Computation, 2(3):397\u2013425, June 1992. 309","journal-title":"Journal of Logic and Computation"},{"key":"23_CR6","unstructured":"J. H. Holland. Adaptation in Natural and Artificial Systemes. University of Michigan Press, 1975. 313"},{"key":"23_CR7","doi-asserted-by":"publisher","first-page":"31","DOI":"10.1016\/S0004-3702(00)00060-6","volume":"124","author":"T. Linke","year":"2000","unstructured":"T. Linke and T. Schaub. Alternative foundations for Reiter\u2019s default logic. Artificial Intelligence, 124:31\u201386, 2000. 320, 321","journal-title":"Artificial Intelligence"},{"key":"23_CR8","doi-asserted-by":"crossref","unstructured":"Z. Michalewicz. Genetic Algorithms + Data Structures = Evolution Programs. Springer Verlag, 1996. 313","DOI":"10.1007\/978-3-662-03315-9"},{"key":"23_CR9","unstructured":"P. Nicolas, F. Saubion, and I. Stephan. Combining heuristics for default logic reasoning systems. In Proceedings of the 12th IEEE International Conference on Tools with Artificial Intelligence (ICTAI2000), 2000. 315"},{"key":"23_CR10","unstructured":"P. Nicolas, F. Saubion, and I. Stephan. Gadel: a genetic algorithm to compute default logic extensions. In Proceedings of the European Conference on Artificial Intelligence, pages 484\u2013488, 2000. 310"},{"key":"23_CR11","unstructured":"I. Niemel\u00e4. Towards efficient default reasoning. In C. Mellish, editor, Proceedings of the International Joint Conference on Artificial Intelligence, pages 312\u2013318. Morgan Kaufmann Publishers, 1995. 309"},{"key":"23_CR12","doi-asserted-by":"crossref","unstructured":"I. Niemel\u00e4s and P. Simons. Smodels-an implementation of the stable model and well-founded semantics for normal logic programs. In Proceedings of LPNMR, volume 1265 of Lecture Notes in Artificial Intelligence, pages 420\u2013429, 1997. 320","DOI":"10.1007\/3-540-63255-7_32"},{"key":"23_CR13","unstructured":"A. Provetti and L. Tari. In Int. Genetic Evolutionary Computation GECCO\u201900, pages 303\u2013308, 2000. 310"},{"issue":"1-2","key":"23_CR14","doi-asserted-by":"publisher","first-page":"81","DOI":"10.1016\/0004-3702(80)90014-4","volume":"13","author":"R. Reiter","year":"1980","unstructured":"R. Reiter. A logic for default reasoning. Artificial Intelligence, 13(1-2):81\u2013132, 1980. 309, 311","journal-title":"Artificial Intelligence"},{"issue":"1","key":"23_CR15","doi-asserted-by":"crossref","first-page":"71","DOI":"10.1080\/11663081.1996.10510867","volume":"6","author":"V. Risch","year":"1996","unstructured":"V. Risch. Analytic tableaux for default logics. Journal of Applied Non-Classical Logics, 6(1):71\u201388, 1996. 311","journal-title":"Journal of Applied Non-Classical Logics"},{"key":"23_CR16","doi-asserted-by":"crossref","unstructured":"C. Schwind. A tableaux-based theorem prover for a decidable subset of default logic. In M. Stickel, editor, Proceedings of the Conference on Automated Deduction. Springer Verlag, 1990. 311","DOI":"10.1007\/3-540-52885-7_112"}],"container-title":["Lecture Notes in Computer Science","Logic Programming and Nonmotonic Reasoning"],"original-title":[],"language":"en","link":[{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/3-540-45402-0_23","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2019,5,19]],"date-time":"2019-05-19T10:53:24Z","timestamp":1558263204000},"score":1,"resource":{"primary":{"URL":"http:\/\/link.springer.com\/10.1007\/3-540-45402-0_23"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2001]]},"ISBN":["9783540425939","9783540454021"],"references-count":16,"URL":"https:\/\/doi.org\/10.1007\/3-540-45402-0_23","relation":{},"ISSN":["0302-9743"],"issn-type":[{"type":"print","value":"0302-9743"}],"subject":[],"published":{"date-parts":[[2001]]},"assertion":[{"value":"17 July 2001","order":1,"name":"first_online","label":"First Online","group":{"name":"ChapterHistory","label":"Chapter History"}}]}}