{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2024,9,4]],"date-time":"2024-09-04T23:39:51Z","timestamp":1725493191934},"publisher-location":"Berlin, Heidelberg","reference-count":15,"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_39","type":"book-chapter","created":{"date-parts":[[2007,10,20]],"date-time":"2007-10-20T17:50:39Z","timestamp":1192902639000},"page":"468-480","source":"Crossref","is-referenced-by-count":8,"title":["More on noMoRe"],"prefix":"10.1007","author":[{"given":"Thomas","family":"Linke","sequence":"first","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Christian","family":"Anger","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Kathrin","family":"Konczak","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]}],"member":"297","published-online":{"date-parts":[[2002,9,20]]},"reference":[{"key":"39_CR1","series-title":"Lect Notes Comput Sci","doi-asserted-by":"crossref","DOI":"10.1007\/3-540-48080-3","volume-title":"NoMoRe: Non-Monotonic Reasoning with Logic Programs","author":"C. Anger","year":"2002","unstructured":"C. Anger, K. Konczak, and T. Linke. NoMoRe: Non-Monotonic Reasoning with Logic Programs. In I. Ianni and S. Flesca, editors, Eighth European Workshop on Logics in Artificial Intelligence (JELIA\u201902), vol. 2424 of LNCS. Springer, 2002."},{"key":"39_CR2","doi-asserted-by":"crossref","unstructured":"P. Cholewi\u0144ski, V. Marek, A. Mikitiuk, and M. Truszczy\u0144ski. Experimenting with nonmonotonic reasoning. In Proc. of the International Conference on Logic Programming, p. 267\u2013281. MIT Press, 1995.","DOI":"10.7551\/mitpress\/4298.003.0033"},{"key":"39_CR3","doi-asserted-by":"crossref","unstructured":"Y. Dimopoulos, B. Nebel, and J. Koehler. Encoding planning problems in non-monotonic logic programs. Proc. of the 4th European Conference on Planing, p. 169\u2013181, Toulouse, France, 1997. Springer Verlag.","DOI":"10.1007\/3-540-63912-8_84"},{"key":"39_CR4","unstructured":"D. East and M. Truszczy\u0144ski. dcs: An implementation of datalog with constraints. In Proc. of the AAAI. MIT Press, 2000."},{"key":"39_CR5","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, Proc. of the LPNMR, vol. 1265 of LNAI, p. 363\u2013374. Springer Verlag, 1997."},{"key":"39_CR6","doi-asserted-by":"crossref","unstructured":"W. Faber, N. Leone, and G. Pfeifer. Pushing goal derivation in dlp computations. In M. Gelfond, N. Leone, and G. Pfeifer, editors, LPNMR, vol. 1730 of LNAI, p. 177\u2013191, El Paso, Texas, USA, 1999. Springer Verlag.","DOI":"10.1007\/3-540-46767-X_13"},{"key":"39_CR7","unstructured":"W. Faber, N. Leone, and G. Pfeifer. Experimenting with heuristics for answer set programming. In B. Nebel, editor, Proc. of the IJCAI, p. 635\u2013640. Morgan Kaufmann Publishers, 2001."},{"key":"39_CR8","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":"39_CR9","doi-asserted-by":"publisher","first-page":"179","DOI":"10.1016\/S0743-1066(99)00076-X","volume":"44","author":"N. Iwayama","year":"2000","unstructured":"N. Iwayama and K. Satoh. Computing abduction by using TMS with top-down expectation. Journal of Logic Programming, 44:179\u2013206, 2000.","journal-title":"Journal of Logic Programming"},{"key":"39_CR10","doi-asserted-by":"crossref","unstructured":"V. Lifschitz. Answer set planning. In Proc. of the 1999 International Conference on Logic Programming, p. 23\u201337. MIT Press, 1999.","DOI":"10.1007\/3-540-46767-X_28"},{"key":"39_CR11","unstructured":"T. Linke. Graph theoretical characterization and computation of answer sets. In B. Nebel, editor, Proc. of the IJCAI, p. 641\u2013645. Morgan Kaufmann Publishers, 2001."},{"key":"39_CR12","unstructured":"T. Linke. Rule-based computation of answer sets. 2002. submitted."},{"key":"39_CR13","doi-asserted-by":"crossref","unstructured":"X. Liu, C. Ramakrishnan, and S.A. Smolka. Fully local and efficient evaluation of alternating fixed points. Proc. of the 4th Int. Conf. on Tools and Algorithms for the Construction Analysis of Systems, p. 5\u201319, Lisbon, Portugal, 1998. Springer Verlag.","DOI":"10.1007\/BFb0054161"},{"issue":"34","key":"39_CR14","doi-asserted-by":"publisher","first-page":"241","DOI":"10.1023\/A:1018930122475","volume":"25","author":"I. Niemel\u00e4","year":"1999","unstructured":"I. Niemel\u00e4. Logic programming with stable model semantics as a constraint programming paradigm. Annals of Mathematics and Artificial Intelligence, 25(3,4):241\u2013273, 1999.","journal-title":"Annals of Mathematics and Artificial Intelligence"},{"key":"39_CR15","doi-asserted-by":"crossref","unstructured":"I. Niemel\u00e4 and P. Simons. Smodels:An implementation of the stable model and well-founded semantics for normal logic programs. In J. Dix, U. Furbach, and A. Nerode, editors, Proc. of the LPNMR, p. 420\u2013429. Springer, 1997.","DOI":"10.1007\/3-540-63255-7_32"}],"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_39","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2024,2,18]],"date-time":"2024-02-18T15:29:33Z","timestamp":1708270173000},"score":1,"resource":{"primary":{"URL":"http:\/\/link.springer.com\/10.1007\/3-540-45757-7_39"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2002]]},"ISBN":["9783540441908","9783540457572"],"references-count":15,"URL":"https:\/\/doi.org\/10.1007\/3-540-45757-7_39","relation":{},"ISSN":["0302-9743"],"issn-type":[{"type":"print","value":"0302-9743"}],"subject":[],"published":{"date-parts":[[2002]]}}}