{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2025,1,5]],"date-time":"2025-01-05T19:10:34Z","timestamp":1736104234209,"version":"3.32.0"},"publisher-location":"Berlin\/Heidelberg","reference-count":17,"publisher":"Springer-Verlag","isbn-type":[{"type":"print","value":"3540545646"}],"content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":[],"DOI":"10.1007\/bfb0023316","type":"book-chapter","created":{"date-parts":[[2005,11,19]],"date-time":"2005-11-19T05:53:34Z","timestamp":1132379614000},"page":"38-58","source":"Crossref","is-referenced-by-count":2,"title":["Nonmonotonic reasoning and logic programs"],"prefix":"10.1007","author":[{"given":"Heinrich","family":"Herre","sequence":"first","affiliation":[]}],"member":"297","reference":[{"key":"3_CR1","volume-title":"Foundations of Deductive Databases and Logic Programming","author":"K.R. Apt","year":"1987","unstructured":"Apt,K.R., H. Blair, A. Walker: Towards a Theory of Declarative Knowledge; in: Foundations of Deductive Databases and Logic Programming (Minker,J. ed.), Morgan Kaufmann, Los Altos, 1987"},{"key":"3_CR2","doi-asserted-by":"crossref","first-page":"13","DOI":"10.1016\/0004-3702(85)90040-2","volume":"25","author":"G. Bossu","year":"1985","unstructured":"Bossu,G.,P.Siegel: Saturation, Nonmonotonic Reasoning and the Closed World Assumption; Artificial Intelligence vol. 25, (1985), 13\u201365","journal-title":"Artificial Intelligence"},{"key":"3_CR3","doi-asserted-by":"crossref","first-page":"177","DOI":"10.1016\/0743-1066(89)90020-4","volume":"7","author":"L. Cavedon","year":"1989","unstructured":"Cavedon,L., J.W. Lloyd: A Completeness Theorem for SLDNF-Resolution; Journal of Logic Programming 1989, 7, 177\u2013191","journal-title":"Journal of Logic Programming"},{"key":"3_CR4","volume-title":"Preprint P-Math 21\/86","author":"H. Herre","year":"1986","unstructured":"Herre,H.: Konstruktive Resolutionsmethoden. Preprint P-Math 21\/86, Institut f\u00fcr Mathematik, AdW der DDR, Berlin 1986"},{"key":"3_CR5","first-page":"295","volume":"1","author":"H. Herre","year":"1988","unstructured":"Herre,H.: Negation and Constructivity in Logic Programming. J. New Gener. Comput. Syst. 1 (1988), 295\u2013305","journal-title":"J. New Gener. Comput. Syst."},{"key":"3_CR6","doi-asserted-by":"crossref","unstructured":"J\u00e4ger,G. Annotations on the consistency of the closedworld assumption; Journal of L. P. 1990","DOI":"10.1016\/0743-1066(90)90024-Y"},{"key":"3_CR7","unstructured":"Letz,R. Classical Negation in Logic Programming: TU M\u00fcnchen; Report FKI-123-89"},{"key":"3_CR8","doi-asserted-by":"crossref","unstructured":"Lloyd,J.W. Foundations of Logic Programming, Springer 1987","DOI":"10.1007\/978-3-642-83189-8"},{"key":"3_CR9","first-page":"1","volume-title":"Non-monotonic Reasoning","author":"D. Makinson","year":"1989","unstructured":"Makinson,D.: General Theory of Cumulative Inference, in: Reinfrank,M. (Ed.) Non-monotonic Reasoning Berlin Springer-Verlag, 1989, 1\u201318"},{"key":"3_CR10","unstructured":"Makinson,D.: General Patterns in Nonmonotonic Reasoning; in: Handbook of Logic in Artificial Intelligence and Logic Programming (draft 1990)"},{"key":"3_CR11","first-page":"27","volume":"13","author":"J. McCarthy","year":"1980","unstructured":"McCarthy,J.: Circumscription, A.I., vol. 13 ((1980), 27\u201339","journal-title":"Circumscription, A.I."},{"key":"3_CR12","doi-asserted-by":"crossref","unstructured":"Minker,J.: On indefinite databases and the closed world assumption. In: 6th Conference on Automated Deduction; Proceedings 1982; D.W. Loveland; Lecture Notes in Computer Science 138, Springer-Verlag, 1982","DOI":"10.1007\/BFb0000066"},{"key":"3_CR13","volume-title":"Every Logic Program has a natural Stratification and an iterated fixed point model. TR","author":"T. Przymusinski","year":"1988","unstructured":"Przymusinski,T.: Every Logic Program has a natural Stratification and an iterated fixed point model. TR (1988), Departm. of Math. Univ. of Texas at El Paso, TX 79968"},{"key":"3_CR14","first-page":"81","volume":"13","author":"R. Reiter","year":"1980","unstructured":"Reiter,R.: A Logic for Default Reasoning; AI 13 (1980), 81\u2013132","journal-title":"A Logic for Default Reasoning; AI"},{"key":"3_CR15","unstructured":"Shoenfield,J.: Mathematical Logic, Addision Wesely, 1967"},{"key":"3_CR16","volume-title":"Papers from 1923\u20131938","author":"A. Tarski","year":"1956","unstructured":"Tarski,A. Logic, Semantics, Metamathematics. Papers from 1923\u20131938. Clarendon Press, Oxford, 1956"},{"key":"3_CR17","doi-asserted-by":"crossref","first-page":"80","DOI":"10.1515\/9783112717035-005","volume-title":"Grundlagen der K\u00fcnstlichen Intelligenz","author":"H. Thiele","year":"1989","unstructured":"Thiele,H.: Monotones und nichtmonotones Schlie\u00dfen; in: Grabowski,J., Jantke,H.-J., H. Thiele: Grundlagen der K\u00fcnstlichen Intelligenz, 80\u2013160, Akademie-Verlag, Berlin 1989"}],"container-title":["Lecture Notes in Computer Science","Nonmonotonic and Inductive Logic"],"original-title":[],"language":"en","link":[{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/BFb0023316.pdf","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2025,1,5]],"date-time":"2025-01-05T18:50:48Z","timestamp":1736103048000},"score":1,"resource":{"primary":{"URL":"http:\/\/link.springer.com\/10.1007\/BFb0023316"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[null]]},"ISBN":["3540545646"],"references-count":17,"URL":"https:\/\/doi.org\/10.1007\/bfb0023316","relation":{},"subject":[]}}