{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2025,3,27]],"date-time":"2025-03-27T18:17:22Z","timestamp":1743099442562,"version":"3.40.3"},"publisher-location":"Cham","reference-count":19,"publisher":"Springer International Publishing","isbn-type":[{"type":"print","value":"9783319089089"},{"type":"electronic","value":"9783319089096"}],"license":[{"start":{"date-parts":[[2014,1,1]],"date-time":"2014-01-01T00:00:00Z","timestamp":1388534400000},"content-version":"tdm","delay-in-days":0,"URL":"https:\/\/www.springernature.com\/gp\/researchers\/text-and-data-mining"},{"start":{"date-parts":[[2014,1,1]],"date-time":"2014-01-01T00:00:00Z","timestamp":1388534400000},"content-version":"vor","delay-in-days":0,"URL":"https:\/\/www.springernature.com\/gp\/researchers\/text-and-data-mining"}],"content-domain":{"domain":["link.springer.com"],"crossmark-restriction":false},"short-container-title":[],"published-print":{"date-parts":[[2014]]},"DOI":"10.1007\/978-3-319-08909-6_13","type":"book-chapter","created":{"date-parts":[[2014,7,11]],"date-time":"2014-07-11T06:02:05Z","timestamp":1405058525000},"page":"202-217","update-policy":"https:\/\/doi.org\/10.1007\/springer_crossmark_policy","source":"Crossref","is-referenced-by-count":0,"title":["A Descriptive Handling of Directly Conflicting Rules in Preferred Answer Sets"],"prefix":"10.1007","author":[{"given":"Alexander","family":"\u0160imko","sequence":"first","affiliation":[]}],"member":"297","published-online":{"date-parts":[[2014,7,12]]},"reference":[{"key":"13_CR1","doi-asserted-by":"crossref","first-page":"89","DOI":"10.1016\/B978-0-934613-40-8.50006-3","volume-title":"In: Foundations of Deductive Databases and Logic Programming","author":"KR Apt","year":"1988","unstructured":"Apt, K.R., Blair, H.A., Walker, A.: Towards a theory of declarative knowledge. In: Foundations of Deductive Databases and Logic Programming, pp. 89\u2013148. Morgan Kaufmann, New York (1988)"},{"issue":"1\u20132","key":"13_CR2","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. Artif. Intell. 109(1\u20132), 297\u2013356 (1999)","journal-title":"Artif. Intell."},{"issue":"1","key":"13_CR3","doi-asserted-by":"publisher","first-page":"1","DOI":"10.1016\/0743-1066(85)90002-0","volume":"2","author":"AK Chandra","year":"1985","unstructured":"Chandra, A.K., Harel, D.: Horn clauses queries and generalizations. J. Log. Program. 2(1), 1\u201315 (1985)","journal-title":"J. Log. Program."},{"issue":"2","key":"13_CR4","doi-asserted-by":"publisher","first-page":"129","DOI":"10.1017\/S1471068402001539","volume":"3","author":"JP Delgrande","year":"2003","unstructured":"Delgrande, J.P., Schaub, T., Tompits, H.: A framework for compiling preferences in logic programs. Theory Pract. Log. Program. 3(2), 129\u2013187 (2003)","journal-title":"Theory Pract. Log. Program."},{"issue":"1","key":"13_CR5","doi-asserted-by":"publisher","first-page":"7","DOI":"10.1016\/0304-3975(92)90285-N","volume":"105","author":"PM Dung","year":"1992","unstructured":"Dung, P.M.: On the relations between stable and well-founded semantics of logic programs. Theoret. Comput. Sci. 105(1), 7\u201325 (1992)","journal-title":"Theoret. Comput. Sci."},{"issue":"4\u20135","key":"13_CR6","doi-asserted-by":"publisher","first-page":"463","DOI":"10.1017\/S1471068403001753","volume":"3","author":"T Eiter","year":"2003","unstructured":"Eiter, T., Faber, W., Leone, N., Pfeifer, G.: Computing preferred answer sets by meta-interpretation in answer set programming. Theory Pract. Log. Program. 3(4\u20135), 463\u2013498 (2003)","journal-title":"Theory Pract. Log. Program."},{"issue":"3\/4","key":"13_CR7","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 Gener. Comput. 9(3\/4), 365\u2013386 (1991)","journal-title":"New Gener. Comput."},{"key":"13_CR8","doi-asserted-by":"publisher","first-page":"147","DOI":"10.1504\/IJRIS.2009.028014","volume":"1","author":"M Illic","year":"2009","unstructured":"Illic, M., Leite, J., Slota, M.: ERASP - a system for enhancing recommendations using answer-set programming. Int. J. Reasoning-based Intell. Syst. 1, 147\u2013163 (2009)","journal-title":"Int. J. Reasoning-based Intell. Syst."},{"issue":"3","key":"13_CR9","doi-asserted-by":"publisher","first-page":"231","DOI":"10.1016\/0743-1066(89)90022-8","volume":"7","author":"K Kunen","year":"1989","unstructured":"Kunen, K.: Signed data dependencies in logic programs. J. Log. Program. 7(3), 231\u2013245 (1989)","journal-title":"J. Log. Program."},{"issue":"1\u20132","key":"13_CR10","doi-asserted-by":"publisher","first-page":"185","DOI":"10.1016\/S0004-3702(00)00054-0","volume":"123","author":"C Sakama","year":"2000","unstructured":"Sakama, C., Inoue, K.: Prioritized logic programming and its application to commonsense reasoning. Artif. Intell. 123(1\u20132), 185\u2013222 (2000)","journal-title":"Artif. Intell."},{"key":"13_CR11","unstructured":"Sato, T.: On consistency of first-order logic programs. Technical report TR 87\u201312, ETL (1987)"},{"issue":"4\u20135","key":"13_CR12","doi-asserted-by":"publisher","first-page":"569","DOI":"10.1017\/S1471068403001844","volume":"3","author":"T Schaub","year":"2003","unstructured":"Schaub, T., Wang, K.: A semantic framework for preference handling in answer set programming. Theory Pract. Log. Program. 3(4\u20135), 569\u2013607 (2003)","journal-title":"Theory Pract. Log. Program."},{"key":"13_CR13","unstructured":"\u0160efr\u00e1nek, J.: Preferred answer sets supported by arguments. In: Proceedings of 12th International Workshop on Non-Monotonic Reasoning (NMR 2008), pp. 232\u2013240 (2008)"},{"key":"13_CR14","unstructured":"Turner, H.: Signed logic programs. In: Logic Programming: Proceedngs of the 1994 International Symposium (ILPS\u201994), pp. 61\u201375 (1994)"},{"key":"13_CR15","unstructured":"\u0160imko, A.: Logic programming with preferences on rules. Technical report TR-2013-035, Comenius University in Bratislava (2013). http:\/\/kedrigern.dcs.fmph.uniba.sk\/reports\/display.php?id=50"},{"key":"13_CR16","unstructured":"\u0160imko, A.: Meta-interpreter for logic programs with preferences on rules, April 2013. http:\/\/dai.fmph.uniba.sk\/~simko\/lpp\/"},{"key":"13_CR17","series-title":"Lecture Notes in Computer Science (Lecture Notes in Artificial Intelligence)","doi-asserted-by":"publisher","first-page":"164","DOI":"10.1007\/3-540-44957-4_11","volume-title":"Computational Logic - CL 2000","author":"K Wang","year":"2000","unstructured":"Wang, K., Zhou, L., Lin, F.: Alternating fixpoint theory for logic programs with priority. In: Palamidessi, C., et al. (eds.) CL 2000. LNCS (LNAI), vol. 1861, pp. 164\u2013178. Springer, Heidelberg (2000)"},{"key":"13_CR18","unstructured":"Zhang, Y., Foo, N.Y.: Answer sets for prioritized logic programs. In: Proceedings of the 1997 International Logic Programming Symposium (ILPS\u201997), pp. 69\u201383 (1997)"},{"key":"13_CR19","unstructured":"Zhang, Y., Foo, N.Y.: Towards generalized rule-based updates. In: Proceedings of the Fifteenth International Joint Conference on Artificial Intelligence, IJCAI 97 (1997)"}],"container-title":["Lecture Notes in Computer Science","Declarative Programming and Knowledge Management"],"original-title":[],"language":"en","link":[{"URL":"https:\/\/link.springer.com\/content\/pdf\/10.1007\/978-3-319-08909-6_13","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2023,2,20]],"date-time":"2023-02-20T05:28:52Z","timestamp":1676870932000},"score":1,"resource":{"primary":{"URL":"https:\/\/link.springer.com\/10.1007\/978-3-319-08909-6_13"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2014]]},"ISBN":["9783319089089","9783319089096"],"references-count":19,"URL":"https:\/\/doi.org\/10.1007\/978-3-319-08909-6_13","relation":{},"ISSN":["0302-9743","1611-3349"],"issn-type":[{"type":"print","value":"0302-9743"},{"type":"electronic","value":"1611-3349"}],"subject":[],"published":{"date-parts":[[2014]]},"assertion":[{"value":"12 July 2014","order":1,"name":"first_online","label":"First Online","group":{"name":"ChapterHistory","label":"Chapter History"}}]}}