{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2024,9,6]],"date-time":"2024-09-06T23:11:36Z","timestamp":1725664296319},"publisher-location":"Berlin, Heidelberg","reference-count":17,"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_53","type":"book-chapter","created":{"date-parts":[[2012,2,26]],"date-time":"2012-02-26T16:33:27Z","timestamp":1330274007000},"page":"531-540","source":"Crossref","is-referenced-by-count":1,"title":["Paraconsistency and beyond: A new approach to inconsistency handling"],"prefix":"10.1007","author":[{"given":"Suryanil","family":"Ghosh","sequence":"first","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]}],"member":"297","published-online":{"date-parts":[[2005,6,9]]},"reference":[{"issue":"2","key":"53_CR1","doi-asserted-by":"crossref","first-page":"510","DOI":"10.2307\/2274239","volume":"50","author":"E. Carlos","year":"1985","unstructured":"Carlos E. Alchourron, Peter Gardenfors, and David Makinson. On the logic of theory change: Partial meet contraction and revision functions. Symbolic Logic, 50(2):510\u2013530, June, 1985.","journal-title":"Symbolic Logic"},{"key":"53_CR2","doi-asserted-by":"crossref","first-page":"135","DOI":"10.1016\/0304-3975(89)90126-6","volume":"68","author":"H. Blair","year":"1989","unstructured":"H. Blair and V. S. Subrahmanian. Paraconsistent logic programming. Theoretical Computing Science, 68:135\u2013154, 1989.","journal-title":"Theoretical Computing Science"},{"key":"53_CR3","doi-asserted-by":"crossref","first-page":"293","DOI":"10.1007\/978-1-4684-3384-5_11","volume-title":"Logics and Data Bases","author":"L. Clark","year":"1978","unstructured":"L. Clark. Negation as failure. In H. Gallaire and J. Minker, editors, Logics and Data Bases, pages 293\u2013322. Plenum Press, New York, 1978."},{"issue":"4","key":"53_CR4","doi-asserted-by":"crossref","first-page":"37","DOI":"10.1145\/321978.321991","volume":"23","author":"M. Emden Van","year":"1976","unstructured":"M. Van Emden and R. Kowalski. The semantics of predicate logic as a programming language. Journal of ACM, 23(4):37\u201354, 1976.","journal-title":"Journal of ACM"},{"key":"53_CR5","doi-asserted-by":"crossref","unstructured":"Dov Gabbay and Anthony Hunter. Making inconsistency respectable: A logical framework for inconsistency in reasoning, part i \u2014 a position paper. In Lecture Notes in Artificial Intelligence (535), Proceedings of the International Workshop FAIR-91, pages 19\u201332. Springer-Verlag, 1991.","DOI":"10.1007\/3-540-54507-7_3"},{"key":"53_CR6","unstructured":"M. Gelfond and V. Lifschitz. Logic programs with classical negation. In Proceedings of the 7th. International Conference on Logic Programming, pages 579\u2013597. MIT Press, 1990."},{"key":"53_CR7","unstructured":"Suryanil Ghosh. Applying Approach C\u2212C d to Extended Logic Programs. manuscript, 1994. Dept. of Computing Science, University of Alberta."},{"key":"53_CR8","volume-title":"Approach C\u2212C d: A new contradiction handling strategy","author":"S. Ghosh","year":"1994","unstructured":"Suryanil Ghosh. Approach C\u2212C d: A new contradiction handling strategy. manuscript, 1994. Dept. of Computing Science, University of Alberta, Canada."},{"key":"53_CR9","doi-asserted-by":"crossref","unstructured":"Suryanil Ghosh. Approach C\u2212C d: A new contradiction handling strategy & Extended Logic Programs. In Proceedings of the Third Golden West International Conference on Intelligent Systems. Kluwer Academic Press, June 6\u20138 1994.","DOI":"10.1007\/978-94-011-7108-3_44"},{"key":"53_CR10","volume-title":"manuscript of Ph.D. thesis","author":"S. Ghosh","year":"1994","unstructured":"Suryanil Ghosh. Paraconsistency and beyond: Issues and approaches in reasoning. manuscript of Ph.D. thesis (in preparation), 1994. Dept. of Computing Science, University of Alberta, Canada."},{"key":"53_CR11","doi-asserted-by":"crossref","unstructured":"J. Lloyd. Foundations of Logic Programming. Springer-Verlag, 1987.","DOI":"10.1007\/978-3-642-83189-8"},{"key":"53_CR12","doi-asserted-by":"crossref","unstructured":"Jack Minker and Carolina Ruiz. On extended disjunctive logic programs. In J. Komorowski and Z. W. Ras, editors, Proceedings of the Seventh International Symposium on Methodologies for Intelligent Systems, pages 1\u201318. Springer-Verlag, 1993. Lecture notes in AI, June 1993.","DOI":"10.1007\/3-540-56804-2"},{"key":"53_CR13","unstructured":"Tarcisio Pequeno and Arthur Buchsbaum. The logic of epistemic inconsistency. In Proc. of Second Intl. Conference of Principles of Knowledge Representation and Reasoning, pages 453\u2013460. Morgan Kaufmann, 1991."},{"key":"53_CR14","unstructured":"L. M. Pereira, J. J. Alferes, and J. N. Aparicio. Contradiction removal within well founded semantics. In Proceedings, 1st. Intl. Workshop on Logic Programming and Nonmonotonic reasoning. MIT Press, July, 1991."},{"key":"53_CR15","unstructured":"S. G. Pimentel and W. L. Rodi. Belief revision and paraconsistency in a logic programming framework. In Proceedings, 1st. Intl. Workshop on Logic Programming and Nonmonotonic reasoning. MIT Press, July, 1991."},{"key":"53_CR16","doi-asserted-by":"crossref","first-page":"55","DOI":"10.1007\/978-1-4684-3384-5_3","volume-title":"Logic and Data Bases","author":"R. Reiter","year":"1978","unstructured":"R. Reiter. On closed-world databases. In H. Gallaire and J. Minker, editors, Logic and Data Bases, pages 55\u201376. Plenum Press, New York, 1978."},{"key":"53_CR17","first-page":"300","volume-title":"Reasoning with inconsistency in extended deductive databases","author":"G. Wagner","year":"1993","unstructured":"Gerd Wagner. Reasoning with inconsistency in extended deductive databases. In Proc. of the 2nd. Intl. Workshop of Logic Programming and Nonmonotonic Reasoning, Lisbon, Portugal, pages 300\u2013315. MIT Press, 1993."}],"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_53.pdf","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2020,11,17]],"date-time":"2020-11-17T21:22:48Z","timestamp":1605648168000},"score":1,"resource":{"primary":{"URL":"http:\/\/link.springer.com\/10.1007\/3-540-58495-1_53"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[1994]]},"ISBN":["9783540584957","9783540490104"],"references-count":17,"URL":"https:\/\/doi.org\/10.1007\/3-540-58495-1_53","relation":{},"ISSN":["0302-9743","1611-3349"],"issn-type":[{"type":"print","value":"0302-9743"},{"type":"electronic","value":"1611-3349"}],"subject":[],"published":{"date-parts":[[1994]]}}}