{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2025,1,21]],"date-time":"2025-01-21T20:40:13Z","timestamp":1737492013934,"version":"3.33.0"},"publisher-location":"Berlin, Heidelberg","reference-count":19,"publisher":"Springer Berlin Heidelberg","isbn-type":[{"type":"print","value":"9783540441908"},{"type":"electronic","value":"9783540457572"}],"license":[{"start":{"date-parts":[[2002,1,1]],"date-time":"2002-01-01T00:00:00Z","timestamp":1009843200000},"content-version":"tdm","delay-in-days":0,"URL":"http:\/\/www.springer.com\/tdm"}],"content-domain":{"domain":["link.springer.com"],"crossmark-restriction":false},"short-container-title":[],"published-print":{"date-parts":[[2002]]},"DOI":"10.1007\/3-540-45757-7_23","type":"book-chapter","created":{"date-parts":[[2007,10,20]],"date-time":"2007-10-20T17:50:39Z","timestamp":1192902639000},"page":"271-282","update-policy":"https:\/\/doi.org\/10.1007\/springer_crossmark_policy","source":"Crossref","is-referenced-by-count":7,"title":["Uncertainty and Partial Non-uniform Assumptions in Parametric Deductive Databases"],"prefix":"10.1007","author":[{"given":"Yann","family":"Loyer","sequence":"first","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Umberto","family":"Straccia","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]}],"member":"297","published-online":{"date-parts":[[2002,9,20]]},"reference":[{"issue":"2","key":"23_CR1","doi-asserted-by":"publisher","first-page":"277","DOI":"10.1016\/S0165-0114(98)00083-9","volume":"113","author":"T. H. Cao","year":"2000","unstructured":"True H. Cao. Annotated fuzzy logic programs. Fuzzy Sets and Systems, 113(2):277\u2013298, 2000.","journal-title":"Fuzzy Sets and Systems"},{"issue":"3","key":"23_CR2","doi-asserted-by":"publisher","first-page":"187","DOI":"10.1016\/S0743-1066(99)00059-X","volume":"43","author":"A. Dekhtyar","year":"2000","unstructured":"Alex Dekhtyar and V.S. Subrahmanian. Hybrid probabilistic programs. Journal of Logic Programming, 43(3):187\u2013250, 2000.","journal-title":"Journal of Logic Programming"},{"key":"23_CR3","unstructured":"Didier Dubois, J\u00e9rome Lang, and Henri Prade. Towards possibilistic logic programming. In Proc. of the 8th Int. Conf. on Logic Programming (ICLP-91), pages 581\u2013595. The MIT Press, 1991."},{"issue":"4","key":"23_CR4","doi-asserted-by":"publisher","first-page":"295","DOI":"10.1016\/S0743-1066(85)80005-4","volume":"2","author":"M. Fitting","year":"1985","unstructured":"Melvin Fitting. A Kripke-Kleene semantics for logic programs. Journal of Logic Programming, 2(4):295\u2013312, 1985.","journal-title":"Journal of Logic Programming"},{"issue":"2\/3 & 4","key":"23_CR5","doi-asserted-by":"publisher","first-page":"197","DOI":"10.1016\/0743-1066(93)90031-B","volume":"17","author":"M. Fitting","year":"1993","unstructured":"Melvin Fitting. The family of stable models. Journal of Logic Programming, 17(2\/3 & 4):197\u2013225, 1993.","journal-title":"Journal of Logic Programming"},{"issue":"2","key":"23_CR6","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":"Norbert Fuhr. Probabilistic datalog: Implementing logical information retrieval for advanced applications. Journal of the American Society for Information Science, 51(2):95\u2013110, 2000.","journal-title":"Journal of the American Society for Information Science"},{"key":"23_CR7","doi-asserted-by":"crossref","unstructured":"Allen Van Gelder. The alternating fixpoint of logic programs with negation. In Proc. of the 8th ACM SIGACT SIGMOD Sym. on Principles of Database Systems (PODS-89), pages 1\u201310, 1989.","DOI":"10.1145\/73721.73722"},{"key":"23_CR8","series-title":"Lect Notes Comput Sci","first-page":"102","volume-title":"On the semantics of rule-based expert systems with uncertainty","author":"M. Kifer","year":"1988","unstructured":"M. Kifer and Ai Li. On the semantics of rule-based expert systems with uncertainty. In Proc. of the Int. Conf. on Database Theory (ICDT-88), number 326 in Lecture Notes in Computer Science, pages 102\u2013117. Springer-Verlag, 1988."},{"key":"23_CR9","doi-asserted-by":"publisher","first-page":"335","DOI":"10.1016\/0743-1066(92)90007-P","volume":"12","author":"M. Kifer","year":"1992","unstructured":"Michael Kifer and V.S. Subrahmanian. Theory of generalized annotaded logic programming and its applications. Journal of Logic Programming, 12:335\u2013367, 1992.","journal-title":"Journal of Logic Programming"},{"key":"23_CR10","unstructured":"Laks V.S. Lakshmanan and Nematollaah Shiri. Probabilistic deductive databases. In Int\u2019l Logic Programming Symposium, pages 254\u2013268, 1994."},{"issue":"4","key":"23_CR11","doi-asserted-by":"publisher","first-page":"554","DOI":"10.1109\/69.940732","volume":"13","author":"L. V.S. Lakshmanan","year":"2001","unstructured":"Laks V.S. Lakshmanan and Nematollaah Shiri. A parametric approach to deductive databases with uncertainty. IEEE Transactions on Knowledge and Data Engineering, 13(4):554\u2013570, 2001.","journal-title":"IEEE Transactions on Knowledge and Data Engineering"},{"key":"23_CR12","doi-asserted-by":"crossref","unstructured":"Y. Loyer, N Spyratos, and D. Stamate. Integration of information in four-valued logics under non-uniform assumptions. In Proceedings of the 30th IEEE International Symposium on Multi-Valued Logics (ISMVL 2000), pages 185\u2013191, Portland, Oregon, 2000. IEEE Press.","DOI":"10.1109\/ISMVL.2000.848618"},{"key":"23_CR13","unstructured":"Thomas Lukasiewicz. Probabilistic logic programming. In Proc. of the 13th European Conf. on Artificial Intelligence (ECAI-98), pages 388\u2013392, Brighton (England), August 1998."},{"key":"23_CR14","unstructured":"Raymond Ng and V.S. Subrahmanian. Stable model semantics for probabilistic deductive databases. In Zbigniew W. Ras and Maria Zemenkova, editors, Proc. of the 6th Int. Sym. on Methodologies for Intelligent Systems (ISMIS-91), number 542 in Lecture Notes in Artificial Intelligence, pages 163\u2013171. Springer-Verlag, 1991."},{"issue":"2","key":"23_CR15","doi-asserted-by":"publisher","first-page":"150","DOI":"10.1016\/0890-5401(92)90061-J","volume":"101","author":"R. Ng","year":"1993","unstructured":"Raymond Ng and V.S. Subrahmanian. Probabilistic logic programming. Information and Computation, 101(2):150\u2013201, 1993.","journal-title":"Information and Computation"},{"key":"23_CR16","unstructured":"Ehud Y. Shapiro. Logic programs with uncertainties: A tool for implementing rule-based systems. In Proc. of the 8th Int. Joint Conf. on Artificial Intelligence (IJCAI-83), pages 529\u2013532, 1983."},{"key":"23_CR17","doi-asserted-by":"crossref","first-page":"37","DOI":"10.1016\/0743-1066(86)90003-8","volume":"1","author":"M.H. Emden van","year":"1986","unstructured":"M.H. van Emden. Quantitative deduction and its fixpoint theory. Journal of Philosophical Logic, (1):37\u201353, 1986.","journal-title":"Journal of Philosophical Logic"},{"issue":"3","key":"23_CR18","doi-asserted-by":"publisher","first-page":"620","DOI":"10.1145\/116825.116838","volume":"38","author":"A. Gelder Van","year":"1991","unstructured":"Allen Van Gelder, Kenneth A. Ross, and John S. Schlimpf. The well-founded semantics for general logic programs. Journal of the ACM, 38(3):620\u2013650, January 1991.","journal-title":"Journal of the ACM"},{"key":"23_CR19","doi-asserted-by":"publisher","first-page":"297","DOI":"10.1007\/BF00249368","volume":"14","author":"S. Yablo","year":"1985","unstructured":"S. Yablo. Truth and reflection. Journal of Philosophical Logic, 14:297\u2013349, 1985.","journal-title":"Journal of Philosophical Logic"}],"container-title":["Lecture Notes in Computer Science","Logics in Artificial Intelligence"],"original-title":[],"language":"en","link":[{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/3-540-45757-7_23","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2025,1,21]],"date-time":"2025-01-21T20:01:15Z","timestamp":1737489675000},"score":1,"resource":{"primary":{"URL":"http:\/\/link.springer.com\/10.1007\/3-540-45757-7_23"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2002]]},"ISBN":["9783540441908","9783540457572"],"references-count":19,"URL":"https:\/\/doi.org\/10.1007\/3-540-45757-7_23","relation":{},"ISSN":["0302-9743"],"issn-type":[{"type":"print","value":"0302-9743"}],"subject":[],"published":{"date-parts":[[2002]]},"assertion":[{"value":"20 September 2002","order":1,"name":"first_online","label":"First Online","group":{"name":"ChapterHistory","label":"Chapter History"}}]}}