{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2024,9,6]],"date-time":"2024-09-06T22:46:56Z","timestamp":1725662816249},"publisher-location":"Berlin, Heidelberg","reference-count":18,"publisher":"Springer Berlin Heidelberg","isbn-type":[{"type":"print","value":"9783642259746"},{"type":"electronic","value":"9783642259753"}],"license":[{"start":{"date-parts":[[2011,1,1]],"date-time":"2011-01-01T00:00:00Z","timestamp":1293840000000},"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":[[2011]]},"DOI":"10.1007\/978-3-642-25975-3_5","type":"book-chapter","created":{"date-parts":[[2012,2,24]],"date-time":"2012-02-24T13:44:15Z","timestamp":1330091055000},"page":"44-55","source":"Crossref","is-referenced-by-count":5,"title":["Enforcing Logically Weaker Knowledge in Classical Logic"],"prefix":"10.1007","author":[{"given":"Philippe","family":"Besnard","sequence":"first","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"\u00c9ric","family":"Gr\u00e9goire","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"S\u00e9bastien","family":"Ramon","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]}],"member":"297","reference":[{"key":"5_CR1","unstructured":"SAT Live, \n                    \n                      http:\/\/www.satlive.org\/"},{"key":"5_CR2","unstructured":"Proceedings of the 11th International Conference on Logic Programming and Nonmonotonic Reasoning. LNCS. Springer, Heidelberg (2011)"},{"key":"5_CR3","unstructured":"SAT Competition (2011), \n                    \n                      http:\/\/www.satcompetition.org\/2011\/"},{"issue":"2","key":"5_CR4","doi-asserted-by":"publisher","first-page":"510","DOI":"10.2307\/2274239","volume":"50","author":"C.E. Alchourr\u00f3n","year":"1985","unstructured":"Alchourr\u00f3n, C.E., G\u00e4rdenfors, P., Makinson, D.: On the logic of theory change: Partial meet contraction and revision functions. Journal of Symbolic Logic\u00a050(2), 510\u2013530 (1985)","journal-title":"Journal of Symbolic Logic"},{"key":"5_CR5","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"532","DOI":"10.1007\/978-3-642-22152-1_45","volume-title":"Symbolic and Quantitative Approaches to Reasoning with Uncertainty","author":"P. Besnard","year":"2011","unstructured":"Besnard, P., Gr\u00e9goire, \u00c9., Ramon, S.: Overriding Subsuming Rules. In: Liu, W. (ed.) ECSQARU 2011. LNCS, vol.\u00a06717, pp. 532\u2013544. Springer, Heidelberg (2011)"},{"issue":"2-3","key":"5_CR6","doi-asserted-by":"publisher","first-page":"227","DOI":"10.1016\/0004-3702(92)90018-S","volume":"57","author":"T. Eiter","year":"1992","unstructured":"Eiter, T., Gottlob, G.: On the complexity of propositional knowledge base revision, updates, and counterfactuals. Artificial Intelligence\u00a057(2-3), 227\u2013270 (1992)","journal-title":"Artificial Intelligence"},{"issue":"1","key":"5_CR7","doi-asserted-by":"publisher","first-page":"39","DOI":"10.1007\/BF01066356","volume":"3","author":"A. Fuhrmann","year":"1994","unstructured":"Fuhrmann, A., Hansson, S.O.: A survey of multiple contractions. Journal of Logic, Language and Information\u00a03(1), 39\u201376 (1994)","journal-title":"Journal of Logic, Language and Information"},{"key":"5_CR8","doi-asserted-by":"crossref","unstructured":"Gr\u00e9goire, \u00c9.: Fusing cooperative technical-specification knowledge components. In: Proceedings of ICTAI 2002, pp. 535\u2013542 (2002)","DOI":"10.1142\/9789812777102_0023"},{"issue":"3","key":"5_CR9","doi-asserted-by":"publisher","first-page":"265","DOI":"10.1142\/S021821300300123X","volume":"12","author":"\u00c9. Gr\u00e9goire","year":"2003","unstructured":"Gr\u00e9goire, \u00c9.: Fusing cooperative technical-specification knowledge components. International Journal on Artificial Intelligence Tools\u00a012(3), 265\u2013278 (2003)","journal-title":"International Journal on Artificial Intelligence Tools"},{"key":"5_CR10","doi-asserted-by":"crossref","unstructured":"Gr\u00e9goire, \u00c9.: Knowledge refinement through revision. In: Proceedings of IEEE IRI 2007, pp. 285\u2013290 (2007)","DOI":"10.1109\/IRI.2007.4296635"},{"issue":"3","key":"5_CR11","doi-asserted-by":"publisher","first-page":"325","DOI":"10.1007\/s10601-007-9019-7","volume":"12","author":"\u00c9. Gr\u00e9goire","year":"2007","unstructured":"Gr\u00e9goire, \u00c9., Mazure, B., Piette, C.: Local-search extraction of muses. Constraints\u00a012(3), 325\u2013344 (2007)","journal-title":"Constraints"},{"key":"5_CR12","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"100","DOI":"10.1007\/978-3-642-02959-2_7","volume-title":"Automated Deduction \u2013 CADE-22","author":"\u00c9. Gr\u00e9goire","year":"2009","unstructured":"Gr\u00e9goire, \u00c9., Mazure, B., Piette, C.: Does This Set of Clauses Overlap with at Least One Mus? In: Schmidt, R.A. (ed.) CADE-22. LNCS, vol.\u00a05663, pp. 100\u2013115. Springer, Heidelberg (2009)"},{"issue":"3","key":"5_CR13","doi-asserted-by":"publisher","first-page":"640","DOI":"10.1016\/j.ejor.2007.06.066","volume":"199","author":"\u00c9. Gr\u00e9goire","year":"2009","unstructured":"Gr\u00e9goire, \u00c9., Mazure, B., Piette, C.: Using local search to find msses and muses. European Journal of Operational Research\u00a0199(3), 640\u2013646 (2009)","journal-title":"European Journal of Operational Research"},{"key":"5_CR14","unstructured":"Moore, R.C.: The role of logic in knowledge representation and commonsense reasoning. In: Proceedings of AAAI 1982, pp. 428\u2013433 (1982)"},{"issue":"1","key":"5_CR15","doi-asserted-by":"publisher","first-page":"87","DOI":"10.1016\/0004-3702(82)90012-1","volume":"18","author":"A. Newell","year":"1982","unstructured":"Newell, A.: The knowledge level. Artificial Intelligence\u00a018(1), 87\u2013127 (1982)","journal-title":"Artificial Intelligence"},{"issue":"2","key":"5_CR16","first-page":"95","volume":"19","author":"B.L. Richards","year":"1995","unstructured":"Richards, B.L., Mooney, R.J.: Automated refinement of first-order horn-clause domain theories. Machine Learning\u00a019(2), 95\u2013131 (1995)","journal-title":"Machine Learning"},{"key":"5_CR17","first-page":"14","volume-title":"Advances in Inductive Logic Programming","author":"S. Wrobel","year":"1995","unstructured":"Wrobel, S.: First order theory refinement. In: Advances in Inductive Logic Programming, pp. 14\u201333. IOS Press, Amsterdam (1995)"},{"key":"5_CR18","unstructured":"Zhang, D., Gr\u00e9goire, \u00c9.: Special issue on Managing and Reasoning in the Presence of Inconsistency. International Journal of Semantic Computing (to appear, 2011)"}],"container-title":["Lecture Notes in Computer Science","Knowledge Science, Engineering and Management"],"original-title":[],"link":[{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/978-3-642-25975-3_5","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2019,4,28]],"date-time":"2019-04-28T04:19:22Z","timestamp":1556425162000},"score":1,"resource":{"primary":{"URL":"http:\/\/link.springer.com\/10.1007\/978-3-642-25975-3_5"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2011]]},"ISBN":["9783642259746","9783642259753"],"references-count":18,"URL":"https:\/\/doi.org\/10.1007\/978-3-642-25975-3_5","relation":{},"ISSN":["0302-9743","1611-3349"],"issn-type":[{"type":"print","value":"0302-9743"},{"type":"electronic","value":"1611-3349"}],"subject":[],"published":{"date-parts":[[2011]]}}}