{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2024,9,4]],"date-time":"2024-09-04T17:26:09Z","timestamp":1725470769972},"publisher-location":"Berlin, Heidelberg","reference-count":26,"publisher":"Springer Berlin Heidelberg","isbn-type":[{"type":"print","value":"9783540396253"},{"type":"electronic","value":"9783540396277"}],"content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":[],"published-print":{"date-parts":[[2006]]},"DOI":"10.1007\/11853886_30","type":"book-chapter","created":{"date-parts":[[2006,9,13]],"date-time":"2006-09-13T12:40:30Z","timestamp":1158151230000},"page":"359-372","source":"Crossref","is-referenced-by-count":4,"title":["Fuzzy Answer Set Programming"],"prefix":"10.1007","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","reference":[{"doi-asserted-by":"crossref","unstructured":"Alsinet, T., Godo, L., Sandri, S.: Two formalisms of extended possibilistic logic programming with context-dependent fuzzy unification: a comparative description. Electronic Notes in Theoretical Computer Science\u00a066(5) (2002)","key":"30_CR1","DOI":"10.1016\/S1571-0661(04)80511-5"},{"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":"30_CR2"},{"key":"30_CR3","doi-asserted-by":"publisher","DOI":"10.1017\/CBO9780511543357","volume-title":"Knowledge Representation, Reasoning and Declarative Problem Solving","author":"C. Baral","year":"2003","unstructured":"Baral, C.: Knowledge Representation, Reasoning and Declarative Problem Solving. Cambridge Press, Cambridge (2003)"},{"unstructured":"Birkhoff, G.: Lattice theory. American Mathematical Society Colloquium Publications\u00a025(3) (1967)","key":"30_CR4"},{"key":"30_CR5","first-page":"100","volume-title":"Proceedings of the 18th National Conference on Artificial Intelligence and Fourteenth Conference on Innovative Applications of Artificial Intelligence","author":"G. Brewka","year":"2002","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, pp. 100\u2013105. AAAI Press, Menlo Park (2002)"},{"issue":"1-2","key":"30_CR6","doi-asserted-by":"publisher","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. Artificial Intelligence\u00a0109(1-2), 297\u2013356 (1999)","journal-title":"Artificial Intelligence"},{"key":"30_CR7","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"crossref","first-page":"2","DOI":"10.1007\/3-540-63255-7_2","volume-title":"Logic Programming and Nonmonotonic Reasoning","author":"F. Buccafurri","year":"1997","unstructured":"Buccafurri, F., Leone, N., Rullo, P.: Strong and weak constraints in disjunctive datalog. In: Fuhrbach, U., Dix, J., Nerode, A. (eds.) LPNMR 1997. LNCS, vol.\u00a01265, pp. 2\u201317. Springer, Heidelberg (1997)"},{"unstructured":"Damasio, C., Medina, J., Ojeda-Aciego, M.: Sorted multi-adjoint logic programs: termination results and applications. Journal of Applied Logic (to appear, 2006)","key":"30_CR8"},{"unstructured":"Damasio, C.V., Pereira, L.M.: Sorted monotonic logic programs and their embedding. In: Proc. of the 10th Intl. Conf. on Information Processing and Management of Uncertainty in Knowledge-Based Systems (IPMU 2004), pp. 807\u2013814 (2004)","key":"30_CR9"},{"key":"30_CR10","series-title":"LNAI","doi-asserted-by":"publisher","first-page":"236","DOI":"10.1007\/3-540-46767-X_17","volume-title":"Logic Programming and Nonmonotonic Reasoning","author":"M. Vos De","year":"1999","unstructured":"De Vos, M., Vermeir, D.: On the role of negation in choice logic programs. In: Gelfond, M., Leone, N., Pfeifer, G. (eds.) LPNMR 1999. LNCS (LNAI), vol.\u00a01730, pp. 236\u2013246. Springer, Heidelberg (1999)"},{"issue":"1","key":"30_CR11","doi-asserted-by":"publisher","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 and Systems\u00a0144(1), 3\u201323 (2004)","journal-title":"Fuzzy Sets and Systems"},{"issue":"1-2","key":"30_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 Communications\u00a012(1-2), 99\u2013111 (1999)","journal-title":"AI Communications"},{"key":"30_CR13","first-page":"208","volume-title":"Proceedings of the 2nd International Conference on Principles of Knowledge Representation and Reasoning","author":"D. Gabbay","year":"1991","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, San Francisco (1991)"},{"key":"30_CR14","first-page":"1070","volume-title":"Logic Programming, Proceedings of the Fifth International Conference and Symposium","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, Seattle, Washington, August 1988, pp. 1070\u20131080. The MIT Press, Cambridge (1988)"},{"issue":"3-4","key":"30_CR15","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":"30_CR16","series-title":"LNAI","doi-asserted-by":"publisher","first-page":"490","DOI":"10.1007\/978-3-540-39451-8_36","volume-title":"KI 2003: Advances in Artificial Intelligence","author":"J. Dix","year":"2003","unstructured":"Dix, J., Kuter, U., Nau, D.S.: Planning in answer set programming using ordered task decomposition. In: G\u00fcnter, A., Kruse, R., Neumann, B. (eds.) KI 2003. LNCS (LNAI), vol.\u00a02821, pp. 490\u2013504. Springer, Heidelberg (2003)"},{"key":"30_CR17","series-title":"LNAI","doi-asserted-by":"publisher","first-page":"290","DOI":"10.1007\/3-540-46767-X_21","volume-title":"Logic Programming and Nonmonotonic Reasoning","author":"C. Mateis","year":"1999","unstructured":"Mateis, C.: Extending disjunctive logic programming by t-norms. In: Gelfond, M., Leone, N., Pfeifer, G. (eds.) LPNMR 1999. LNCS (LNAI), vol.\u00a01730, pp. 290\u2013304. Springer, Heidelberg (1999)"},{"unstructured":"Nicolas, P., Garcia, L., St\u00e9phan, I.: Possibilistic stable models. In: Proc. of the 19th Intl. Joint Conf. on Artificial Intelligence, pp. 248\u2013253 (2005)","key":"30_CR18"},{"key":"30_CR19","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"169","DOI":"10.1007\/3-540-45241-9_12","volume-title":"Practical Aspects of Declarative Languages","author":"M. Nogueira","year":"2001","unstructured":"Nogueira, M., Balduccini, M., Gelfond, M., Watson, R., Barry, M.: An A-prolog decision support system for the space shuttle. In: Ramakrishnan, I.V. (ed.) PADL 2001. LNCS, vol.\u00a01990, pp. 169\u2013183. Springer, Heidelberg (2001)"},{"key":"30_CR20","doi-asserted-by":"crossref","DOI":"10.1007\/978-1-4615-5217-8","volume-title":"Mathematical Principles of Fuzzy Logic","author":"V. Nov\u00e1k","year":"1999","unstructured":"Nov\u00e1k, V., Perfilieva, I., Mo\u010dko\u0159, J.: Mathematical Principles of Fuzzy Logic. Kluwer Academic Publishers, Dordrecht (1999)"},{"key":"30_CR21","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"305","DOI":"10.1007\/3-540-49201-1_21","volume-title":"Practical Aspects of Declarative Languages","author":"T. Soininen","year":"1999","unstructured":"Soininen, T., Niemel\u00e4, I.: Developing a declarative rule language for applications in product configuration. In: Gupta, G. (ed.) PADL 1999. LNCS, vol.\u00a01551, pp. 305\u2013319. Springer, Heidelberg (1999)"},{"unstructured":"Straccia, U.: Annotated answer set programming. In: Proc. of the 11th Intl. Conf. on Information Processing and Management of Uncertainty in Knowledge-Based Systems (IPMU 2006) (2006)","key":"30_CR22"},{"issue":"3","key":"30_CR23","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 the Association for Computing Machinery\u00a038(3), 620\u2013650 (1991)","journal-title":"Journal of the Association for Computing Machinery"},{"issue":"1-2","key":"30_CR24","doi-asserted-by":"publisher","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 and Practice of Logic Programming\u00a06(1-2), 107\u2013167 (2006)","journal-title":"Theory and Practice of Logic Programming"},{"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 1997) (1997)","key":"30_CR25"},{"key":"30_CR26","doi-asserted-by":"publisher","first-page":"407","DOI":"10.1007\/BF00485052","volume":"30","author":"L. Zadeh","year":"1975","unstructured":"Zadeh, L.: Fuzzy logic and approximate reasoning. Synthese\u00a030, 407\u2013428 (1975)","journal-title":"Synthese"}],"container-title":["Lecture Notes in Computer Science","Logics in Artificial Intelligence"],"original-title":[],"link":[{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/11853886_30","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2019,3,11]],"date-time":"2019-03-11T02:29:48Z","timestamp":1552271388000},"score":1,"resource":{"primary":{"URL":"http:\/\/link.springer.com\/10.1007\/11853886_30"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2006]]},"ISBN":["9783540396253","9783540396277"],"references-count":26,"URL":"https:\/\/doi.org\/10.1007\/11853886_30","relation":{},"ISSN":["0302-9743","1611-3349"],"issn-type":[{"type":"print","value":"0302-9743"},{"type":"electronic","value":"1611-3349"}],"subject":[],"published":{"date-parts":[[2006]]}}}