{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2024,9,5]],"date-time":"2024-09-05T21:06:16Z","timestamp":1725570376252},"publisher-location":"Berlin, Heidelberg","reference-count":24,"publisher":"Springer Berlin Heidelberg","isbn-type":[{"type":"print","value":"9783540425939"},{"type":"electronic","value":"9783540454021"}],"content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":[],"published-print":{"date-parts":[[2001]]},"DOI":"10.1007\/3-540-45402-0_28","type":"book-chapter","created":{"date-parts":[[2010,11,19]],"date-time":"2010-11-19T22:10:11Z","timestamp":1290204611000},"page":"379-393","source":"Crossref","is-referenced-by-count":14,"title":["Antitonic Logic Programs"],"prefix":"10.1007","author":[{"given":"Carlos Viegas","family":"Dam\u00e1sio","sequence":"first","affiliation":[]},{"given":"L\u00fa\u00fds Moniz","family":"Pereira","sequence":"additional","affiliation":[]}],"member":"297","published-online":{"date-parts":[[2001,7,17]]},"reference":[{"key":"28_CR1","doi-asserted-by":"publisher","first-page":"399","DOI":"10.1007\/BF00881799","volume":"10","author":"C. Baral","year":"1993","unstructured":"C. Baral and V. S. Subrahmanian. Duality between alternative semantics of logic programs and nonmonotonic formalisms. Journal of Automated Reasoning, 10:399\u2013420, 1993. 389","journal-title":"Journal of Automated Reasoning"},{"key":"28_CR2","doi-asserted-by":"crossref","unstructured":"L. Bolc and P. Borowik. Many-Valued Logics. Theoretical Foundations. Springer-Verlag, 1992. 391","DOI":"10.1007\/978-3-662-08494-6"},{"key":"28_CR3","doi-asserted-by":"crossref","unstructured":"C. V. Dam\u00e1sio and L. M. Pereira. Hybrid probabilistic logic programs as residuated logic programs. In M. O. Aciego, I. P. de Guzm\u00e1n, G. Brewka, and L. M. Pereira, editors, Proc. of JELIA\u201900, pages 57\u201372. LNAI 1919, Springer-Verlag, 2000. 379","DOI":"10.1007\/3-540-40006-0_5"},{"key":"28_CR4","doi-asserted-by":"crossref","unstructured":"C. V. Dam\u00e1sio and L. M. Pereira. Monotonic and residuated logic programs, 2001. Accepted in ECSQARU-2001. 379, 381","DOI":"10.1007\/3-540-45402-0_28"},{"key":"28_CR5","doi-asserted-by":"crossref","unstructured":"A. Dekhtyar and V. S. Subrahmanian. Hybrid probabilistic programs. In International Conference on Logic Programming 1997, pages 391\u2013495. MIT Press, 1997. 379","DOI":"10.7551\/mitpress\/4299.003.0033"},{"key":"28_CR6","doi-asserted-by":"crossref","unstructured":"M. Denecker, V. Marek, and M. Truszczy\u0144ski. Approximations, stable operators, well-founded fixpoints and applications in nonmonotonic reasoning. In J. Minker, editor, Logic-Based Artifical Intelligence, pages 127\u2013144. Kluwer Academic Publishers, 2000. 380, 391","DOI":"10.1007\/978-1-4615-1567-8_6"},{"key":"28_CR7","unstructured":"D. Dubois, J. Lang, and H. Prade. Towards possibilistic logic programming. In International Conference on Logic Programming 1991, pages 581\u2013598. MIT Press, 1991. 379"},{"key":"28_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 programs. Journal of Logic Programming, 11:91\u2013116, 1991. 379, 391","journal-title":"Journal of Logic Programming"},{"key":"28_CR9","doi-asserted-by":"publisher","first-page":"197","DOI":"10.1016\/0743-1066(93)90031-B","volume":"17","author":"M. Fitting","year":"1993","unstructured":"M. Fitting. The family of stable models. Journal of Logic Programming, 17:197\u2013225, 1993. 379, 391","journal-title":"Journal of Logic Programming"},{"key":"28_CR10","unstructured":"J. H. Gallier. Logic for Computer Science. John Wiley & Sons, 1987. 381, 382"},{"issue":"3","key":"28_CR11","doi-asserted-by":"publisher","first-page":"620","DOI":"10.1145\/116825.116838","volume":"38","author":"A. Gelder Van","year":"1991","unstructured":"A. Van Gelder, K. A. Ross, and J. S. Schlipf. The well-founded semantics for general logic programs. Journal of the ACM, 38(3):620\u2013650, 1991. 385","journal-title":"Journal of the ACM"},{"key":"28_CR12","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. 385, 386"},{"key":"28_CR13","doi-asserted-by":"crossref","unstructured":"P. H\u00e1jek. Metamathematics of Fuzzy Logic. Trends in Logic. Studia Logica Library. Kluwer Academic Publishers, 1998. 391","DOI":"10.1007\/978-94-011-5300-3"},{"key":"28_CR14","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. J. of Logic Programming, 12:335\u2013367, 1992. 379, 391","journal-title":"J. of Logic Programming"},{"key":"28_CR15","unstructured":"R. Kowalski. Predicate logic as a programming language. In Proceedings of IFIP\u201974, pages 569\u2013574. North Holland Publishing Company, 1974. 380"},{"key":"28_CR16","doi-asserted-by":"crossref","unstructured":"J. W. Lloyd. Foundations of Logic Programming. Springer-Verlag, 1987. 380","DOI":"10.1007\/978-3-642-83189-8"},{"key":"28_CR17","unstructured":"V. W. Marek and M. Truszczy\u0144ski. Logic programming with costs. Technical report, 2000. Available at ftp:\/\/al.cs.engr.uky.edu\/cs\/manuscripts\/lp-costs.ps . 379, 380, 383, 385, 390, 391"},{"key":"28_CR18","doi-asserted-by":"crossref","unstructured":"J. Medina, M. Ojeda-Aciego, and P. Vojtas. Multi-adjoint logic programming with continuous semantics. In Proc. of LPNMR\u201901, September 2001. This issue. 384","DOI":"10.1007\/3-540-45402-0_26"},{"key":"28_CR19","unstructured":"H. Przymusinska and T. C. Przymusinski. Semantic issues in deductive databases and logic programs. In R. Banerji, editor, Formal Techniques in Artificial Intelligence, a Sourcebook, pages 321\u2013367. North Holland, 1990. 387"},{"key":"28_CR20","series-title":"Lect Notes Comput Sci","doi-asserted-by":"crossref","first-page":"56","DOI":"10.1007\/3-540-52048-1_32","volume-title":"9th Int. Conf. on Foundations of Software Technology and Theoretical Computer Science","author":"V. S. Subrahmanian","year":"1989","unstructured":"V. S. Subrahmanian. Algebraic properties of the space of multivalued and paraconsistent logic programs. In 9th Int. Conf. on Foundations of Software Technology and Theoretical Computer Science, pages 56\u201367. LNCS 405, Springer-Verlag, 1989. 379, 391"},{"issue":"23","key":"28_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. 380, 383","journal-title":"Journal of ACM"},{"key":"28_CR22","doi-asserted-by":"publisher","first-page":"37","DOI":"10.1016\/0743-1066(86)90003-8","volume":"4","author":"M. H. Emden van","year":"1986","unstructured":"M. H. van Emden. Quantitative deduction and its fixpoint theory. Journal of Logic Programming, 4:37\u201353, 1986. 380, 391","journal-title":"Journal of Logic Programming"},{"key":"28_CR23","doi-asserted-by":"crossref","unstructured":"P. Vojt\u00e1s. Fuzzy logic programming. Fuzzy Sets and Systems, 2001. Accepted. 379","DOI":"10.1016\/S0165-0114(01)00106-3"},{"key":"28_CR24","series-title":"Lect Notes Comput Sci","doi-asserted-by":"crossref","first-page":"289","DOI":"10.1007\/3-540-60983-0_20","volume-title":"Proc. of theWs. on Extensions of Logic Programming (ELP\u201996)","author":"P. Vojt\u00e1s","year":"1996","unstructured":"P. Vojt\u00e1s and L. Paul\u00edk. Soundness and completeness of non-classical extended SLD-resolution. InProc. of theWs. on Extensions of Logic Programming (ELP\u201996), pages 289\u2013301. LNCS 1050, Springer-Verlag., 1996. 379"}],"container-title":["Lecture Notes in Computer Science","Logic Programming and Nonmotonic Reasoning"],"original-title":[],"link":[{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/3-540-45402-0_28","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2024,4,1]],"date-time":"2024-04-01T10:34:00Z","timestamp":1711967640000},"score":1,"resource":{"primary":{"URL":"http:\/\/link.springer.com\/10.1007\/3-540-45402-0_28"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2001]]},"ISBN":["9783540425939","9783540454021"],"references-count":24,"URL":"https:\/\/doi.org\/10.1007\/3-540-45402-0_28","relation":{},"ISSN":["0302-9743"],"issn-type":[{"type":"print","value":"0302-9743"}],"subject":[],"published":{"date-parts":[[2001]]}}}