{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2024,9,5]],"date-time":"2024-09-05T20:59:19Z","timestamp":1725569959538},"publisher-location":"Berlin, Heidelberg","reference-count":9,"publisher":"Springer Berlin Heidelberg","isbn-type":[{"type":"print","value":"9783540425939"},{"type":"electronic","value":"9783540454021"}],"content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":[],"published-print":{"date-parts":[[2001]]},"DOI":"10.1007\/3-540-45402-0_32","type":"book-chapter","created":{"date-parts":[[2010,11,19]],"date-time":"2010-11-19T22:10:11Z","timestamp":1290204611000},"page":"406-410","source":"Crossref","is-referenced-by-count":3,"title":["NoMoRe: A System for Non-Monotonic Reasoning under Answer Set Semantics"],"prefix":"10.1007","author":[{"given":"Christian","family":"Anger","sequence":"first","affiliation":[]},{"given":"Kathrin","family":"Konczak","sequence":"additional","affiliation":[]},{"given":"Thomas","family":"Linke","sequence":"additional","affiliation":[]}],"member":"297","published-online":{"date-parts":[[2001,7,17]]},"reference":[{"key":"32_CR1","unstructured":"A. Aggoun, D. Chan, P. Dufresne, and other. Eclipse user manual release 5.0. Available at http:\/\/www.icparc.ic.ac.uk\/eclipse , 2000. 406"},{"key":"32_CR2","doi-asserted-by":"crossref","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. 408","DOI":"10.7551\/mitpress\/4298.003.0033"},{"key":"32_CR3","doi-asserted-by":"crossref","unstructured":"T. Eiter, N. Leone, C. Mateis, G. Pfeifer, and F. Scarcello. A deductive system for nonmonotonic reasoning. In J. Dix, U. Furbach, and A. Nerode, editors, Proceedings of the Fourth International Conference on Logic Programming and Non-Monotonic Reasoning, volume 1265 of Lecture Notes in Artificial Intelligence, pages 363\u2013374. Springer Verlag, 1997. 408","DOI":"10.1007\/3-540-63255-7_27"},{"key":"32_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. 406","journal-title":"New Generation Computing"},{"key":"32_CR5","unstructured":"Th. Linke. Graph theoretical characterization and computation of answer sets. In Proceedings of the International Joint Conference on Artificial Intelligence, 2001. to appear. 406, 407"},{"key":"32_CR6","unstructured":"M. Werner. davinci v2.1.x online documentation. daVinci is available at http:\/\/www.tzi.de\/davinci\/doc_V2.1\/ , University of Bremen, 1998. 406, 408"},{"key":"32_CR7","doi-asserted-by":"crossref","unstructured":"I. Niemel\u00e4 and P. Simons. Smodels: An implementation of the stable model and wellfounded semantics for normal logic programs. In J. Dix, U. Furbach, and A. Nerode, editors, Proc. of the Fourth International Conference on Logic Programming and Nonmonotonic Reasoning, pages 420\u2013429. Springer, 1997. 408","DOI":"10.1007\/3-540-63255-7"},{"key":"32_CR8","unstructured":"T. Syrj\u00e4nen. Lparse 1.0 user\u2019s manual. Available at http:\/\/saturn.tcs.hut.fi\/Software\/smodels\/ , 2000. 406"},{"key":"32_CR9","unstructured":"Jan Wielemaker. Swi-prolog 3.4.3 reference manual. SWI-Prolog is available at http:\/\/www.swi.psy.uva.nl\/projects\/SWI-Prolog\/Manual\/ , 1990-2000. 406"}],"container-title":["Lecture Notes in Computer Science","Logic Programming and Nonmotonic Reasoning"],"original-title":[],"link":[{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/3-540-45402-0_32","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2024,4,1]],"date-time":"2024-04-01T10:34:50Z","timestamp":1711967690000},"score":1,"resource":{"primary":{"URL":"http:\/\/link.springer.com\/10.1007\/3-540-45402-0_32"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2001]]},"ISBN":["9783540425939","9783540454021"],"references-count":9,"URL":"https:\/\/doi.org\/10.1007\/3-540-45402-0_32","relation":{},"ISSN":["0302-9743"],"issn-type":[{"type":"print","value":"0302-9743"}],"subject":[],"published":{"date-parts":[[2001]]}}}