{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2024,9,5]],"date-time":"2024-09-05T10:47:48Z","timestamp":1725533268421},"publisher-location":"Berlin, Heidelberg","reference-count":16,"publisher":"Springer Berlin Heidelberg","isbn-type":[{"type":"print","value":"9783642029059"},{"type":"electronic","value":"9783642029066"}],"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-02906-6_37","type":"book-chapter","created":{"date-parts":[[2009,6,5]],"date-time":"2009-06-05T23:07:29Z","timestamp":1244243249000},"page":"421-433","source":"Crossref","is-referenced-by-count":2,"title":["Encoding the Revision of Partially Preordered Information in Answer Set Programming"],"prefix":"10.1007","author":[{"given":"Mariette","family":"S\u00e9rayet","sequence":"first","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Pierre","family":"Drap","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Odile","family":"Papini","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]}],"member":"297","reference":[{"key":"37_CR1","unstructured":"Benferhat, S., Ben-Naim, J., Papini, O., W\u00fcrbel, E.: Answer set programming encoding of prioritized removed sets revision: Application to gis. In: Applied Intelligence. Springer, Heidelberg"},{"key":"37_CR2","unstructured":"Benferhat, S., Lagrue, S., Papini, O.: Revising partially ordered belief. In: Proc. of NMR 2002, Toulouse, France (2002)"},{"issue":"1","key":"37_CR3","doi-asserted-by":"publisher","first-page":"25","DOI":"10.1016\/j.fss.2003.10.012","volume":"144","author":"S. Benferhat","year":"2004","unstructured":"Benferhat, S., Lagrue, S., Papini, O.: Revision with partially ordered information in a possibilistic framework. Fuzzy Sets and Systems\u00a0144(1), 25\u201341 (2004)","journal-title":"Fuzzy Sets and Systems"},{"key":"37_CR4","unstructured":"Benferhat, S., Lagrue, S., Papini, O.: Revision of partially ordered information. In: Proc. of IJCAI 2005, Edinburgh, pp. 376\u2013381 (2005)"},{"key":"37_CR5","doi-asserted-by":"publisher","first-page":"142","DOI":"10.1017\/CBO9780511526664.006","volume-title":"Belief Revision","author":"D. Dubois","year":"1992","unstructured":"Dubois, D., Prade, H.: Belief change and possibility theory. In: G\u00e4rdenfors, P. (ed.) Belief Revision, pp. 142\u2013182. Cambridge University Press, U. K. (1992)"},{"key":"37_CR6","volume-title":"Knowledge in Flux: Modeling the Dynamics of Epistemic States","author":"P. G\u00e4rdenfors","year":"1988","unstructured":"G\u00e4rdenfors, P.: Knowledge in Flux: Modeling the Dynamics of Epistemic States. Bradford Books\/ MIT Press, Cambridge (1988)"},{"key":"37_CR7","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"260","DOI":"10.1007\/978-3-540-72200-7_23","volume-title":"Logic Programming and Nonmonotonic Reasoning","author":"M. Gebser","year":"2007","unstructured":"Gebser, M., Kaufmann, B., Neumann, A., Schaub, T.: Clasp: A conflict-driven answer set solver. In: Baral, C., Brewka, G., Schlipf, J. (eds.) LPNMR 2007. LNCS, vol.\u00a04483, pp. 260\u2013265. Springer, Heidelberg (2007)"},{"key":"37_CR8","unstructured":"Halpern, J.Y.: Defining relative likelihood in partially-ordered structures. In: Proc. of UAI 1996, pp. 299\u2013306 (1996)"},{"key":"37_CR9","unstructured":"Hu\u00e9, J., W\u00fcrbel, E., Papini, O.: Removed sets fusion: Performing off the shelf. In: Ghallab, M., Spyropoulos, C.D., Fakotakis, N., Avouris, N. (eds.) Proc. of ECAI 2008 (2008)"},{"key":"37_CR10","unstructured":"Junker, U., Brewka, G.: Handling partially ordered defaults in tms. In: Proceedings of IJCAI 1989, pp. 1043\u20131048 (1989)"},{"key":"37_CR11","doi-asserted-by":"publisher","first-page":"263","DOI":"10.1016\/0004-3702(91)90069-V","volume":"52","author":"H. Katsuno","year":"1991","unstructured":"Katsuno, H., Mendelzon, A.: Propositional Knowledge Base Revision and Minimal Change. Artificial Intelligence\u00a052, 263\u2013294 (1991)","journal-title":"Artificial Intelligence"},{"key":"37_CR12","volume-title":"Counterfactuals","author":"D.K. Lewis","year":"1973","unstructured":"Lewis, D.K.: Counterfactuals. Harvard University Press, Cambridge (1973)"},{"key":"37_CR13","first-page":"1070","volume-title":"Proc. of ICLP 1988","author":"M. Gelfond","year":"1988","unstructured":"Gelfond, M., Lifschitz, V.: The stable model semantics for logic programming. In: Kowalski, R.A., Bowen, K. (eds.) Proc. of ICLP 1988, pp. 1070\u20131080. MIT Press, Cambridge (1988)"},{"key":"37_CR14","unstructured":"Papini, O., W\u00fcrbel, E., Jeansoulin, R., Cur\u00e9, O., Drap, P., S\u00e9rayet, M., Hu\u00e9, J., Seinturier, J., Long, L.: D3.4 representation of archaeological ontologies 1. Technical report, Projet VENUS (2008)"},{"key":"37_CR15","unstructured":"W\u00fcrbel, E., Jeansoulin, R., Papini, O.: Revision: An application in the framework of gis. In: Cohn, A.G., Giunchiglia, F., Selman, B. (eds.) Proc. of KR 2000, pp. 505\u2013516 (2000)"},{"key":"37_CR16","unstructured":"Yahi, S., Benferhat, S., Lagrue, S., S\u00e9rayet, M., Papini, O.: A lexicographic inference for partially preordered belief bases. In: Brewka, G., Lang, J. (eds.) Proc. of KR 2008, pp. 507\u2013516 (2008)"}],"container-title":["Lecture Notes in Computer Science","Symbolic and Quantitative Approaches to Reasoning with Uncertainty"],"original-title":[],"link":[{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/978-3-642-02906-6_37","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2019,3,8]],"date-time":"2019-03-08T17:38:18Z","timestamp":1552066698000},"score":1,"resource":{"primary":{"URL":"http:\/\/link.springer.com\/10.1007\/978-3-642-02906-6_37"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2009]]},"ISBN":["9783642029059","9783642029066"],"references-count":16,"URL":"https:\/\/doi.org\/10.1007\/978-3-642-02906-6_37","relation":{},"ISSN":["0302-9743","1611-3349"],"issn-type":[{"type":"print","value":"0302-9743"},{"type":"electronic","value":"1611-3349"}],"subject":[],"published":{"date-parts":[[2009]]}}}