{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2024,9,4]],"date-time":"2024-09-04T23:39:47Z","timestamp":1725493187788},"publisher-location":"Berlin, Heidelberg","reference-count":19,"publisher":"Springer Berlin Heidelberg","isbn-type":[{"type":"print","value":"9783540441908"},{"type":"electronic","value":"9783540457572"}],"content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":[],"published-print":{"date-parts":[[2002]]},"DOI":"10.1007\/3-540-45757-7_40","type":"book-chapter","created":{"date-parts":[[2007,10,20]],"date-time":"2007-10-20T17:50:39Z","timestamp":1192902639000},"page":"481-492","source":"Crossref","is-referenced-by-count":1,"title":["Answer Set Programming by Ant Colony Optimization"],"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":[[2002,9,20]]},"reference":[{"key":"40_CR1","doi-asserted-by":"crossref","unstructured":"Gerhard Brewka and J\u00fcrgen Dix. Knowledge Representation with Logic Programs. In J. Dix, L. Pereira, and T. Przymusinski, editors, Logic Programming and Knowledge Representation, volume 1471 of LNAI, pages 1\u201355. Springer Verlag, 1998.","DOI":"10.1007\/BFb0054788"},{"issue":"1","key":"40_CR2","first-page":"25","volume":"7","author":"B. Bullnheimer","year":"1999","unstructured":"B. Bullnheimer, R. Hartl, and C. Strauss. A new rank based version of the ant system \u2014 a computational study. Central European Journal of Operations Research, 7(1):25\u201338, 1999.","journal-title":"Central European Journal of Operations Research"},{"key":"40_CR3","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.","journal-title":"Artificial Intelligence"},{"key":"40_CR4","unstructured":"D. Corne, M. Dorigo, and F. Glover. New Ideas in Optimization. Mac Graw Hill, 1999."},{"key":"40_CR5","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.","journal-title":"Future Generation Computer Systems"},{"key":"40_CR6","doi-asserted-by":"crossref","unstructured":"T. Eiter, W. Faber, N. Leone, and G. Pfeifer. Declarative problem solving using the dlv system. In J Minker, editor, Logic Based AI, pages 79\u2013103. Kluwer Academic Publishers, 2000.","DOI":"10.1007\/978-1-4615-1567-8_4"},{"key":"40_CR7","unstructured":"T. Eiter and G. Gottlob. Complexity results for disjunctive logic programming and application to nonmonotonic logics. In D. Miller, editor, ILP Symposium, pages 266\u2013278. MIT Press, 1993."},{"key":"40_CR8","unstructured":"M. Gelfond and V. Lifschitz. The stable model semantics for logic programming. In Robert A. Kowalski and Kenneth Bowen, editors, Proceedings of the International Conference on Logic Programming, pages 1070\u20131080. The MIT Press, 1988."},{"key":"40_CR9","doi-asserted-by":"crossref","unstructured":"M. Gelfond and V. Lifschitz. Classical negation in logic programs and deductive databases. New Generation Computing, 1991.","DOI":"10.1007\/BF03037169"},{"key":"40_CR10","doi-asserted-by":"crossref","unstructured":"N. Leone, S. Perri, and P. Rullo. Local search techniques for disjunctive logic programs. In E. Lamma and P. Mello, editors, AI*IA\u201999: Advances in Artificial Intelligence, number 1792 in LNAI, pages 107\u2013118. Springer, 2000.","DOI":"10.1007\/3-540-46238-4_10"},{"key":"40_CR11","unstructured":"Th. Linke. Graph theoretical characterization and computation of answer sets. In B. Nebel, editor, Proceedings of the IJCAI, pages 641\u2013645. Morgan Kaufmann Publishers, 2001."},{"issue":"3","key":"40_CR12","doi-asserted-by":"publisher","first-page":"588","DOI":"10.1145\/116825.116836","volume":"38","author":"W. Marek","year":"1991","unstructured":"W. Marek and M. Truszczy\u0144ski. Autoepistemic logic. Journal of the ACM, 38(3):588\u2013619, 1991.","journal-title":"Journal of the ACM"},{"key":"40_CR13","series-title":"Lect Notes Comput Sci","doi-asserted-by":"crossref","first-page":"580","DOI":"10.1007\/3-540-44652-4_51","volume-title":"Comparing a pair-wise compatibility heuristic and relaxed stratification: Some preliminary results","author":"R. Mercer","year":"2001","unstructured":"R. Mercer, L. Forget, and V. Risch. Comparing a pair-wise compatibility heuristic and relaxed stratification: Some preliminary results. In S. Benferhat and P. Besnard, editors, Proceedings of ECSQARU, volume 2143 of LNCS, pages 580\u2013591. Springer Verlag, 2001."},{"key":"40_CR14","unstructured":"P. Nicolas, F. Saubion, and I. St\u00e9phan. GADEL: a genetic algorithm to compute default logic extensions. In Proceedings of the European Conference on Artificial Intelligence, pages 484\u2013488, 2000."},{"key":"40_CR15","series-title":"Lect Notes Comput Sci","doi-asserted-by":"crossref","first-page":"309","DOI":"10.1007\/3-540-45402-0_23","volume-title":"New generation systems for non-monotonic reasoning","author":"P. Nicolas","year":"2001","unstructured":"P. Nicolas, F. Saubion, and I. St\u00e9phan. New generation systems for non-monotonic reasoning. In T. Eiter, M. Truszczynski, and W. Faber, editors, International Conference on Logic Programming and NonMonotonic Reasoning, LNCS, pages 309\u2013321, 2001."},{"key":"40_CR16","unstructured":"I. Niemel\u00e4, P. Simons, and T. Syrjanen. Smodels: a system for answer set programming. In Proceedings of the 8th International Workshop on Non-Monotonic Reasoning, Breckenridge, Colorado, USA, 2000."},{"key":"40_CR17","unstructured":"A. Provetti and L. Tari. Answer sets computation by genetic algorithms. In Genetic and Evolutionary Computation Conference, pages 303\u2013308, 2000."},{"issue":"1\u20132","key":"40_CR18","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\u20132):81\u2013132, 1980.","journal-title":"Artificial Intelligence"},{"issue":"8","key":"40_CR19","doi-asserted-by":"publisher","first-page":"889","DOI":"10.1016\/S0167-739X(00)00043-1","volume":"16","author":"T. St\u00fctzle","year":"2000","unstructured":"T. St\u00fctzle and Holger H. Hoos. Max-min ant system. Future Generation Computer systems, 16(8):889\u2013914, 2000.","journal-title":"Future Generation Computer systems"}],"container-title":["Lecture Notes in Computer Science","Logics in Artificial Intelligence"],"original-title":[],"link":[{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/3-540-45757-7_40","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2019,5,3]],"date-time":"2019-05-03T22:07:52Z","timestamp":1556921272000},"score":1,"resource":{"primary":{"URL":"http:\/\/link.springer.com\/10.1007\/3-540-45757-7_40"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2002]]},"ISBN":["9783540441908","9783540457572"],"references-count":19,"URL":"https:\/\/doi.org\/10.1007\/3-540-45757-7_40","relation":{},"ISSN":["0302-9743"],"issn-type":[{"type":"print","value":"0302-9743"}],"subject":[],"published":{"date-parts":[[2002]]}}}