{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2024,9,7]],"date-time":"2024-09-07T17:12:12Z","timestamp":1725729132305},"publisher-location":"Berlin, Heidelberg","reference-count":13,"publisher":"Springer Berlin Heidelberg","isbn-type":[{"type":"print","value":"9783540545583"},{"type":"electronic","value":"9783662027110"}],"content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":[],"published-print":{"date-parts":[[1991]]},"DOI":"10.1007\/978-3-662-02711-0_5","type":"book-chapter","created":{"date-parts":[[2013,6,4]],"date-time":"2013-06-04T12:52:52Z","timestamp":1370350372000},"page":"43-48","source":"Crossref","is-referenced-by-count":0,"title":["Non-Monotonic Reasoning for Clause Logic Programming in a General Setting"],"prefix":"10.1007","author":[{"given":"Heinrich","family":"Herre","sequence":"first","affiliation":[]}],"member":"297","reference":[{"key":"5_CR1","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 \u2013 305","journal-title":"J. New Gener. Comput. Syst."},{"key":"5_CR2","volume-title":"Nonmonotonic Reasoning and Logic Programs (Workshop on Nonmonotonic and Inductive Logic","author":"H Herre","year":"1990","unstructured":"Herre, H.: Nonmonotonic Reasoning and Logic Programs (Workshop on Nonmonotonic and Inductive Logic, 4.\u20137.12.1990, Karlsruhe) (Ed. P.Schmitt)"},{"key":"5_CR3","volume-title":"Proc. 8th International Congress in Logic, Methodology and Philosophy of Sciences","author":"G J\u00e4ger","year":"1989","unstructured":"J\u00e4ger, G.: Non-monotonic reasoning by axiomatic extensions,in: J.E. Fenstad,I.T. Frolow,R. Hilpinen, Proc. 8th International Congress in Logic, Methodology and Philosophy of Sciences, North-Holland, Amsterdam, 1989"},{"key":"5_CR4","doi-asserted-by":"publisher","DOI":"10.1007\/978-3-642-83189-8","volume-title":"Foundations of Logic Programming","author":"JW Lloyd","year":"1987","unstructured":"Lloyd, J.W.: Foundations of Logic Programming, Springer 1987"},{"key":"5_CR5","doi-asserted-by":"publisher","first-page":"1","DOI":"10.1007\/3-540-50701-9_16","volume-title":"Non-monotonic Reasoning Berlin Springer Verlag","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"},{"unstructured":"Makinson,D.: General Patterns in Nonmonotonic Reasoning; in: Handbook of Logic in Artificial Intelligence and Logic Programming","key":"5_CR6"},{"key":"5_CR7","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":"5_CR8","volume-title":"6th Conference obn Automated Deduction; Proceedings","author":"J Minker","year":"1982","unstructured":"Minker, J.: On indefinite databases and the closed world assumption. In: 6th Conference obn Automated Deduction; Proceedings 1982, LNCS 138"},{"key":"5_CR9","volume-title":"Every Logic Program has a natural Stratification and an iterated fixed point model","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":"5_CR10","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":"5_CR11","volume-title":"Mathematical Logic","author":"JR Shoenfield","year":"1967","unstructured":"Shoenfield, J.R.: Mathematical Logic, Addison-Wesley, 1967"},{"key":"5_CR12","volume-title":"Logic, Semantics, Metamathematics","author":"A Tarski","year":"1956","unstructured":"Tarski, A.: Logic, Semantics, Metamathematics. Papers from 1923 \u2013 1938. Clarendon Press, Oxford, 1956"},{"key":"5_CR13","volume-title":"Grundlagen der K\u00fcnstlichen Intelligenz, 80 \u2013 160","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 \u2013 160, Akademie-Verlag, Berlin 1989"}],"container-title":["Informatik-Fachberichte","GWAI-91 15. Fachtagung f\u00fcr K\u00fcnstliche Intelligenz"],"original-title":[],"link":[{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/978-3-662-02711-0_5","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2019,5,13]],"date-time":"2019-05-13T18:12:11Z","timestamp":1557771131000},"score":1,"resource":{"primary":{"URL":"http:\/\/link.springer.com\/10.1007\/978-3-662-02711-0_5"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[1991]]},"ISBN":["9783540545583","9783662027110"],"references-count":13,"URL":"https:\/\/doi.org\/10.1007\/978-3-662-02711-0_5","relation":{},"ISSN":["0343-3005"],"issn-type":[{"type":"print","value":"0343-3005"}],"subject":[],"published":{"date-parts":[[1991]]}}}