{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2024,9,4]],"date-time":"2024-09-04T23:40:17Z","timestamp":1725493217822},"publisher-location":"Berlin, Heidelberg","reference-count":11,"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_46","type":"book-chapter","created":{"date-parts":[[2007,10,20]],"date-time":"2007-10-20T13:50:39Z","timestamp":1192888239000},"page":"521-524","source":"Crossref","is-referenced-by-count":4,"title":["NoMoRe: Non-monotonic Reasoning with Logic Programs"],"prefix":"10.1007","author":[{"given":"Christian","family":"Anger","sequence":"first","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Kathrin","family":"Konczak","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Thomas","family":"Linke","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]}],"member":"297","published-online":{"date-parts":[[2002,9,20]]},"reference":[{"key":"46_CR1","unstructured":"A. Aggoun, D. Chan, P. Dufresne, et al. Eclipse user manual release 5.0, 2000."},{"key":"46_CR2","doi-asserted-by":"crossref","unstructured":"C. Anger, K. Konczak, and T. Linke. NoMoRe: A system for non-monotonic reasoning under answer set semantics. InW. Faber T. Eiter and M. Truszczy\u0144ski, editors, Proceedings of the 6th International Conference on Logic Programming and Nonmonotonic Reasoning (LPNMR\u201901), pages 406\u2013410. Springer, 2001.","DOI":"10.1007\/3-540-45402-0_32"},{"key":"46_CR3","unstructured":"P. Cholewi\u0144ski, V. Marek, A. Mikitiuk, and M. Truszczy\u0144ski. Experimenting with nonmonotonic reasoning. In Proceedings of the International Conference on Logic Programming, pages 267\u2013281. MIT Press, 1995."},{"key":"46_CR4","doi-asserted-by":"publisher","first-page":"365","DOI":"10.1007\/BF03037169","volume":"9","author":"M. Gelfond","year":"1991","unstructured":"M. Gelfond and V. Lifschitz. Classical negation in logic programs and deductive databases. New Generation Computing, 9:365\u2013385, 1991.","journal-title":"New Generation Computing"},{"key":"46_CR5","unstructured":"P. Simons I. Niemel and T. Soininen. Stable model semantics of weight constraint rules. In M. Gelfond, N. Leone, and G. Pfeifer, editors, Proceedings of the 5th International Conferenceon Logic Programming and Nonmonotonic Reasoning (LPNMR\u201999), volume 1730 of Lecture Notes in Artificial Intelligence, pages 177\u2013191, El Paso, Texas, USA, 1999. Springer Verlag."},{"key":"46_CR6","doi-asserted-by":"crossref","unstructured":"T. Linke, C. Anger, and K. Konczak. More on nomore. In G. Ianni and S. Flesca, editors, Eighth European Workshop on Logics in Artificial Intelligence (JELIA\u201902), volume 2424 of Lecture Notes in Artificial Intelligence. Springer Verlag, 2002.","DOI":"10.1007\/3-540-45757-7_39"},{"key":"46_CR7","unstructured":"T. Linke. Graph theoretical characterization and computation of answer sets. In B. Nebel, editor, Proceedings of the International Joint Conference on Artificial Intelligence, pages 641\u2013645. Morgan Kaufmann Publishers, 2001."},{"key":"46_CR8","unstructured":"T. Linke. Rule-based computation of answer sets, 2002. submitted."},{"key":"46_CR9","unstructured":"M. Werner. davinci v2.1fix online documentation, 1998."},{"key":"46_CR10","doi-asserted-by":"crossref","unstructured":"P. Simons. Extending the stable model semantics with more expressive rules. In M. Gelfond, N. Leone, and G. Pfeifer, editors, Proceedings of the 5th International Conference on Logic Programming and Nonmonotonic Reasoning (LPNMR\u201999), volume 1730 of Lecture Notes in Artificial Intelligence, pages 177\u2013191, El Paso, Texas, USA, 1999. Springer Verlag.","DOI":"10.1007\/3-540-46767-X_22"},{"key":"46_CR11","unstructured":"J. Wielemaker. Swi-prolog 3.4.3 reference manual, 1990\u20132000."}],"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_46","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2019,2,24]],"date-time":"2019-02-24T04:28:09Z","timestamp":1550982489000},"score":1,"resource":{"primary":{"URL":"http:\/\/link.springer.com\/10.1007\/3-540-45757-7_46"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2002]]},"ISBN":["9783540441908","9783540457572"],"references-count":11,"URL":"https:\/\/doi.org\/10.1007\/3-540-45757-7_46","relation":{},"ISSN":["0302-9743"],"issn-type":[{"type":"print","value":"0302-9743"}],"subject":[],"published":{"date-parts":[[2002]]}}}