{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2025,1,16]],"date-time":"2025-01-16T21:40:03Z","timestamp":1737063603681,"version":"3.33.0"},"publisher-location":"Berlin, Heidelberg","reference-count":52,"publisher":"Springer Berlin Heidelberg","isbn-type":[{"type":"print","value":"9783540000105"},{"type":"electronic","value":"9783540360780"}],"content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":[],"published-print":{"date-parts":[[2002]]},"DOI":"10.1007\/3-540-36078-6_17","type":"book-chapter","created":{"date-parts":[[2007,6,1]],"date-time":"2007-06-01T02:48:36Z","timestamp":1180666116000},"page":"247-261","source":"Crossref","is-referenced-by-count":4,"title":["Procedural Semantics for Fuzzy Disjunctive Programs"],"prefix":"10.1007","author":[{"given":"Du\u0161an","family":"Guller","sequence":"first","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]}],"member":"297","published-online":{"date-parts":[[2002,10,24]]},"reference":[{"key":"17_CR1","volume-title":"Report CS-R8826, Centre for Mathematics and Computer Science","author":"K. Apt","year":"1986","unstructured":"Apt, K., R. Introduction to logic programming. Report CS-R8826, Centre for Mathematics and Computer Science, Amsterdam, The Netherlands, 1986."},{"key":"17_CR2","unstructured":"Alferes, J., J. and Pereira, L., M. On logic program semantics with two kinds of negation. International Joint Conference and Symposium on Logic Programming, MIT Press, 574\u2013588, 1992."},{"key":"17_CR3","doi-asserted-by":"crossref","unstructured":"Baral, C., Lobo, J. and Minker, J. Generalized disjunctive well-founded semantics: Declarative semantics. Proceedings of the Fifth International Symposium on Methodologies for Intelligent Systems, 465\u2013473, 1990.","DOI":"10.21236\/ADA232064"},{"key":"17_CR4","doi-asserted-by":"crossref","unstructured":"Baral, C., Lobo, J. and Minker, J. Generalized disjunctive well-founded semantics: Procedural semantics. Proceedings of the Fifth International Symposium on Methodologies for Intelligent Systems, 456\u2013464, 1990.","DOI":"10.21236\/ADA232064"},{"key":"17_CR5","doi-asserted-by":"crossref","unstructured":"Baral, C., Lobo, J. and Minker, J. WF 3: A semantics for negation in normal disjunctive logic programs. Proceedings of the Sixth International Symposium on Methodologies for Intelligent Systems, 459\u2013468, 1991.","DOI":"10.1007\/3-540-54563-8_109"},{"key":"17_CR6","doi-asserted-by":"publisher","first-page":"135","DOI":"10.1016\/0304-3975(89)90126-6","volume":"68","author":"H. Blair","year":"1989","unstructured":"Blair, H., A. and Subrahmanian, V., S. Paraconsistent logic programming. Theoretical Computer Science, 68:135\u2013154, 1989.","journal-title":"Theoretical Computer Science"},{"key":"17_CR7","doi-asserted-by":"publisher","first-page":"71","DOI":"10.1016\/0888-613X(87)90005-3","volume":"1","author":"P. Bonissone","year":"1987","unstructured":"Bonissone, P. Summarizing and propagating uncertain information with triangular norms. International Journal of Approximate Reasoning, 1:71\u2013101, 1987.","journal-title":"International Journal of Approximate Reasoning"},{"issue":"2","key":"17_CR8","first-page":"17","volume":"4","author":"P. Cohen","year":"1983","unstructured":"Cohen, P., R. and Grinberg M., R. A theory of heuristic reasoning about uncertainty. AI Magazine, 4(2):17\u201323, 1983.","journal-title":"AI Magazine"},{"issue":"3","key":"17_CR9","doi-asserted-by":"publisher","first-page":"187","DOI":"10.1016\/S0743-1066(99)00059-X","volume":"43","author":"A. Dekhtyar","year":"2000","unstructured":"Dekhtyar, A. and Subrahmanian, V., S. Hybrid probabilistic programs. Journal of Logic Programming, 43(3):187\u2013250, 2000.","journal-title":"Journal of Logic Programming"},{"issue":"30","key":"17_CR10","doi-asserted-by":"crossref","first-page":"205","DOI":"10.1111\/j.2517-6161.1968.tb00722.x","volume":"B","author":"A. Dempster","year":"1968","unstructured":"Dempster, A,. P. A generalization of Bayesian inference. Journal of the Royal Statistical Society, B(30):205\u2013247, 1968.","journal-title":"Journal of the Royal Statistical Society"},{"issue":"2","key":"17_CR11","first-page":"39","volume":"4","author":"J. Doyle","year":"1983","unstructured":"Doyle, J. Methodological simplicity in expert system construction: the case of judgements and reasoned assumptions. AI Magazine, 4(2):39\u201343, 1983.","journal-title":"AI Magazine"},{"issue":"1","key":"17_CR12","doi-asserted-by":"publisher","first-page":"33","DOI":"10.1016\/0743-1066(94)00106-G","volume":"25","author":"J. Fern\u00e1ndez","year":"1995","unstructured":"Fern\u00e1ndez, J., A. and Minker, J. Bottom-up computation of perfect models for disjunctive theories. Journal of Logic Programming, 25(1):33\u201351, 1995.","journal-title":"Journal of Logic Programming"},{"key":"17_CR13","doi-asserted-by":"publisher","first-page":"91","DOI":"10.1016\/0743-1066(91)90014-G","volume":"11","author":"M. Fitting","year":"1991","unstructured":"Fitting, M., C. Bilattices and the semantics of logic programming. Journal of Logic Programming, 11:91\u2013116, 1991.","journal-title":"Journal of Logic Programming"},{"key":"17_CR14","unstructured":"Gelfond, M. and Lifschitz, V. Logic programs with classical negation. Proceedings of the Seventh International Logic Programming Conference, MIT Press, 579\u2013597, Jerusalem, Israel, 1990."},{"key":"17_CR15","doi-asserted-by":"crossref","unstructured":"Ginsberg, M. Bilattices and modal operators. Proc. Intl. Conf. on Theoretical Aspects of Reasoning about Knowledge, Morgan Kaufmann, 273\u2013287, 1990.","DOI":"10.1093\/logcom\/1.1.41"},{"key":"17_CR16","unstructured":"Guller, D. Semantics for disjunctive programs. Proceedings of the Fifth Workshop on Logic, Language, Information and Computation, 79\u201391, Sao Paulo, 1998."},{"key":"17_CR17","unstructured":"Guller, D. On clausal models. Proceedings of the Sixth Workshop on Logic, Language, Information and Computation, 115\u2013126, Rio de Janeiro, 1999."},{"key":"17_CR18","doi-asserted-by":"crossref","unstructured":"Guller, D. Semantics for fuzzy disjunctive programs with weak similarity. Proceedings of the First International Workshop on Hybrid Intelligent Systems. Adelaide, 2001. In Hybrid Information Systems, Abraham, A. and K\u00f6ppen, M., eds., 285\u2013300, Advances in Soft Computing, Physica (Springer)-Verlag, 2002.","DOI":"10.1007\/978-3-7908-1782-9_21"},{"key":"17_CR19","unstructured":"Guller, D. Model and fixpoint semantics for fuzzy disjunctive programs with weak similarity. In Recent Advances in Intelligent Paradigms and Applications, Abraham, A. and Lakhmi, J., eds., Studies in Fuzziness and Soft Computing, Physica (Springer)-Verlag, to appear, 2002."},{"issue":"2","key":"17_CR20","doi-asserted-by":"publisher","first-page":"159","DOI":"10.1007\/BF03037422","volume":"1","author":"M. Ishizuka","year":"1983","unstructured":"Ishizuka, M. Inference methods based on extended Dempster and Shafer\u2019s theory with uncertainty\/fuzziness. New Generation Computing, 1(2):159\u2013168, 1983.","journal-title":"New Generation Computing"},{"issue":"2","key":"17_CR21","doi-asserted-by":"publisher","first-page":"179","DOI":"10.1007\/BF00245460","volume":"9","author":"M. Kifer","year":"1992","unstructured":"Kifer, M. and Lozinskii, E., L. A logic for reasoning with inconsistency. Journal of Automated Reasoning, Kluwer Ac. Publ., 9(2):179\u2013215, 1992.","journal-title":"Journal of Automated Reasoning"},{"key":"17_CR22","doi-asserted-by":"publisher","first-page":"335","DOI":"10.1016\/0743-1066(92)90007-P","volume":"12","author":"M. Kifer","year":"1992","unstructured":"Kifer, M. and Subrahmanian, V., S. Theory of the generalized annotated logic programming and its applications. Journal of Logic Programming, 12, 335\u2013367, 1992.","journal-title":"Journal of Logic Programming"},{"key":"17_CR23","doi-asserted-by":"crossref","unstructured":"Lukasiewicz, T. Many-valued disjunctive logic programs with probabilistic semantics. Proc. 5th International Conference LPNMR, Springer-Verlag, LNAI 1730, 277\u2013289, El Paso, USA, 1999.","DOI":"10.1007\/3-540-46767-X_20"},{"issue":"1","key":"17_CR24","doi-asserted-by":"publisher","first-page":"23","DOI":"10.1016\/S0888-613X(99)00006-7","volume":"21","author":"T. Lukasiewicz","year":"1999","unstructured":"Lukasiewicz, T. Local probabilistic deduction from taxonomic and probabilistic knowledge-bases over conjunctive events. Int. Journal of Approximate Reasoning, 21(1):23\u201361, 1999.","journal-title":"Int. Journal of Approximate Reasoning"},{"key":"17_CR25","doi-asserted-by":"crossref","unstructured":"Lukasiewicz, T. Fixpoint characterizations for many-valued disjunctive logic programs with probabilistic semantics. Tech. Report INFSYS RR-1843-01-06, TU Wien, Proc. Logic Programming and Non-Monotonic Reasoning, LNAI 2173, Springer-Verlag, 336\u2013350, 2001.","DOI":"10.1007\/3-540-45402-0_25"},{"issue":"3","key":"17_CR26","doi-asserted-by":"publisher","first-page":"289","DOI":"10.1145\/377978.377983","volume":"2","author":"T. Lukasiewicz","year":"2001","unstructured":"Lukasiewicz, T. Probabilistic logic programming with conditional constraints. ACM Trans. Computational Logic, 2(3):289\u2013337, 2001.","journal-title":"ACM Trans. Computational Logic"},{"key":"17_CR27","unstructured":"Marks II, R., J. Fuzzy Logic Technology and Applications. IEEE Technical Activities Board, 1994."},{"key":"17_CR28","doi-asserted-by":"crossref","unstructured":"Mateis, C. Extending disjunctive logic programming by t-norms. Proc. 5th International Conference LPNMR, Springer-Verlag, LNAI 1730, 290\u2013304, El Paso, USA, 1999.","DOI":"10.1007\/3-540-46767-X_21"},{"issue":"4","key":"17_CR29","first-page":"225","volume":"13","author":"C. Mateis","year":"2000","unstructured":"Mateis, C. Quantitative disjunctive logic programming: semantics and computation. AI Communications, 13(4):225\u2013248, 2000.","journal-title":"AI Communications"},{"issue":"3","key":"17_CR30","doi-asserted-by":"publisher","first-page":"191","DOI":"10.1016\/0020-0190(82)90035-7","volume":"14","author":"J. Minker","year":"1982","unstructured":"Minker, J. and Zanon, G. An extension to linear resolution with selection function. Inform. Process. Lett., 14(3):191\u2013194, 1982.","journal-title":"Inform. Process. Lett."},{"key":"17_CR31","series-title":"Lect Notes Comput Sci","doi-asserted-by":"crossref","first-page":"292","DOI":"10.1007\/BFb0000066","volume-title":"On indefinite databases and the closed world assumption","author":"J. Minker","year":"1982","unstructured":"Minker, J. On indefinite databases and the closed world assumption. Lecture Notes in Computer Science, Springer Verlag, 138:292\u2013308, 1982."},{"key":"17_CR32","doi-asserted-by":"publisher","first-page":"293","DOI":"10.1007\/BF00248321","volume":"5","author":"J. Minker","year":"1989","unstructured":"Minker, J., Rajasekar, A. and Lobo, J. Weak generalized closed world assumption. Journal of Automated Reasoning, 5:293\u2013307, 1989.","journal-title":"Journal of Automated Reasoning"},{"issue":"1","key":"17_CR33","doi-asserted-by":"publisher","first-page":"45","DOI":"10.1016\/0743-1066(90)90033-2","volume":"9","author":"J. Minker","year":"1990","unstructured":"Minker, J. and Rajasekar, A. A fixpoint semantics for non-Horn logic programs. Journal of Logic Programming, 9(1):45\u201374, 1990.","journal-title":"Journal of Logic Programming"},{"key":"17_CR34","volume-title":"Foundations of disjunctive logic programming","author":"J. Minker","year":"1992","unstructured":"Minker, J., Rajasekar, A. and Lobo, J. Foundations of disjunctive logic programming. MIT Press, Cambridge, MA, 1992."},{"issue":"3\/4","key":"17_CR35","doi-asserted-by":"crossref","first-page":"145","DOI":"10.3233\/FI-1994-201236","volume":"20","author":"J. Minker","year":"1994","unstructured":"Minker, J. and Ruiz, C. Semantics for disjunctive logic programs with explicit and default negation. Fundamenta Informaticae, 20(3\/4):145\u2013192, 1994.","journal-title":"Fundamenta Informaticae"},{"key":"17_CR36","doi-asserted-by":"publisher","first-page":"1","DOI":"10.1007\/BF01530759","volume":"12","author":"J. Minker","year":"1994","unstructured":"Minker, J. Overview of disjunctive logic programming. Annals of Mathematics and Artificial Intelligence, 12:1\u201324, 1994.","journal-title":"Annals of Mathematics and Artificial Intelligence"},{"key":"17_CR37","doi-asserted-by":"publisher","first-page":"75","DOI":"10.1016\/0004-3702(85)90042-6","volume":"25","author":"R. Moore","year":"1985","unstructured":"Moore, R., C. Semantic considerations on non-monotonic logic. Journal of Artificial Intelligence, 25:75\u201394, 1985.","journal-title":"Journal of Artificial Intelligence"},{"key":"17_CR38","volume-title":"Tech. Report RT 5006","author":"S. Morishita","year":"1990","unstructured":"Morishita, S. A unified approach to semantics of multi-valued logic programs. Tech. Report RT 5006, IBM Tokyo, 1990."},{"key":"17_CR39","doi-asserted-by":"publisher","first-page":"150","DOI":"10.1016\/0890-5401(92)90061-J","volume":"101","author":"R. Ng","year":"1992","unstructured":"Ng, R., T. and Subrahmanian, V., S. Probabilistic logic programming. Information and Computation, 101:150\u2013201, 1992.","journal-title":"Information and Computation"},{"key":"17_CR40","doi-asserted-by":"publisher","first-page":"71","DOI":"10.1016\/0004-3702(86)90031-7","volume":"28","author":"N. Nilsson","year":"1986","unstructured":"Nilsson, N., J. Probabilistic logic. Artificial Intelligence, 28:71\u201387, 1986.","journal-title":"Artificial Intelligence"},{"key":"17_CR41","doi-asserted-by":"crossref","unstructured":"Pearl, J. Probabilistic reasoning in intelligent systems-networks of plausible inference. Morgan Kaufmann, 1988.","DOI":"10.1016\/B978-0-08-051489-5.50008-4"},{"key":"17_CR42","doi-asserted-by":"crossref","unstructured":"Przymusinski, T., C. On the declarative semantics of deductive databases and logic programs. Foundations of Deductive Databases and Logic Programming, Morgan Kaufmann, 193\u2013216, 1988.","DOI":"10.1016\/B978-0-934613-40-8.50009-9"},{"key":"17_CR43","doi-asserted-by":"crossref","unstructured":"Przymusinski, T., C. Semantics of normal and disjunctive logic programs, a unifying framework. Technical report, University of California at Riverside, 1995.","DOI":"10.1007\/BFb0030659"},{"issue":"2","key":"17_CR44","doi-asserted-by":"publisher","first-page":"397","DOI":"10.1007\/BF00297247","volume":"4","author":"K. Ross","year":"1988","unstructured":"Ross, K., A. and Topor, R., W. Inferring negative information from disjunctive databases. Journal of Automated Reasoning, 4(2):397\u2013424, 1988.","journal-title":"Journal of Automated Reasoning"},{"key":"17_CR45","doi-asserted-by":"crossref","unstructured":"Shafer, G. A mathematical theory of evidence. Princeton University Press, 1976.","DOI":"10.1515\/9780691214696"},{"key":"17_CR46","unstructured":"Shapiro, E. Logic programs with uncertainties: a tool for implementing expert systems. Proc. IJCAI, William Kauffman, 529\u2013532, 1983."},{"key":"17_CR47","doi-asserted-by":"crossref","unstructured":"Shortliffe, E. Computer-based medical consultation: MYCIN. Elsevier Science, 1976.","DOI":"10.1016\/B978-0-444-00179-5.50009-3"},{"key":"17_CR48","first-page":"173","volume-title":"Proc. 4th IEEE Symposium on Logic Programming","author":"V. Subrahmanian","year":"1987","unstructured":"Subrahmanian, V., S. On the semantics of quantitative logic programs. Proc. 4th IEEE Symposium on Logic Programming, Computer Society Press, Washington DC, 173\u2013182, 1987."},{"issue":"1","key":"17_CR49","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., H. Quantitative deduction and its fixpoint theory. Journal of Logic Programming, 4(1):37\u201353, 1986.","journal-title":"Journal of Logic Programming"},{"issue":"3","key":"17_CR50","doi-asserted-by":"publisher","first-page":"620","DOI":"10.1145\/116825.116838","volume":"38","author":"A. Gelder Van","year":"1991","unstructured":"Van Gelder, A., Ross, K., A. and Schlipf, J., S. The well-founded semantics for general logic programs. Journal of the ACM, 38(3):620\u2013650, 1991.","journal-title":"Journal of the ACM"},{"issue":"2","key":"17_CR51","doi-asserted-by":"publisher","first-page":"141","DOI":"10.1007\/BF00244994","volume":"1","author":"A. Yahya","year":"1985","unstructured":"Yahya, A. and Henschen, L. J. Deduction in non-Horn databases. Journal of Automated Reasoning, 1(2):141\u2013160, 1985.","journal-title":"Journal of Automated Reasoning"},{"key":"17_CR52","doi-asserted-by":"crossref","unstructured":"Zimmermann, H., J. Fuzzy Set Theory and its Applications. Kluwer, Nijhof, second edition, 1991.","DOI":"10.1007\/978-94-015-7949-0"}],"container-title":["Lecture Notes in Computer Science","Logic for Programming, Artificial Intelligence, and Reasoning"],"original-title":[],"link":[{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/3-540-36078-6_17","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2025,1,16]],"date-time":"2025-01-16T21:00:26Z","timestamp":1737061226000},"score":1,"resource":{"primary":{"URL":"http:\/\/link.springer.com\/10.1007\/3-540-36078-6_17"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2002]]},"ISBN":["9783540000105","9783540360780"],"references-count":52,"URL":"https:\/\/doi.org\/10.1007\/3-540-36078-6_17","relation":{},"ISSN":["0302-9743"],"issn-type":[{"type":"print","value":"0302-9743"}],"subject":[],"published":{"date-parts":[[2002]]}}}