{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2024,9,5]],"date-time":"2024-09-05T11:50:01Z","timestamp":1725537001966},"publisher-location":"Berlin, Heidelberg","reference-count":45,"publisher":"Springer Berlin Heidelberg","isbn-type":[{"type":"print","value":"9783642043871"},{"type":"electronic","value":"9783642043888"}],"license":[{"start":{"date-parts":[[2009,1,1]],"date-time":"2009-01-01T00:00:00Z","timestamp":1230768000000},"content-version":"unspecified","delay-in-days":0,"URL":"http:\/\/www.springer.com\/tdm"}],"content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":[],"published-print":{"date-parts":[[2009]]},"DOI":"10.1007\/978-3-642-04388-8_18","type":"book-chapter","created":{"date-parts":[[2009,8,28]],"date-time":"2009-08-28T22:48:38Z","timestamp":1251499718000},"page":"223-239","source":"Crossref","is-referenced-by-count":4,"title":["Extended Fuzzy Logic Programs with Fuzzy Answer Set Semantics"],"prefix":"10.1007","author":[{"given":"Emad","family":"Saad","sequence":"first","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]}],"member":"297","reference":[{"issue":"20","key":"18_CR1","doi-asserted-by":"publisher","first-page":"9","DOI":"10.1016\/0743-1066(94)90024-8","volume":"19","author":"K.R. Apt","year":"1994","unstructured":"Apt, K.R., Bol, R.N.: Logic programming and negation:a survey. Journal of logic programming\u00a019(20), 9\u201371 (1994)","journal-title":"Journal of logic programming"},{"issue":"3","key":"18_CR2","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., Subrahmanian, V.S.: Hybrid probabilistic program. Journal of Logic Programming\u00a043(3), 187\u2013250 (2000)","journal-title":"Journal of Logic Programming"},{"key":"18_CR3","volume-title":"LPNMR","author":"C.V. Damasio","year":"1999","unstructured":"Damasio, C.V., et al.: Coherent well-founded annotated logic programs. In: LPNMR. Springer, Heidelberg (1999)"},{"key":"18_CR4","series-title":"Lecture Notes in Artificial Intelligence","doi-asserted-by":"publisher","first-page":"57","DOI":"10.1007\/3-540-40006-0_5","volume-title":"Logics in Artificial Intelligence","author":"C.V. Damasio","year":"2000","unstructured":"Damasio, C.V., Moniz Pereira, L.: Hybrid probabilistic logic programs as residuated logic programs. In: Ojeda-Aciego, M., de Guzm\u00e1n, I.P., Brewka, G. (eds.) JELIA 2000. LNCS (LNAI), vol.\u00a01919, pp. 57\u201372. Springer, Heidelberg (2000)"},{"key":"18_CR5","volume-title":"ICLP","author":"D. Dubois","year":"1991","unstructured":"Dubois, D., et al.: Towards possibilistic logic programming. In: ICLP. MIT Press, Cambridge (1991)"},{"key":"18_CR6","volume-title":"ICSLP","author":"M. Gelfond","year":"1988","unstructured":"Gelfond, M., Lifschitz, V.: The stable model semantics for logic programming. In: ICSLP. MIT Press, Cambridge (1988)"},{"issue":"3-4","key":"18_CR7","doi-asserted-by":"publisher","first-page":"363","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), 363\u2013385 (1991)","journal-title":"New Generation Computing"},{"issue":"1","key":"18_CR8","doi-asserted-by":"publisher","first-page":"185","DOI":"10.1016\/0022-0000(93)90024-Q","volume":"47","author":"A. Gelder Van","year":"1993","unstructured":"Van Gelder, A.: The alternating fixpoint of logic programs with negation. Journal of Computer and System Sciences\u00a047(1), 185\u2013221 (1993)","journal-title":"Journal of Computer and System Sciences"},{"issue":"3","key":"18_CR9","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., Schlipf, J.S.: The well-founded semantics for general logic programs. Journal of ACM\u00a038(3), 620\u2013650 (1991)","journal-title":"Journal of ACM"},{"key":"18_CR10","doi-asserted-by":"crossref","unstructured":"Janssen, J., Schockaert, S., Vermeir, D., De Cock, M.: General fuzzy answer set programs. In: International Workshop on Fuzzy Logic and Applications (2009)","DOI":"10.1007\/978-3-642-02282-1_44"},{"key":"18_CR11","volume-title":"Intl. Conf. on Database Theory","author":"M. Kifer","year":"1988","unstructured":"Kifer, M., Li, A.: On the semantics of rule-based expert systems with uncertainty. In: Intl. Conf. on Database Theory. Springer, Heidelberg (1988)"},{"key":"18_CR12","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. Journal of Logic Programming\u00a012, 335\u2013367 (1992)","journal-title":"Journal of Logic Programming"},{"issue":"1-2","key":"18_CR13","doi-asserted-by":"publisher","first-page":"239","DOI":"10.1016\/0004-3702(94)00087-H","volume":"76","author":"N. Kushmerick","year":"1995","unstructured":"Kushmerick, N., Hanks, S., Weld, D.: An algorithm for probabilistic planning. Artificial Intelligence\u00a076(1-2), 239\u2013286 (1995)","journal-title":"Artificial Intelligence"},{"key":"18_CR14","volume-title":"Conf. on Database Expert Systems and Applications","author":"V.S.L. Lakshmanan","year":"1994","unstructured":"Lakshmanan, V.S.L., Sadri, F.: Modeling uncertainty in deductive databases. In: Conf. on Database Expert Systems and Applications. Springer, Heidelberg (1994)"},{"key":"18_CR15","volume-title":"Intl. Logic Programming Symposium","author":"V.S.L. Lakshmanan","year":"1994","unstructured":"Lakshmanan, V.S.L., Sadri, F.: Probabilistic deductive databases. In: Intl. Logic Programming Symposium. MIT Press, Cambridge (1994)"},{"issue":"8","key":"18_CR16","doi-asserted-by":"publisher","first-page":"483","DOI":"10.1016\/S0306-4379(97)00030-6","volume":"22","author":"V.S.L. Lakshmanan","year":"1997","unstructured":"Lakshmanan, V.S.L., Sadri, F.: Uncertain deductive databases: a hybrid approach. Information Systems\u00a022(8), 483\u2013508 (1997)","journal-title":"Information Systems"},{"issue":"4","key":"18_CR17","first-page":"554","volume":"13","author":"V.S.L. Lakshmanan","year":"2001","unstructured":"Lakshmanan, V.S.L., Shiri, N.: A Parametric approach to deductive databases with uncertainty. IEEE TKDE\u00a013(4), 554\u2013570 (2001)","journal-title":"IEEE TKDE"},{"key":"18_CR18","volume-title":"FLOPS","author":"Y. Loyer","year":"2002","unstructured":"Loyer, Y., Straccia, U.: The well-founded semantics in normal logic programs with uncertainty. In: FLOPS. Springer, Heidelberg (2002)"},{"key":"18_CR19","doi-asserted-by":"crossref","unstructured":"Loyer, Y., Straccia, U.: The approximate well-founded semantics for logic programs with uncertainty. In: 28th International Symposium on Mathematical Foundations of Computer Science (2003)","DOI":"10.1007\/978-3-540-45138-9_48"},{"issue":"3","key":"18_CR20","first-page":"289","volume":"82","author":"T. Lukasiewicz","year":"2008","unstructured":"Lukasiewicz, T.: Fuzzy description logic programs under the answer set semantics for the semantic Web. Fundamenta Informaticae\u00a082(3), 289\u2013310 (2008)","journal-title":"Fundamenta Informaticae"},{"key":"18_CR21","doi-asserted-by":"crossref","unstructured":"Lukasiewicz, T.: Many-valued disjunctive logic programs with probabilistic semantics. In: LPNMR (1999)","DOI":"10.1007\/3-540-46767-X_20"},{"key":"18_CR22","doi-asserted-by":"crossref","unstructured":"Madrid, N., Ojeda-Aciego, M.: Towards a fuzzy answer set semantics for residuated logic programs. In: Proceedings of the IEEE\/WIC\/ACM International Conference on Web Intelligence and Intelligent Agent Technology (2008)","DOI":"10.1109\/WIIAT.2008.357"},{"issue":"1-2","key":"18_CR23","doi-asserted-by":"publisher","first-page":"77","DOI":"10.1016\/S0304-3975(96)00127-2","volume":"171","author":"A. Nerode","year":"1997","unstructured":"Nerode, A., Remmel, J., Subrahmanian, V.S.: Annotated nonmonotone rule systems. Theoretical Computer Science\u00a0171(1-2), 77\u2013109 (1997)","journal-title":"Theoretical Computer Science"},{"key":"18_CR24","unstructured":"Niemela, I., Simons, P.: Efficient implementation of the well-founded and stable model semantics. In: Joint International Conference and Symposium on Logic Programming, pp. 289\u2013303 (1996)"},{"issue":"3-4","key":"18_CR25","doi-asserted-by":"publisher","first-page":"363","DOI":"10.1007\/s10472-007-9080-3","volume":"50","author":"D. Nieuwenborgh","year":"2007","unstructured":"Nieuwenborgh, D., Cock, M., Vermeir, D.: An introduction to fuzzy answer set programming. Annals of Mathematics and Artificial Intelligence\u00a050(3-4), 363\u2013388 (2007)","journal-title":"Annals of Mathematics and Artificial Intelligence"},{"key":"18_CR26","doi-asserted-by":"crossref","unstructured":"Ng, R.T., Subrahmanian, V.S.: Probabilistic logic programming. Information & Computation\u00a0101(2) (1992)","DOI":"10.1016\/0890-5401(92)90061-J"},{"key":"18_CR27","doi-asserted-by":"crossref","unstructured":"Ng, R.T., Subrahmanian, V.S.: A semantical framework for supporting subjective and conditional probabilities in deductive databases. ARJ\u00a010(2) (1993)","DOI":"10.1007\/BF00881836"},{"key":"18_CR28","doi-asserted-by":"crossref","unstructured":"Ng, R.T., Subrahmanian, V.S.: Stable semantics for probabilistic deductive databases. Information & Computation\u00a0110(1) (1994)","DOI":"10.1006\/inco.1994.1023"},{"key":"18_CR29","doi-asserted-by":"crossref","unstructured":"Saad, E.: Incomplete knowlege in hybrid probabilistic logic programs. In: 10th European Conference on Logics in Artificial Intelligence (2006)","DOI":"10.1007\/11853886_33"},{"key":"18_CR30","doi-asserted-by":"crossref","unstructured":"Saad, E.: A logical approach to qualitative and quantitative reasoning. In: 9th European Conference on Symbolic and Quantitative Approaches to Reasoning with Uncertainty (2007)","DOI":"10.1007\/978-3-540-75256-1_18"},{"key":"18_CR31","doi-asserted-by":"crossref","unstructured":"Saad, E.: Probabilistic planning in hybrid probabilistic logic programs. In: 1st International Conference on Scalable Uncertainty Management (2007)","DOI":"10.1007\/978-3-540-75410-7_1"},{"key":"18_CR32","doi-asserted-by":"crossref","unstructured":"Saad, E.: On the relationship between hybrid probabilistic logic programs and stochastic satisfiability. In: 2nd 1st International Conference on Scalable Uncertainty Management (2008)","DOI":"10.1007\/978-3-540-87993-0_28"},{"key":"18_CR33","doi-asserted-by":"crossref","unstructured":"Saad, E.: A logical framework to reinforcement learning using hybrid probabilistic logic programs. In: 2nd 1st International Conference on Scalable Uncertainty Management (2008)","DOI":"10.1007\/978-3-540-87993-0_27"},{"key":"18_CR34","doi-asserted-by":"crossref","unstructured":"Saad, E.: Probabilistic planning with imperfect sensing actions using hybrid probabilistic logic programs. In: Proceedings of the Ninth International Workshop on Computational Logic in Multi-Agent Systems (2008)","DOI":"10.1007\/978-3-642-04388-8_17"},{"key":"18_CR35","doi-asserted-by":"crossref","unstructured":"Saad, E., Pontelli, E.: Towards a more practical hybrid probabilistic logic programming framework. In: Practical Aspects of Declarative Languages (2005)","DOI":"10.1007\/978-3-540-30557-6_7"},{"key":"18_CR36","volume-title":"International Conference of Logic Programming","author":"E. Saad","year":"2005","unstructured":"Saad, E., Pontelli, E.: Hybrid probabilistic logic programs with non-monotonic negation. In: International Conference of Logic Programming. Springer, Heidelberg (2005)"},{"issue":"3-4","key":"18_CR37","doi-asserted-by":"publisher","first-page":"187","DOI":"10.1007\/s10472-007-9048-3","volume":"48","author":"E. Saad","year":"2006","unstructured":"Saad, E., Pontelli, E.: A new approach to hybrid probabilistic logic programs. Annals of Mathematics and Artificial Intelligence Journal\u00a048(3-4), 187\u2013243 (2006)","journal-title":"Annals of Mathematics and Artificial Intelligence Journal"},{"key":"18_CR38","unstructured":"Saad, E., Elmorsy, S., Gabr, M., Hassan, Y.: Reasoning about actions in fuzzy environment. In: The World Congress of the International Fuzzy Systems Association\/European society for Fuzzy Logic and Technology, IFSA\/EUSFLAT-09 (2009)"},{"key":"18_CR39","unstructured":"Shapiro, E.: Logic Programs with Uncertainties: A Tool for implementing expert systems. In: Proc. of IJCAI, pp. 529\u2013532 (1983)"},{"issue":"5","key":"18_CR40","doi-asserted-by":"publisher","first-page":"1881","DOI":"10.1137\/070695976","volume":"38","author":"U. Straccia","year":"2009","unstructured":"Straccia, U., Ojeda-Aciego, M., Damasio, C.V.: On fixed-points of multivalued functions on complete lattices and their application to generalized logic programs. SIAM Journal on Computing\u00a038(5), 1881\u20131911 (2009)","journal-title":"SIAM Journal on Computing"},{"key":"18_CR41","first-page":"173","volume-title":"Symp. on Logic Programming","author":"V.S. Subrahmanian","year":"1987","unstructured":"Subrahmanian, V.S.: On the semantics of quantitative logic programs. In: Symp. on Logic Programming, pp. 173\u2013182. IEEE Computer Society, Los Alamitos (1987)"},{"issue":"2","key":"18_CR42","doi-asserted-by":"publisher","first-page":"291","DOI":"10.1145\/176567.176571","volume":"19","author":"V.S. Subrahmanian","year":"1994","unstructured":"Subrahmanian, V.S.: Amalgamating knowledge bases. ACM TDS\u00a019(2), 291\u2013331 (1994)","journal-title":"ACM TDS"},{"issue":"1","key":"18_CR43","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. Journal of Logic Programming\u00a04(1), 37\u201353 (1986)","journal-title":"Journal of Logic Programming"},{"issue":"3","key":"18_CR44","doi-asserted-by":"publisher","first-page":"338","DOI":"10.1016\/S0019-9958(65)90241-X","volume":"8","author":"L. Zadeh","year":"1965","unstructured":"Zadeh, L.: Fuzzy Sets. Information and Control\u00a08(3), 338\u2013353 (1965)","journal-title":"Information and Control"},{"key":"18_CR45","doi-asserted-by":"crossref","unstructured":"Zadeh, L.: Outline of a new approach to the analysis of complex systems and decision processes. IEEE Trans. on Systems, Man, and Cybernetics SMC-3, 28\u201344 (1973)","DOI":"10.1109\/TSMC.1973.5408575"}],"container-title":["Lecture Notes in Computer Science","Scalable Uncertainty Management"],"original-title":[],"link":[{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/978-3-642-04388-8_18","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2019,5,22]],"date-time":"2019-05-22T04:19:35Z","timestamp":1558498775000},"score":1,"resource":{"primary":{"URL":"http:\/\/link.springer.com\/10.1007\/978-3-642-04388-8_18"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2009]]},"ISBN":["9783642043871","9783642043888"],"references-count":45,"URL":"https:\/\/doi.org\/10.1007\/978-3-642-04388-8_18","relation":{},"ISSN":["0302-9743","1611-3349"],"issn-type":[{"type":"print","value":"0302-9743"},{"type":"electronic","value":"1611-3349"}],"subject":[],"published":{"date-parts":[[2009]]}}}