{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2025,10,15]],"date-time":"2025-10-15T17:14:42Z","timestamp":1760548482284},"reference-count":31,"publisher":"Springer Science and Business Media LLC","issue":"3-4","license":[{"start":{"date-parts":[[2007,7,21]],"date-time":"2007-07-21T00:00:00Z","timestamp":1184976000000},"content-version":"tdm","delay-in-days":0,"URL":"http:\/\/www.springer.com\/tdm"}],"content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":["Ann Math Artif Intell"],"published-print":{"date-parts":[[2007,8]]},"DOI":"10.1007\/s10472-007-9080-3","type":"journal-article","created":{"date-parts":[[2007,7,20]],"date-time":"2007-07-20T04:38:44Z","timestamp":1184906324000},"page":"363-388","source":"Crossref","is-referenced-by-count":42,"title":["An introduction to fuzzy answer set programming"],"prefix":"10.1007","volume":"50","author":[{"given":"Davy","family":"Van Nieuwenborgh","sequence":"first","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Martine","family":"De Cock","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Dirk","family":"Vermeir","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]}],"member":"297","published-online":{"date-parts":[[2007,7,21]]},"reference":[{"issue":"5","key":"9080_CR1","doi-asserted-by":"crossref","first-page":"1","DOI":"10.1016\/S1571-0661(04)80511-5","volume":"66","author":"T. Alsinet","year":"2002","unstructured":"Alsinet, T., Godo, L., Sandri, S.: Two formalisms of extended possibilistic logic programming with context-dependent fuzzy unification: a comparative description. Electr. Notes Theor. Comput. Sci. 66(5), 1\u201321 (2002)","journal-title":"Electr. Notes Theor. Comput. Sci."},{"key":"9080_CR2","unstructured":"Balduccini, M., Gelfond, M.: Logic programs with consistency-restoring rules. In: Proceedings of the International Symposium on Logical Formalization of Commonsense Reasoning, AAAI 2003 Spring Symposium Series (2003)"},{"key":"9080_CR3","doi-asserted-by":"crossref","unstructured":"Baral, C.: Knowledge Representation, Reasoning and Declarative Problem Solving. Cambridge Press (2003)","DOI":"10.1017\/CBO9780511543357"},{"key":"9080_CR4","unstructured":"Birkhoff, G.: Lattice Theory, vol. 25, 3rd edn. American Mathematical Society Colloquium Publications (1967)"},{"key":"9080_CR5","unstructured":"Brewka, G.: Logic programming with ordered disjunction. In: Proceedings of the 18th National Conference on Artificial Intelligence and Fourteenth Conference on Innovative Applications of Artificial Intelligence, July 2002, pp. 100\u2013105. AAAI Press (2002)"},{"issue":"1\u20132","key":"9080_CR6","doi-asserted-by":"crossref","first-page":"297","DOI":"10.1016\/S0004-3702(99)00015-6","volume":"109","author":"G. Brewka","year":"1999","unstructured":"Brewka, G., Eiter, T.: Preferred answer sets for extended logic programs. Artif. Intell. 109(1\u20132), 297\u2013356 (April 1999)","journal-title":"Artif. Intell."},{"key":"9080_CR7","doi-asserted-by":"crossref","unstructured":"Buccafurri, F., Leone, N., Rullo, P.: Strong and weak constraints in disjunctive datalog. In: Proceedings of the 4th International Conference on Logic Programming (LPNMR \u201997), pp. 2\u201317 (1997)","DOI":"10.1007\/3-540-63255-7_2"},{"key":"9080_CR8","unstructured":"Damasio, C.V., Pereira, L.M.: Sorted monotonic logic programs and their embedding. In: Proceedings of the 10th Intl. Conf. on Information Processing and Management of Uncertainty in Knowledge-Based Systems (IPMU-04), pp. 807\u2013814 (2004)"},{"key":"9080_CR9","doi-asserted-by":"crossref","first-page":"252","DOI":"10.1007\/978-3-540-30227-8_23","volume":"3229","author":"C.V. Damasio","year":"2007","unstructured":"Damasio, C.V., Medina, J., Ojeda-Aciego, M.: Sorted multi-adjoint logic programs: termination results and applications. Lect. Notes Comput. Sci. 3229, 252\u2013265 (2007)","journal-title":"Lect. Notes Comput. Sci."},{"key":"9080_CR10","doi-asserted-by":"crossref","unstructured":"De Vos, M., Vermeir, D.: On the role of negation in choice logic programs. In: Logic Programming and Non-Monotonic Reasoning Conference (LPNMR\u201999). LNAI, vol. 1730, pp. 236\u2013246. Springer (1999)","DOI":"10.1007\/3-540-46767-X_17"},{"issue":"1","key":"9080_CR11","doi-asserted-by":"crossref","first-page":"3","DOI":"10.1016\/j.fss.2003.10.011","volume":"144","author":"D. Dubois","year":"2004","unstructured":"Dubois, D., Prade, H.: Possibilistic logic: a retrospective and prospective view. Fuzzy Sets Syst. 144(1), 3\u201323 (2004)","journal-title":"Fuzzy Sets Syst."},{"issue":"1\u20132","key":"9080_CR12","first-page":"99","volume":"12","author":"T. Eiter","year":"1999","unstructured":"Eiter, T., Faber, W., Leone, N., Pfeifer, G.: The diagnosis frontend of the dlv system. AI Commun. 12(1\u20132), 99\u2013111 (1999)","journal-title":"AI Commun."},{"key":"9080_CR13","unstructured":"Gabbay, D., Laenens, E., Vermeir, D.: Credulous vs. sceptical semantics for ordered logic programs. In: Proceedings of the 2nd International Conference on Principles of Knowledge Representation and Reasoning, pp. 208\u2013217. Morgan Kaufmann (1991)"},{"key":"9080_CR14","first-page":"1070","volume-title":"Logic Programming, Proceedings of the Fifth International Conference and Symposium, August 1988","author":"M. Gelfond","year":"1988","unstructured":"Gelfond, M., Lifschitz, V.: The stable model semantics for logic programming. In: Logic Programming, Proceedings of the Fifth International Conference and Symposium, August 1988, pp. 1070\u20131080. Seattle, Washington, The MIT Press. (1988)"},{"issue":"3\u20134","key":"9080_CR15","doi-asserted-by":"crossref","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 Gener. Comput. 9(3\u20134), 365\u2013386 (1991)","journal-title":"New Gener. Comput."},{"key":"9080_CR16","doi-asserted-by":"crossref","unstructured":"Dix, D.N.J., Kuter, U.: Planning in answer set programming using ordered task decomposition. In: Proceedings of the 27th German Annual Conference on Artificial Intelligence (KI \u201903). LNAI, vol. 2821, pp. 490\u2013504. Springer (2003)","DOI":"10.1007\/978-3-540-39451-8_36"},{"key":"9080_CR17","doi-asserted-by":"crossref","unstructured":"Mateis, C.: Extending disjunctive logic programming by t-norms. In: Proceedings of the 5th International Conference on Logic Programming and Nonmonotonic Reasoning (LPNMR99), LNAI, vol. 1730, pp. 290\u2013304. Springer (1999)","DOI":"10.1007\/3-540-46767-X_21"},{"key":"9080_CR18","unstructured":"Nicolas, P., Garcia, L., St\u00e9phan, I.: Possibilistic stable models. In: Proceedings of the 19th International Joint Conference on Artificial Intelligence, pp. 248\u2013253 (2005)"},{"issue":"1\u20132","key":"9080_CR19","doi-asserted-by":"crossref","first-page":"139","DOI":"10.1007\/s10472-006-9029-y","volume":"47","author":"P. Nicolas","year":"2006","unstructured":"Nicolas, P., Garcia, L., St\u00e9phan, I., Lef\u00e8vre, C.: Possibilistic uncertainty handling for answer set programming. Ann. Math. Artif. Intell. 47(1\u20132), 139\u2013181 (2006)","journal-title":"Ann. Math. Artif. Intell."},{"key":"9080_CR20","doi-asserted-by":"crossref","unstructured":"Nogueira, M., Balduccini, M., Gelfond, M., Watson, R., Barry, M.: An a-prolog decision support system for the space shuttle. In: Third International Symposium on Practical Aspects of Declarative Languages. LNCS, vol. 1990, pp. 169\u2013183. Springer (2001)","DOI":"10.1007\/3-540-45241-9_12"},{"key":"9080_CR21","doi-asserted-by":"crossref","unstructured":"Nov\u00e1k, V., Perfilieva, I., Moc\u0306kor\u0306, J.: Mathematical Principles of Fuzzy Logic. Kluwer (1999)","DOI":"10.1007\/978-1-4615-5217-8"},{"key":"9080_CR22","doi-asserted-by":"crossref","unstructured":"Sacca, D., Zaniolo, C.: Stable models and non-determinism in logic programs with negation. In: PODS \u201990: Proceedings of the Ninth ACM SIGACT-SIGMOD-SIGART Symposium on Principles of Database Systems, pp. 205\u2013217. ACM Press (1990)","DOI":"10.1145\/298514.298572"},{"key":"9080_CR23","doi-asserted-by":"crossref","unstructured":"Soininen, T., Niemel\u00e4, I.: Developing a declarative rule language for applications in product configuration. In: Proceedings of the 1st International Workshop on Practical Aspects of Declarative Languages (PADL \u201999). LNCS, vol. 1551, pp. 305\u2013319. Springer (1999)","DOI":"10.1007\/3-540-49201-1_21"},{"key":"9080_CR24","unstructured":"Straccia, U.: Annotated answer set programming. In: Proceedings of the 11th International Conference on Information Processing and Management of Uncertainty in Knowledge-Based Systems (IPMU-06) (2006)"},{"key":"9080_CR25","doi-asserted-by":"crossref","first-page":"285","DOI":"10.2140\/pjm.1955.5.285","volume":"5","author":"A. Tarski","year":"1955","unstructured":"Tarski, A.: A lattice-theoretical fixpoint theorem and its applications. Pac. J. Math. 5, 285\u2013309 (1955)","journal-title":"Pac. J. Math."},{"key":"9080_CR26","first-page":"221","volume-title":"Proceedings of the 7th ACM SIGACT-SIGMOD-SIGART Symposium on Principles of Database Systems, March 1988","author":"A. Gelder van","year":"1988","unstructured":"van Gelder, A., Ross, K.A., Schlipf, J.S.: Unfounded sets and well-founded semantics for general logic programs. In: Proceedings of the 7th ACM SIGACT-SIGMOD-SIGART Symposium on Principles of Database Systems, March 1988, pp. 221\u2013230. ACM Press, Austin, Texas, (1988)"},{"issue":"3","key":"9080_CR27","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. J. Assoc. Comput. Mach. 38(3), 620\u2013650 (1991)","journal-title":"J. Assoc. Comput. Mach."},{"issue":"1\u20132","key":"9080_CR28","doi-asserted-by":"crossref","first-page":"107","DOI":"10.1017\/S1471068404002315","volume":"6","author":"D. Nieuwenborgh Van","year":"2006","unstructured":"Van Nieuwenborgh, D., Vermeir, D.: Preferred answer sets for ordered logic programs. Theory Pract. Log. Program. 6(1\u20132), 107\u2013167 (2006)","journal-title":"Theory Pract. Log. Program."},{"key":"9080_CR29","unstructured":"Wagner, G.: A logical reconstruction of fuzzy inference in databases and logic programs. In: Proceedings of the International Fuzzy Set Association World Congress (IFSA\u201997) (1997)"},{"issue":"2","key":"9080_CR30","doi-asserted-by":"crossref","first-page":"286","DOI":"10.1109\/91.669028","volume":"6","author":"R. Yager","year":"1998","unstructured":"Yager, R.: Including importances in owa aggregations using fuzzy systems modeling. IEEE Trans. Fuzzy Syst. 6(2), 286\u2013291 (1998)","journal-title":"IEEE Trans. Fuzzy Syst."},{"key":"9080_CR31","doi-asserted-by":"crossref","first-page":"407","DOI":"10.1007\/BF00485052","volume":"30","author":"L. Zadeh","year":"1975","unstructured":"Zadeh, L.: Fuzzy logic and approximate reasoning. Synthese 30, 407\u2013428 (1975)","journal-title":"Synthese"}],"container-title":["Annals of Mathematics and Artificial Intelligence"],"original-title":[],"language":"en","link":[{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/s10472-007-9080-3.pdf","content-type":"application\/pdf","content-version":"vor","intended-application":"text-mining"},{"URL":"http:\/\/link.springer.com\/article\/10.1007\/s10472-007-9080-3\/fulltext.html","content-type":"text\/html","content-version":"vor","intended-application":"text-mining"},{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/s10472-007-9080-3","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2019,5,29]],"date-time":"2019-05-29T13:51:50Z","timestamp":1559137910000},"score":1,"resource":{"primary":{"URL":"http:\/\/link.springer.com\/10.1007\/s10472-007-9080-3"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2007,7,21]]},"references-count":31,"journal-issue":{"issue":"3-4","published-print":{"date-parts":[[2007,8]]}},"alternative-id":["9080"],"URL":"https:\/\/doi.org\/10.1007\/s10472-007-9080-3","relation":{},"ISSN":["1012-2443","1573-7470"],"issn-type":[{"value":"1012-2443","type":"print"},{"value":"1573-7470","type":"electronic"}],"subject":[],"published":{"date-parts":[[2007,7,21]]}}}