{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2024,9,4]],"date-time":"2024-09-04T23:39:51Z","timestamp":1725493191760},"publisher-location":"Berlin, Heidelberg","reference-count":24,"publisher":"Springer Berlin Heidelberg","isbn-type":[{"type":"print","value":"9783540441908"},{"type":"electronic","value":"9783540457572"}],"content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":[],"published-print":{"date-parts":[[2002]]},"DOI":"10.1007\/3-540-45757-7_29","type":"book-chapter","created":{"date-parts":[[2007,10,20]],"date-time":"2007-10-20T13:50:39Z","timestamp":1192888239000},"page":"345-356","source":"Crossref","is-referenced-by-count":7,"title":["Paraconsistent Logic Programs"],"prefix":"10.1007","author":[{"given":"Jo\u00e3o","family":"Alc\u00e2ntara","sequence":"first","affiliation":[]},{"given":"Carlos Viegas","family":"Dam\u00e1sio","sequence":"additional","affiliation":[]},{"given":"Lu\u00eds Moniz","family":"Pereira","sequence":"additional","affiliation":[]}],"member":"297","published-online":{"date-parts":[[2002,9,20]]},"reference":[{"doi-asserted-by":"crossref","unstructured":"J. Alc\u00e2ntara, C. V. Dam\u00e1sio, and L. M. Pereira. Paraconsistent logic programs. Workshop on Paraconsistent Logic (WoPaLo), 2002.","key":"29_CR1","DOI":"10.1007\/3-540-45757-7_29"},{"key":"29_CR2","series-title":"Lect Notes Comput Sci","doi-asserted-by":"crossref","first-page":"748","DOI":"10.1007\/3-540-44652-4_66","volume-title":"Antitonic logic programs","author":"C. V. Dam\u00e1sio","year":"2001","unstructured":"C. V. Dam\u00e1sio and L. M. Pereira. Antitonic logic programs. In T. Eiter and M. Truszczynski, editors, Procs. of the 6th Int. Conf. on Logic Programming and Nonmonotonic Reasoning (LPNMR\u201901), LNCS\/LNAI, pages 748\u2013759. Springer, 2001."},{"key":"29_CR3","series-title":"Lect Notes Comput Sci","volume-title":"Monotonic and residuated logic programs","author":"C. V. Dam\u00e1sio","year":"2001","unstructured":"C. V. Dam\u00e1sio and L. M. Pereira. Monotonic and residuated logic programs. In S. Benferhat and P. Besnard, editors, 6th European Conf. on Symbolic and Quantitative Approaches to Reasoning with Uncertainty (ECSQARU\u201901), LNCS\/LNAI. Springer, 2001."},{"unstructured":"C. V. Dam\u00e1sio. Paraconsistent Extended Logic Programming with Constraints. PhD thesis, Universidade Nova de Lisboa, 1996.","key":"29_CR4"},{"issue":"3","key":"29_CR5","doi-asserted-by":"publisher","first-page":"197","DOI":"10.1016\/S0743-1066(99)00059-X","volume":"43","author":"A. Dekhtyar","year":"2000","unstructured":"A. Dekhtyar and V. S. Subrahmanian. Hybrid probabilistic programs. Journal of Logic Programming, 43(3):197\u2013250, 2000.","journal-title":"Journal of Logic Programming"},{"unstructured":"D. Dubois, J. Lang, and H. Prade. Towards possibilistic logic programming. In Proc. of ICLP\u201991, pages 581\u2013598. MIT Press, 1991.","key":"29_CR6"},{"key":"29_CR7","first-page":"209","volume":"XI","author":"M. Fitting","year":"1988","unstructured":"M. Fitting. Logic programming on a topological bilattice. Fundamentae Mathematicae, XI:209\u2013218, 1988.","journal-title":"Fundamentae Mathematicae"},{"key":"29_CR8","doi-asserted-by":"publisher","first-page":"91","DOI":"10.1016\/0743-1066(91)90014-G","volume":"11","author":"M. Fitting","year":"1991","unstructured":"M. Fitting. Bilattices and the semantics of logic programming. The Journal of Logic Programming, 11:91\u2013116, 1991.","journal-title":"The Journal of Logic Programming"},{"unstructured":"M. Gelfond and V. Lifschitz. The stable model semantics for logic programming. In R. Kowalski and K. A. Bowen, editors, 5th International Conference on Logic Programming, pages 1070\u20131080. MIT Press, 1988.","key":"29_CR9"},{"unstructured":"M. Gelfond and V. Lifschitz. Logic programs with classical negation. In Warren and Szeredi, editors, 7th International Conference on Logic Programming, pages 579\u2013597. MIT Press, 1990.","key":"29_CR10"},{"key":"29_CR11","doi-asserted-by":"publisher","first-page":"265","DOI":"10.1111\/j.1467-8640.1988.tb00280.x","volume":"4","author":"M. Ginsberg","year":"1988","unstructured":"M. Ginsberg. Multivalued logics: A uniform approach to reasoning in artificial intelligence. Computational Intelligence, 4:265\u2013316, 1988.","journal-title":"Computational Intelligence"},{"issue":"1","key":"29_CR12","doi-asserted-by":"publisher","first-page":"335","DOI":"10.1016\/0743-1066(92)90007-P","volume":"12","author":"M. Kifer","year":"1992","unstructured":"M. Kifer and V. S. Subrahmanian. Theory of generalized annotated logic programming and its applications. The Journal of Logic Programming, 12(1, 2, 3 & 4):335\u2013367, 1992.","journal-title":"The Journal of Logic Programming"},{"unstructured":"R. Kowalski and F. Sadri. Logic programs with exceptions. In Warren and Szeredi, editors, 7th International Conference on Logic Programming. MIT Press, 1990.","key":"29_CR13"},{"issue":"1","key":"29_CR14","doi-asserted-by":"publisher","first-page":"5","DOI":"10.1017\/S1471068400001058","volume":"1","author":"L. Lakshmanan","year":"2001","unstructured":"L. Lakshmanan and F. Sadri. On a theory of probabilistic deductive databases. Theory and Practice of Logic Programming, 1(1):5\u201342, 2001.","journal-title":"Theory and Practice of Logic Programming"},{"issue":"4","key":"29_CR15","doi-asserted-by":"publisher","first-page":"554","DOI":"10.1109\/69.940732","volume":"13","author":"L. Lakshmanan","year":"2001","unstructured":"L. Lakshmanan and N. Shiri. A parametric approach to deductive databases with uncertainty. Knowledge and Data Engineering, 13(4):554\u2013570, 2001.","journal-title":"Knowledge and Data Engineering"},{"unstructured":"J. Maluszynski and A. Vit\u00f3ria. Towards rough datalog: embedding rough sets in prolog. In A. Skowron Accepted in: S. K. Pal, L. Polkowski, editor, Rough-Neuro Computing, AI Series. Springer-Verlag, 2002.","key":"29_CR16"},{"doi-asserted-by":"crossref","unstructured":"R. Ng and V. S. Subrahmanian. Probabilistic logic programming. INFCTRL: Information and Computation (formerly Information and Control), 101, 1992.","key":"29_CR17","DOI":"10.1016\/0890-5401(92)90061-J"},{"key":"29_CR18","volume-title":"Rough Sets. Theoretical aspects of reasoning about data","author":"Z. Pawlak","year":"1991","unstructured":"Z. Pawlak. Rough Sets. Theoretical aspects of reasoning about data. Kluwer Academic Publishers, Dordrecht, 1991."},{"unstructured":"L. M. Pereira and J. J. Alferes. Well-founded semantics for logic programs with explicit negation. In B. Neumann, editor, European Conference on Artificial Intelligence, pages 102\u2013106, Wien-Austria, 1992. John Wiley & Sons.","key":"29_CR19"},{"unstructured":"E. Shapiro. Logic programs with uncertainties: A tool for implementing expert systems. In Proc. IJCAI\u201983, pages 529\u2013532. William Kauffmann, 1983.","key":"29_CR20"},{"issue":"23","key":"29_CR21","doi-asserted-by":"publisher","first-page":"733","DOI":"10.1145\/321978.321991","volume":"4","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, 4(23):733\u2013742, 1976.","journal-title":"Journal of ACM"},{"issue":"1","key":"29_CR22","doi-asserted-by":"publisher","first-page":"37","DOI":"10.1016\/0743-1066(86)90003-8","volume":"3","author":"M. Emden van","year":"1986","unstructured":"M. van Emden. Quantitative deduction and its fixpoint theory. Journal of Logic Programming, 3(1):37\u201353, 1986.","journal-title":"Journal of Logic Programming"},{"key":"29_CR23","series-title":"Lect Notes Comput Sci","doi-asserted-by":"crossref","first-page":"289","DOI":"10.1007\/3-540-60983-0_20","volume-title":"Soundness and completeness of non-classical extended SLD-resolution","author":"P. Vojt\u00e1s","year":"1996","unstructured":"P. Vojt\u00e1s and L. Paul\u00edk. Soundness and completeness of non-classical extended SLD-resolution. In Proc. of the Ws. on Extensions of Logic Programming (ELP\u201996), LNCS 1050, pages 289\u2013301. Springer-Verlag, 1996."},{"key":"29_CR24","series-title":"Lect Notes Comput Sci","doi-asserted-by":"crossref","first-page":"357","DOI":"10.1007\/3-540-54009-1_25","volume-title":"Mathematical Foundations of Database Systems","author":"G. Wagner","year":"1991","unstructured":"G. Wagner. A database needs two kinds of negation. In B. Thalheim, J. Demetrovics, and H-D. Gerhardt, editors, Mathematical Foundations of Database Systems, pages 357\u2013371. LNCS 495, Springer-Verlag, 1991."}],"container-title":["Lecture Notes in Computer Science","Logics in Artificial Intelligence"],"original-title":[],"link":[{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/3-540-45757-7_29","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2019,5,3]],"date-time":"2019-05-03T18:07:45Z","timestamp":1556906865000},"score":1,"resource":{"primary":{"URL":"http:\/\/link.springer.com\/10.1007\/3-540-45757-7_29"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2002]]},"ISBN":["9783540441908","9783540457572"],"references-count":24,"URL":"https:\/\/doi.org\/10.1007\/3-540-45757-7_29","relation":{},"ISSN":["0302-9743"],"issn-type":[{"type":"print","value":"0302-9743"}],"subject":[],"published":{"date-parts":[[2002]]}}}