{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2025,1,6]],"date-time":"2025-01-06T12:40:02Z","timestamp":1736167202545,"version":"3.32.0"},"publisher-location":"Berlin\/Heidelberg","reference-count":21,"publisher":"Springer-Verlag","isbn-type":[{"type":"print","value":"3540557458"}],"content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":[],"DOI":"10.1007\/bfb0031927","type":"book-chapter","created":{"date-parts":[[2005,12,11]],"date-time":"2005-12-11T06:11:55Z","timestamp":1134281515000},"page":"104-124","source":"Crossref","is-referenced-by-count":0,"title":["Semantics of nonmonotonic reasoning in logic programming"],"prefix":"10.1007","author":[{"given":"Heinrich","family":"Herbe","sequence":"first","affiliation":[]}],"member":"297","reference":[{"key":"8_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":"8_CR2","doi-asserted-by":"crossref","unstructured":"Baral,C., J.Lobe, J.Minker: Generalized Well-founded Semantics for Logic Programs; in: M. Stickel (ed.) lo th International Conf. on Automated Deduction, LNCS 449 (1990), 102\u2013116.","DOI":"10.21236\/ADA232064"},{"key":"8_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":"8_CR4","doi-asserted-by":"crossref","unstructured":"Dix,J.: Cumulativity in Semantics of Normal Logic Programs, NIL (Workshop on Nonmonotonic and Inductive Logic), 4.-7.12.1990, Karlsruhe(Ed. P. Schmitt)","DOI":"10.1007\/BFb0023313"},{"key":"8_CR5","unstructured":"Dix,J.: Letter Communication, 1991"},{"key":"8_CR6","volume-title":"Grundlagen der logischen Programmierung","author":"H.-J. Goltz","year":"1990","unstructured":"Goltz,H.-J., Herre,H.: Grundlagen der logischen Programmierung, Akademie-Verlag, Berlin 1990"},{"key":"8_CR7","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":"8_CR8","unstructured":"Herre,H.: Nonmonotonic Reasoning and Logic Programs NIL '91 Karlsruhe 1990, to appear 1991"},{"key":"8_CR9","volume-title":"Non-monotonic reasoning by axiomatic extensions","author":"G. J\u00e4ger","year":"1988","unstructured":"J\u00e4ger,G.: Non-monotonic reasoning by axiomatic extensions, in: J.E. Fenstad, I.T., Frolow, R. Hilpinene, Proc. 8th International Congress in Logic, Methodology and Philosophy of Sciences, North-Holland, Amsterdam 1988"},{"key":"8_CR10","doi-asserted-by":"crossref","unstructured":"J\u00e4ger,G.: Annotations on the consistency of the closed world assumption; Journal of L. P. 1990","DOI":"10.1016\/0743-1066(90)90024-Y"},{"key":"8_CR11","doi-asserted-by":"crossref","first-page":"289","DOI":"10.1016\/0743-1066(87)90007-0","volume":"4","author":"K. Kunen","year":"1987","unstructured":"Kunen,K.: Negation in Logic Programming; J. Of Logic Programming, 4 (1987), 289\u2013308","journal-title":"J. Of Logic Programming"},{"key":"8_CR12","doi-asserted-by":"crossref","unstructured":"Lloyd,J.W.: Foundations of Logic Programming, Springer 1987","DOI":"10.1007\/978-3-642-83189-8"},{"key":"8_CR13","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":"8_CR14","unstructured":"Makinson,D.: General Patterns in Nonmonotonic Reasoning; in: Handbook of Logic in Artificial Intelligence and Logic Programming (Manuskript: 1990)"},{"key":"8_CR15","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":"8_CR16","unstructured":"Naish,L.: Negation and control in Prolog. LNCS vol. 238, Springer Verlag, 1986"},{"key":"8_CR17","volume-title":"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 Mathematics, Univ. of Texas at El Paso, TX 79968"},{"key":"8_CR18","unstructured":"Przymusinki,T.C.: Non-monotonic Reasoning vs Logic Programming: A New Perspective; to appear in: Handbook on the Formal Foundation of A.I."},{"key":"8_CR19","doi-asserted-by":"crossref","first-page":"371","DOI":"10.1007\/BF03037328","volume":"2","author":"M. Stickel","year":"1984","unstructured":"Stickel,M.: A Prolog technology theorem prover. New Gener. Computing 2 (1984), 371\u2013383","journal-title":"New Gener. Computing"},{"key":"8_CR20","volume-title":"Logic, Semantics, Metamathematics. Papers from 1923\u20131938","author":"A. Tarski","year":"1956","unstructured":"Tarski,A.: Logic, Semantics, Metamathematics. Papers from 1923\u20131938. Clarendon Press, Oxford, 1956"},{"key":"8_CR21","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","Nonclassical Logics and Information Processing"],"original-title":[],"language":"en","link":[{"URL":"http:\/\/www.springerlink.com\/index\/pdf\/10.1007\/BFb0031927","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2025,1,6]],"date-time":"2025-01-06T12:07:40Z","timestamp":1736165260000},"score":1,"resource":{"primary":{"URL":"http:\/\/link.springer.com\/10.1007\/BFb0031927"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[null]]},"ISBN":["3540557458"],"references-count":21,"URL":"https:\/\/doi.org\/10.1007\/bfb0031927","relation":{},"subject":[]}}