{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2024,9,5]],"date-time":"2024-09-05T18:34:49Z","timestamp":1725561289652},"publisher-location":"Berlin, Heidelberg","reference-count":35,"publisher":"Springer Berlin Heidelberg","isbn-type":[{"type":"print","value":"9783540206422"},{"type":"electronic","value":"9783540245995"}],"content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":[],"published-print":{"date-parts":[[2003]]},"DOI":"10.1007\/978-3-540-24599-5_32","type":"book-chapter","created":{"date-parts":[[2010,7,29]],"date-time":"2010-07-29T08:53:55Z","timestamp":1280393635000},"page":"466-480","source":"Crossref","is-referenced-by-count":8,"title":["Default Knowledge in Logic Programs with Uncertainty"],"prefix":"10.1007","author":[{"given":"Yann","family":"Loyer","sequence":"first","affiliation":[]},{"given":"Umberto","family":"Straccia","sequence":"additional","affiliation":[]}],"member":"297","reference":[{"key":"32_CR1","first-page":"30","volume-title":"Contemporary aspects of philosophy","author":"N.D. Belnap","year":"1977","unstructured":"Belnap, N.D.: How a computer should think. In: Ryle, G. (ed.) Contemporary aspects of philosophy, pp. 30\u201356. Oriel Press, Stocksfield (1977)"},{"key":"32_CR2","doi-asserted-by":"publisher","first-page":"351","DOI":"10.1016\/0025-5564(75)90047-4","volume":"23","author":"B.G. Buchanan","year":"1975","unstructured":"Buchanan, B.G., Shortli, E.H.: A model of inexact reasoning in medicine. Mathematical Bioscience\u00a023, 351\u2013379 (1975)","journal-title":"Mathematical Bioscience"},{"issue":"2","key":"32_CR3","doi-asserted-by":"publisher","first-page":"277","DOI":"10.1016\/S0165-0114(98)00083-9","volume":"113","author":"T.H. Cao","year":"2000","unstructured":"Cao, T.H.: Annotated fuzzy logic programs. Fuzzy Sets and Systems\u00a0113(2), 277\u2013298 (2000)","journal-title":"Fuzzy Sets and Systems"},{"key":"32_CR4","first-page":"581","volume-title":"Proc. of ICLP 1991","author":"D. Dubois","year":"1991","unstructured":"Dubois, D., Lang, J., Prade, H.: Towards possibilistic logic programming. In: Proc. of ICLP 1991, pp. 581\u2013595. MIT Press, Cambridge (1991)"},{"key":"32_CR5","doi-asserted-by":"publisher","first-page":"197","DOI":"10.1016\/0743-1066(93)90031-B","volume":"17","author":"M. Fitting","year":"1993","unstructured":"Fitting, M.: The family of stable models. J. of Logic Programming\u00a017, 197\u2013225 (1993)","journal-title":"J. of Logic Programming"},{"key":"32_CR6","doi-asserted-by":"publisher","first-page":"295","DOI":"10.1016\/S0743-1066(85)80005-4","volume":"2","author":"M. Fitting","year":"1985","unstructured":"Fitting, M.: A Kripke-Kleene-semantics for general logic programs. J. of Logic Programming\u00a02, 295\u2013312 (1985)","journal-title":"J. of Logic Programming"},{"key":"32_CR7","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.: Bilattices and the semantics of logic programming. J. of Logic Programming\u00a011, 91\u2013116 (1991)","journal-title":"J. of Logic Programming"},{"issue":"2","key":"32_CR8","doi-asserted-by":"publisher","first-page":"95","DOI":"10.1002\/(SICI)1097-4571(2000)51:2<95::AID-ASI2>3.0.CO;2-H","volume":"51","author":"N. Fuhr","year":"2000","unstructured":"Fuhr, N.: Probabilistic Datalog: Implementing logical information retrieval for advanced applications. J. of the American Society for Information Science\u00a051(2), 95\u2013110 (2000)","journal-title":"J. of the American Society for Information Science"},{"key":"32_CR9","first-page":"1070","volume-title":"Proc. of ICLP 1988","author":"M. Gelfond","year":"1988","unstructured":"Gelfond, M., Lifschitz, V.: The stable model semantics for logic programming. In: Proc. of ICLP 1988, pp. 1070\u20131080. MIT Press, Cambridge (1988)"},{"issue":"3\/4","key":"32_CR10","doi-asserted-by":"publisher","first-page":"365","DOI":"10.1007\/BF03037169","volume":"9","author":"M. Gelfond","year":"1991","unstructured":"Gelfond, M., Lifschitz, V.: Classical negation in logic programs and disjunctive databases. New Generation Computing\u00a09(3\/4), 365\u2013386 (1991)","journal-title":"New Generation Computing"},{"key":"32_CR11","doi-asserted-by":"publisher","first-page":"265","DOI":"10.1111\/j.1467-8640.1988.tb00280.x","volume":"4","author":"M.L. Ginsberg","year":"1988","unstructured":"Ginsberg, M.L.: Multi-valued logics: a uniform approach to reasoning in artificial intelligence. Computational Intelligence\u00a04, 265\u2013316 (1988)","journal-title":"Computational Intelligence"},{"key":"32_CR12","series-title":"Lecture Notes in Computer Science","first-page":"102","volume-title":"ICDT \u201988","author":"M. Kifer","year":"1988","unstructured":"Kifer, M., Li, A.: On the semantics of rule-based expert systems with uncertainty. In: Gyssens, M., Van Gucht, D., Paredaens, J. (eds.) ICDT 1988. LNCS, vol.\u00a0326, pp. 102\u2013117. Springer, Heidelberg (1988)"},{"key":"32_CR13","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., Subrahmanian, V.S.: Theory of generalized annotated logic programming and its applications. J. of Logic Programming\u00a012, 335\u2013367 (1992)","journal-title":"J. of Logic Programming"},{"key":"32_CR14","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"crossref","first-page":"89","DOI":"10.1007\/3-540-58715-2_116","volume-title":"Foundations of Software Technology and Theoretical Computer Science","author":"L. Lakshmanan","year":"1994","unstructured":"Lakshmanan, L.: An epistemic foundation for logic programming with uncertainty. In: Thiagarajan, P.S. (ed.) FSTTCS 1994. LNCS, vol.\u00a0880, pp. 89\u2013100. Springer, Heidelberg (1994)"},{"issue":"8","key":"32_CR15","doi-asserted-by":"publisher","first-page":"483","DOI":"10.1016\/S0306-4379(97)00030-6","volume":"22","author":"L. Lakshmanan","year":"1997","unstructured":"Lakshmanan, L., Sadri, F.: Uncertain deductive databases: a hybrid approach. Information Systems\u00a022(8), 483\u2013508 (1997)","journal-title":"Information Systems"},{"key":"32_CR16","unstructured":"Lakshmanan, L., Shiri, N.: Probabilistic deductive databases. In: Int\u2019l Logic Programming Symposium, pp. 254\u2013268 (1994)"},{"issue":"4","key":"32_CR17","doi-asserted-by":"publisher","first-page":"554","DOI":"10.1109\/69.940732","volume":"13","author":"L. Lakshmanan","year":"2001","unstructured":"Lakshmanan, L., Shiri, N.: A parametric approach to deductive databases with uncertainty. IEEE Transactions on Knowledge and Data Engineering\u00a013(4), 554\u2013570 (2001)","journal-title":"IEEE Transactions on Knowledge and Data Engineering"},{"key":"32_CR18","first-page":"185","volume-title":"Proc. of the 30th IEEE Int. Symp. on Multi-Valued Logics","author":"Y. Loyer","year":"2000","unstructured":"Loyer, Y., Spyratos, N., Stamate, D.: Integration of Information in Four-valued Logics under Non-Uniform Assumptions. In: Proc. of the 30th IEEE Int. Symp. on Multi-Valued Logics, pp. 185\u2013191. IEEE Press, Los Alamitos (2000)"},{"key":"32_CR19","series-title":"Lecture Notes in Artificial Intelligence","doi-asserted-by":"publisher","first-page":"271","DOI":"10.1007\/3-540-45757-7_23","volume-title":"Logics in Artificial Intelligence","author":"Y. Loyer","year":"2002","unstructured":"Loyer, Y., Straccia, U.: Uncertainty and partial non-uniform assumptions in parametric deductive databases. In: Flesca, S., Greco, S., Leone, N., Ianni, G. (eds.) JELIA 2002. LNCS (LNAI), vol.\u00a02424, pp. 271\u2013282. Springer, Heidelberg (2002)"},{"key":"32_CR20","unstructured":"Loyer, Y., Straccia, U.: The well-founded semantics of logic programs over bilattices: an alternative characterisation. TR ISTI-2003-TR-05, ISTI-CNR, Pisa, Italy (2003) (submitted)"},{"key":"32_CR21","unstructured":"Loyer, Y., Spyratos, N., Stamate, D.: Parametrized Semantics of Logic Programs - a unifying approach. Theoretical Computer Science (to appear)"},{"key":"32_CR22","unstructured":"Loyer, Y., Spyratos, N., Stamate, D.: Hypotheses-Based Semantics of Logic Programs in Multi-Valued Logics. ACM Transactions on Computational Logic (to appear)"},{"key":"32_CR23","series-title":"Lecture Notes in Artificial Intelligence","first-page":"336","volume-title":"Logic Programming and Nonmonotonic Reasoning","author":"T. Lukasiewicz","year":"2001","unstructured":"Lukasiewicz, T.: Fixpoint characterizations for many-valued disjunctive logic programs with probabilistic semantics. In: Eiter, T., Faber, W., Truszczy\u0144ski, M. (eds.) LPNMR 2001. LNCS (LNAI), vol.\u00a02173, pp. 336\u2013350. Springer, Heidelberg (2001)"},{"key":"32_CR24","series-title":"Lecture Notes in Computer Science","first-page":"163","volume-title":"Methodologies for Intelligent Systems","author":"R. Ng","year":"1991","unstructured":"Ng, R., Subrahmanian, V.S.: Stable model semantics for probabilistic deductive databases. In: Ra\u015b, Z.W., Zemankova, M. (eds.) ISMIS 1991. LNCS, vol.\u00a0542, pp. 163\u2013171. Springer, Heidelberg (1991)"},{"issue":"2","key":"32_CR25","doi-asserted-by":"publisher","first-page":"150","DOI":"10.1016\/0890-5401(92)90061-J","volume":"101","author":"R. Ng","year":"1993","unstructured":"Ng, R., Subrahmanian, V.S.: Probabilistic logic programming. Information and Computation\u00a0101(2), 150\u2013201 (1993)","journal-title":"Information and Computation"},{"key":"32_CR26","first-page":"459","volume-title":"Proc. of ICLP 1990","author":"T.C. Przymusinski","year":"1990","unstructured":"Przymusinski, T.C.: Extended stable semantics for normal and disjunctive programs. In: Proc. of ICLP 1990, pp. 459\u2013477. MIT Press, Cambridge (1990)"},{"key":"32_CR27","unstructured":"Shapiro, E.Y.: Logic programs with uncertainties: A tool for implementing rule-based systems. In: Proc. of IJCAI 1983, pp. 529\u2013532 (1983)"},{"key":"32_CR28","first-page":"173","volume-title":"Proc. of 4th IEEE Symp. on Logic Programming","author":"V.S. Subramanian","year":"1987","unstructured":"Subramanian, V.S.: On the semantics of quantitative logic programs. In: Proc. of 4th IEEE Symp. on Logic Programming, pp. 173\u2013182. Computer Society Press, Los Alamitos (1987)"},{"issue":"1","key":"32_CR29","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":"van Emden, M.H.: Quantitative deduction and its fixpoint theory. J. of Logic Programming\u00a04(1), 37\u201353 (1986)","journal-title":"J. of Logic Programming"},{"key":"32_CR30","doi-asserted-by":"crossref","unstructured":"van Gelder, A.: The alternating fixpoint of logic programs with negation. In: Proc. of ACM PODS 1989, pp. 1\u201310 (1989)","DOI":"10.1145\/73721.73722"},{"issue":"3","key":"32_CR31","doi-asserted-by":"crossref","first-page":"620","DOI":"10.1145\/116825.116838","volume":"38","author":"A. Gelder van","year":"1991","unstructured":"van Gelder, A., Ross, K.A., Schlimpf, J.S.: The well-founded semantics for general logic programs. J. of the ACM\u00a038(3), 620\u2013650 (1991)","journal-title":"J. of the ACM"},{"key":"32_CR32","unstructured":"Wagner, G.: A logical reconstruction of fuzzy inference in databases and logic programs. In: Proc. of IFSA 1997, Prague (1997)"},{"key":"32_CR33","unstructured":"Wagner, G.: Negation in fuzzy and possibilistic logic programs. In: Logic programming and Soft Computing. Research Studies Press (1998)"},{"issue":"3","key":"32_CR34","doi-asserted-by":"publisher","first-page":"338","DOI":"10.1016\/S0019-9958(65)90241-X","volume":"8","author":"L.A. Zadeh","year":"1965","unstructured":"Zadeh, L.A.: Fuzzy sets. Information and Control\u00a08(3), 338\u2013353 (1965)","journal-title":"Information and Control"},{"issue":"1","key":"32_CR35","doi-asserted-by":"publisher","first-page":"3","DOI":"10.1016\/0165-0114(78)90029-5","volume":"1","author":"L.A. Zadeh","year":"1965","unstructured":"Zadeh, L.A.: Fuzzy sets as a basis for a theory of possibility. Fuzzy Sets and Systems\u00a01(1), 3\u201328 (1965)","journal-title":"Fuzzy Sets and Systems"}],"container-title":["Lecture Notes in Computer Science","Logic Programming"],"original-title":[],"link":[{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/978-3-540-24599-5_32","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2019,3,17]],"date-time":"2019-03-17T15:25:22Z","timestamp":1552836322000},"score":1,"resource":{"primary":{"URL":"http:\/\/link.springer.com\/10.1007\/978-3-540-24599-5_32"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2003]]},"ISBN":["9783540206422","9783540245995"],"references-count":35,"URL":"https:\/\/doi.org\/10.1007\/978-3-540-24599-5_32","relation":{},"ISSN":["0302-9743","1611-3349"],"issn-type":[{"type":"print","value":"0302-9743"},{"type":"electronic","value":"1611-3349"}],"subject":[],"published":{"date-parts":[[2003]]}}}