{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2024,9,4]],"date-time":"2024-09-04T13:22:26Z","timestamp":1725456146452},"publisher-location":"Berlin\/Heidelberg","reference-count":13,"publisher":"Springer-Verlag","isbn-type":[{"type":"print","value":"354057395X"}],"content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":[],"DOI":"10.1007\/bfb0028213","type":"book-chapter","created":{"date-parts":[[2005,11,22]],"date-time":"2005-11-22T08:19:00Z","timestamp":1132647540000},"page":"296-303","source":"Crossref","is-referenced-by-count":1,"title":["A mixed approach of revision in propositional calculus"],"prefix":"10.1007","author":[{"given":"Odile","family":"Papini","sequence":"first","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Antoine","family":"Rauzy","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]}],"member":"297","reference":[{"key":"39_CR1","doi-asserted-by":"crossref","first-page":"510","DOI":"10.2307\/2274239","volume":"50","author":"C. Alchourron","year":"1985","unstructured":"C. Alchourron, P. G\u00e4rdenfors, D. Makinson. On the logic of theory change: Partial meet functions for contraction and revision. Journal of Symbolic Logic 50:510\u2013530, 1985.","journal-title":"Journal of Symbolic Logic"},{"key":"39_CR2","first-page":"563","volume":"10","author":"A. Bordiga","year":"1985","unstructured":"A. Bordiga. Language features for flexible handling of exceptions in information systems. ACM Trans. Database Syst.,(10):563\u2013603, 1985.","journal-title":"ACM Trans. Database Syst."},{"key":"39_CR3","unstructured":"M. Dalal. Investigations into a theory of knowledge base revision. Proceedings of the Seventh National Conference on Artificial Intelligence,:475\u2013479, 1988."},{"key":"39_CR4","unstructured":"P. G\u00e4rdenfors. Knowledge in flux: modelling the dynamics of epistemic states. MIT Press, 1988."},{"issue":"1","key":"39_CR5","first-page":"41","volume":"2","author":"S. Jeannicot","year":"1988","unstructured":"S. Jeannicot, L. Oxusoff, A. Rauzy. Evaluation s\u00e9mantique en calcul propositionnel: une propri\u00e9t\u00e9 de coupure pour rendre efficace la proc\u00e9dure de Davis et Putnam. Revue d'Intelligence Artificielle,(2):1 41\u201360, 1988.","journal-title":"Revue d'Intelligence Artificielle"},{"key":"39_CR6","doi-asserted-by":"crossref","first-page":"263","DOI":"10.1016\/0004-3702(91)90069-V","volume":"52","author":"H. Katsuno","year":"1991","unstructured":"H. Katsuno, A. Mendelzon. Propositional knowledge base revision and minimal change. Artificial Intelligence,(52):263\u2013294, 1991.","journal-title":"Artificial Intelligence"},{"key":"39_CR7","unstructured":"B. Nebel. A knowledge level analysis of belief revision. Proceedings of the 1st International Conference on Principles of Knowledge Representation and Reasoning,R.J. Brachman,H.J. Levesque, and R. Reiter editors. Toronto. Ontario.,:301\u2013311, 1989."},{"key":"39_CR8","first-page":"417","volume":"30","author":"B. Nebel","year":"1991","unstructured":"B. Nebel. Belief revision and default reasoning: syntax-based approaches. Proceedings of Knowledge Representation,:30 417\u2013427, 1991.","journal-title":"Proceedings of Knowledge Representation"},{"key":"39_CR9","volume-title":"Th\u00e8se de doctorat","author":"L. Oxusoff","year":"1989","unstructured":"L. Oxusoff, A. Rauzy. Evaluation s\u00e9mantique en calcul propositionnel. Th\u00e8se de doctorat. GIA Universit\u00e9 d'Aix-Marseille II. Luminy, 1989."},{"key":"39_CR10","doi-asserted-by":"crossref","unstructured":"O. Papini. Revision in propositional calculus. Proceedings of ECSQAU 91. Lectures Notes in Computer Sciences.R.Kruse P.Siegel Eds. Springer Verlag,(548):272\u2013276, 1991.","DOI":"10.1007\/3-540-54659-6_100"},{"key":"39_CR11","unstructured":"O. Papini. A complete revision function in propositional calculus. Proceedings of ECAI 92. B.Neumann Ed. J. Wiley & sons,339\u2013343, 1992."},{"key":"39_CR12","unstructured":"Lea Sombe. Revision de bases de connaissances. Actes des 4emes journes nationales du PRC-GDR IA. Marseille,207\u2013235, 1992."},{"key":"39_CR13","unstructured":"M. Winslett. Reasoning about action using a possible models approach. Proceedings of the Seventh National Conference on Artificial Intelligence,:89\u201393, 1988."}],"container-title":["Lecture Notes in Computer Science","Symbolic and Quantitative Approaches to Reasoning and Uncertainty"],"original-title":[],"language":"en","link":[{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/BFb0028213.pdf","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2020,12,9]],"date-time":"2020-12-09T21:58:25Z","timestamp":1607551105000},"score":1,"resource":{"primary":{"URL":"http:\/\/link.springer.com\/10.1007\/BFb0028213"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[null]]},"ISBN":["354057395X"],"references-count":13,"URL":"https:\/\/doi.org\/10.1007\/bfb0028213","relation":{},"subject":[]}}