{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2024,9,6]],"date-time":"2024-09-06T23:11:05Z","timestamp":1725664265749},"publisher-location":"Berlin, Heidelberg","reference-count":13,"publisher":"Springer Berlin Heidelberg","isbn-type":[{"type":"print","value":"9783540584957"},{"type":"electronic","value":"9783540490104"}],"content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":[],"published-print":{"date-parts":[[1994]]},"DOI":"10.1007\/3-540-58495-1_25","type":"book-chapter","created":{"date-parts":[[2012,2,26]],"date-time":"2012-02-26T16:31:25Z","timestamp":1330273885000},"page":"245-254","source":"Crossref","is-referenced-by-count":0,"title":["Declarative semantics for contradictory modular logic programs"],"prefix":"10.1007","author":[{"given":"Anastasia","family":"Analyti","sequence":"first","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Sakti","family":"Pramanik","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]}],"member":"297","published-online":{"date-parts":[[2005,6,9]]},"reference":[{"key":"25_CR1","unstructured":"A. Bossi, M. Gabbrielli, G. Levi, M.C. Meo, \u201cContributions to the Semantics of Open Logic Programs\u201d, Proc. of the Intern. Conference of Fifth Generation Computer Systems (FGCS'92), 1992, pp. 570\u2013580."},{"key":"25_CR2","doi-asserted-by":"crossref","unstructured":"S. Brass, U.W. Lipeck, \u201cSemantics of Inheritance in Logical Object Specifications\u201d, 2nd Intern. Conf. on Deductive and Object-Oriented Databases, 1991.","DOI":"10.1007\/3-540-55015-1_22"},{"key":"25_CR3","unstructured":"P.M. Dung, \u201cAn Argumentation Semantics for Logic Programs with Explicit Negation\u201d, 10th Intern. Conf. on Logic programming (ICLP'93), 1993, pp.616\u2013630."},{"key":"25_CR4","unstructured":"D. Gabbay, E. Laenens, D. Vermeir, \u201cCredulous vs. Sceptical Semantics for Ordered Logic Programs\u201d, Proc. of the 2nd International Conference on Knowledge Representation and Reasoning (KR'91), 1991, pp. 208\u2013217."},{"key":"25_CR5","unstructured":"M. Gelfond, V. Lifschitz, \u201cThe Stable Model Semantics for Logic Programming\u201d, Proc. of the 5th Symposium on Logic Programming, 1988."},{"issue":"2","key":"25_CR6","doi-asserted-by":"crossref","first-page":"133","DOI":"10.1093\/logcom\/2.2.133","volume":"2","author":"E. Laenens","year":"1992","unstructured":"E. Laenens, D. Vermeir, \u201cAssumption-free Semantics for Ordered Logic Programs: On the Relationship Between Well-founded and Stable Partial Models\u201d, Journal of Logic and Computation, 2(2), 1992, pp. 133\u2013172.","journal-title":"Journal of Logic and Computation"},{"key":"25_CR7","unstructured":"L.M. Pereira, J.J. Alferes, \u201cWell-founded Semantics for Logic Programs with Explicit Negation\u201d, 10th European Conf. on Artificial Intelligence, 1992, pp. 92\u201396."},{"key":"25_CR8","doi-asserted-by":"crossref","first-page":"227","DOI":"10.1016\/0743-1066(93)90032-C","volume":"17","author":"L.M. Pereira","year":"1993","unstructured":"L.M. Pereira, J.N. Aparicio, J.J. Alferes, \u201cNonmonotonic Reasoning with Logic Programming\u201d, Journal of Logic Programming, 17, 1993, pp. 227\u2013263.","journal-title":"Journal of Logic Programming"},{"key":"25_CR9","doi-asserted-by":"crossref","first-page":"445","DOI":"10.3233\/FI-1990-13404","volume":"XIII","author":"T. Przymusinski","year":"1990","unstructured":"T. Przymusinski, \u201cWell-Founded Semantics Coincides with the Three-Valued Stable Semantics\u201d, Fundamenta Informaticae XIII, 1990, pp. 445\u2013463.","journal-title":"Fundamenta Informaticae"},{"key":"25_CR10","doi-asserted-by":"crossref","unstructured":"V.S. Subrahmanian, \u201cAmalgamating Knowledge Bases\u201d, to be published in ACM Transactions on Database Systems (TODS), 1994.","DOI":"10.1145\/176567.176571"},{"issue":"3","key":"25_CR11","doi-asserted-by":"crossref","first-page":"620","DOI":"10.1145\/116825.116838","volume":"38","author":"A. Gelder van","year":"1991","unstructured":"A. van Gelder, K.A. Ross, J.S. Schlipf, \u201cThe Weil-Founded Semantics for General Logic Programs\u201d, Journal of the ACM, 38(3), July 1991, pp.620\u2013650.","journal-title":"Journal of the ACM"},{"key":"25_CR12","unstructured":"C. Witteveen, \u201cExpanding Logic Programs\u201d, D. Pearce and G. Wagner (eds). Logics in AI, LNCS 633, 1992, pp. 372\u2013390."},{"key":"25_CR13","doi-asserted-by":"crossref","unstructured":"G. Wagner, \u201cReasoning with Inconsistency in Extended Deductive Databases\u201d, Proc. of the 2nd Intern. Workshop on Logic Programming and Non-monotonic Reasoning, 1993, pp.300\u2013315.","DOI":"10.7551\/mitpress\/4307.003.0025"}],"container-title":["Lecture Notes in Computer Science","Methodologies for Intelligent Systems"],"original-title":[],"link":[{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/3-540-58495-1_25.pdf","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2024,4,20]],"date-time":"2024-04-20T16:11:20Z","timestamp":1713629480000},"score":1,"resource":{"primary":{"URL":"http:\/\/link.springer.com\/10.1007\/3-540-58495-1_25"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[1994]]},"ISBN":["9783540584957","9783540490104"],"references-count":13,"URL":"https:\/\/doi.org\/10.1007\/3-540-58495-1_25","relation":{},"ISSN":["0302-9743","1611-3349"],"issn-type":[{"type":"print","value":"0302-9743"},{"type":"electronic","value":"1611-3349"}],"subject":[],"published":{"date-parts":[[1994]]}}}