{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2026,2,26]],"date-time":"2026-02-26T15:54:54Z","timestamp":1772121294199,"version":"3.50.1"},"publisher-location":"Berlin, Heidelberg","reference-count":26,"publisher":"Springer Berlin Heidelberg","isbn-type":[{"value":"9783540186250","type":"print"},{"value":"9783540480334","type":"electronic"}],"content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":[],"published-print":{"date-parts":[[1987]]},"DOI":"10.1007\/3-540-18625-5_59","type":"book-chapter","created":{"date-parts":[[2012,2,25]],"date-time":"2012-02-25T19:40:45Z","timestamp":1330198845000},"page":"340-360","source":"Crossref","is-referenced-by-count":34,"title":["Paraconsistent logic programming"],"prefix":"10.1007","author":[{"given":"Howard A.","family":"Blair","sequence":"first","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"V. S.","family":"Subrahmanian","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]}],"member":"297","published-online":{"date-parts":[[2005,5,27]]},"reference":[{"key":"23_CR1","unstructured":"Anand,R.,Subrahmanian,V.S.(1987) FLOG: A Logic programming system based on a six-valued logic, Proc. AAAI Intl. Symp. on Knowledge Engg., Madrid, Spain, April 1987."},{"key":"23_CR2","unstructured":"Apt,K.,Blair,H,Walker,A.(1986) Towards a theory of declarative knowledge, to appear."},{"key":"23_CR3","doi-asserted-by":"crossref","unstructured":"Arruda,A.I.(1979) A Survey of paraconsistent logic, in Mathematical Logic in Latin America, (eds. Arruda,A.I., Chuaqui,R.,Da Costa,N.C.A.) Proc. 4th Latin American Symp. on Math. Logic, Santiago, Dec. 1978, pps. 1\u201341, D.Reidel.","DOI":"10.1016\/S0049-237X(09)70477-X"},{"key":"23_CR4","doi-asserted-by":"crossref","unstructured":"Barbuti,R., Martelli,M. (1986) Completeness of the SLDNF-resolution for a class of logic programs, Proc. Intl. Symp. on Logic Prog., London, Lecture Notes in Computer Science No.225, (ed.Shapiro,E.), pps 600\u2013614.","DOI":"10.1007\/3-540-16492-8_109"},{"key":"23_CR5","doi-asserted-by":"crossref","unstructured":"Barbuti,R., Martelli,M. (1986) Completeness of SLDNF-resolution for structured programs, submitted for publication.","DOI":"10.1007\/3-540-16492-8_109"},{"key":"23_CR6","doi-asserted-by":"crossref","unstructured":"Belnap,N.D. (1977) A Useful four-valued Logic, in Modern Uses of Many-valued Logic (eds. Epstein,G., Dunn,J.M.), pps. 8\u201337, D.Reidel.","DOI":"10.1007\/978-94-010-1161-7_2"},{"key":"23_CR7","unstructured":"Blair,H.A. (1986) Decidability in the Herbrand base, to appear."},{"key":"23_CR8","doi-asserted-by":"crossref","unstructured":"Blair,H.A.,Subrahmanian,V.S. (1987) A Logical Framework for Approximate Reasoning in Logic programming, in preparation.","DOI":"10.1007\/3-540-18625-5_59"},{"key":"23_CR9","doi-asserted-by":"crossref","first-page":"497","DOI":"10.1305\/ndjfl\/1093891487","volume":"15","author":"N. C. A. A. da d. Costa","year":"1974","unstructured":"Costa, N.C.A.da (1974) On the theory of inconsistent formal systems, Notre Dame J. of Formal Logic 15, pps 497\u2013510.","journal-title":"Notre Dame J. of Formal Logic"},{"key":"23_CR10","doi-asserted-by":"crossref","first-page":"621","DOI":"10.1305\/ndjfl\/1093888132","volume":"18","author":"N. C. A. A. da d. Costa","year":"1977","unstructured":"Costa, N.C.A.da, Alves, E.H. (1977) A semantical analysis of the calculi C n , Notre Dame J. of Formal Logic 18, pps 621\u2013630.","journal-title":"Notre Dame J. of Formal Logic"},{"key":"23_CR11","first-page":"185","volume":"10","author":"N. C. A. A. da d. Costa","year":"1981","unstructured":"Costa, N.C.A.da, Alves, H. (1981) Relations between paraconsistent logic and Many-valued logic, Bull. of the Section of Logic, 10, pps 185\u2013191.","journal-title":"Bull. of the Section of Logic"},{"key":"23_CR12","unstructured":"Costa,N.C.A.,Marconi,D. (1987) An Overview of Paraconsistent Logic in the 80's, to appear in Logica Nova, Akademie Verlag, Berlin."},{"key":"23_CR13","doi-asserted-by":"crossref","first-page":"295","DOI":"10.1016\/S0743-1066(85)80005-4","volume":"4","author":"M. Fitting","year":"1985","unstructured":"Fitting, M. (1985) A Kripke-Kleene semantics for logic programming, J. of Logic Prog. 4, pps 295\u2013312.","journal-title":"J. of Logic Prog."},{"key":"23_CR14","doi-asserted-by":"crossref","unstructured":"Jaffar,J.,Lassez,J.-L.,Maher,M. (1986) Issues and trends in the Semantics of Logic Programming, Proc. 3rd Intl. Conf. on Logic Programming, Lecture Notes in Computer Sci., Vol. 225, Springer Verlag.","DOI":"10.1007\/3-540-16492-8_78"},{"issue":"2","key":"23_CR15","doi-asserted-by":"publisher","first-page":"143","DOI":"10.1016\/0743-1066(86)90020-8","volume":"3","author":"J. Jaffar","year":"1986","unstructured":"Jaffar, J., Stuckey, P.J. (1986) Canonical Logic Programs, J. of Logic Programming, 3,2, pps 143\u2013155.","journal-title":"J. of Logic Programming"},{"key":"23_CR16","unstructured":"Kleene,S.C. (1957) Introduction to Metamathematics, Van Nostrand Reinhold."},{"key":"23_CR17","doi-asserted-by":"crossref","unstructured":"Lloyd,J.W.(1984) Foundations of Logic Programming, Springer-Verlag.","DOI":"10.1007\/978-3-642-96826-6"},{"key":"23_CR18","doi-asserted-by":"publisher","first-page":"115","DOI":"10.1016\/0304-3975(85)90128-8","volume":"39","author":"J.-L. Lassez","year":"1985","unstructured":"Lassez, J.-L.,Maher, M.(1985) Optimal fixed points of logic programs, Theoret. Comput. Sci., 39, pps 115\u2013125.","journal-title":"Theoret. Comput. Sci."},{"key":"23_CR19","doi-asserted-by":"crossref","unstructured":"Naish,L. (1986) Negation and quantifiers in NU-Prolog, Proc. 3rd Intl. Conf. on Logic Prog., London, Lecture Notes in Comp. Sci., Vol. 225, pps 624\u2013634, Springer-Verlag.","DOI":"10.1007\/3-540-16492-8_111"},{"key":"23_CR20","doi-asserted-by":"crossref","first-page":"180","DOI":"10.1111\/j.1467-8640.1986.tb00083.x","volume":"2","author":"D. Perlis","year":"1986","unstructured":"Perlis, D. (1986) On the consistency of commonsense reasoning, Computational Intelligence, 2, pps 180\u2013190.","journal-title":"Computational Intelligence"},{"key":"23_CR21","series-title":"Lecture Notes in Comp. Sci.","doi-asserted-by":"crossref","first-page":"635","DOI":"10.1007\/3-540-16492-8_112","volume-title":"Gracefully adding negation and disjunction in Prolog, Proc. 3rd Intl. Conf. on Logic Prog.","author":"D. Poole","year":"1986","unstructured":"Poole, D.,Goebel, R. (1986) Gracefully adding negation and disjunction in Prolog, Proc. 3rd Intl. Conf. on Logic Prog., London, Lecture Notes in Comp. Sci., Vol. 225, pps 635\u2013641, Springer-Verlag."},{"key":"23_CR22","unstructured":"Subrahmanian, V.S. (1987) On the semantics of quantitative logic programs, 4th IEEE Symp. on Logic Prog., San Francisco, Sep. 1987, (accepted-to appear)."},{"key":"23_CR23","unstructured":"Subrahmanian,V.S. (1987) Towards a theory of evidential reasoning in logic programming, Logic Colloquium '87 (European Summer Meeting of the Association of Symbolic Logic), Granada, Spain, July 1987 (accepted-to appear)."},{"issue":"1","key":"23_CR24","doi-asserted-by":"publisher","first-page":"37","DOI":"10.1016\/0743-1066(86)90003-8","volume":"4","author":"M. Emden Van","year":"1986","unstructured":"Van Emden, M. (1986) Quantitative deduction and its fixpoint theory, J. of Logic Prog., 4,1,pps 37\u201353.","journal-title":"J. of Logic Prog."},{"key":"23_CR25","doi-asserted-by":"publisher","first-page":"181","DOI":"10.1007\/BF00453021","volume":"13","author":"A. Visser","year":"1984","unstructured":"Visser, A. (1984) Four valued semantics and the liar, J. of Philosophical Logic, 13,pps 181\u2013212.","journal-title":"J. of Philosophical Logic"},{"issue":"4","key":"23_CR26","doi-asserted-by":"publisher","first-page":"733","DOI":"10.1145\/321978.321991","volume":"23","author":"M. Emden Van","year":"1976","unstructured":"Van Emden, M., Kowalski, R. (1976) The semantics of predicate logic as a programming language, JACM, 23,4,pps 733\u2013742.","journal-title":"JACM"}],"container-title":["Lecture Notes in Computer Science","Foundations of Software Technology and Theoretical Computer Science"],"original-title":[],"link":[{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/3-540-18625-5_59.pdf","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2020,11,17]],"date-time":"2020-11-17T20:15:16Z","timestamp":1605644116000},"score":1,"resource":{"primary":{"URL":"http:\/\/link.springer.com\/10.1007\/3-540-18625-5_59"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[1987]]},"ISBN":["9783540186250","9783540480334"],"references-count":26,"URL":"https:\/\/doi.org\/10.1007\/3-540-18625-5_59","relation":{},"ISSN":["0302-9743","1611-3349"],"issn-type":[{"value":"0302-9743","type":"print"},{"value":"1611-3349","type":"electronic"}],"subject":[],"published":{"date-parts":[[1987]]}}}