S. Benferhat, C. Cayrol, D. Dubois, H. Lang, and . Prade, Inconsistency management and prioritized syntax-based entailment, Proc. of the 13 th IJCAI, vol.640, 1993.

S. Benferhat, D. Dubois, and H. Prade, Argumentative inference in uncertain and inconsistent knowledge bases, Proc. of the 9 th UAI, pp.411-419, 1993.

K. S. Brace, R. R. Rudell, and R. E. Bryant, E cient implementation of a BDD package, 27 th ACM/IEEE Design Automation Conference, pp.40-45, 1990.

G. Brewka, Preferred subtheories : An extended logical framework for default reasoning, Proc. of the 11 th IJCAI, pages 1043{1048, 1989.

R. E. Bryant, Graph-based algorithms for boolean function manipulation, IEEE Transactions on Computers, C, vol.35, issue.8, pp.677-691, 1986.

R. E. Bryant, Symbolic boolean manipulation with ordered binarydecision diagrams, ACM Computing Surveys, vol.24, issue.3, pp.293-318, 1992.

C. Cayrol and M. , Comparaison de relations d'inf erence non-monotone : etude de complexit e. Rapport de recherche 93-23R, 1993.

C. Cayrol and M. , Non-monotonic syntax-based entailment: A classi cation of consequence relations, Lecture Notes in Arti cial Intelligence 946 (Proc. of ECSQARU-95), pp.107-114, 1995.

C. Cayrol, C. Royer, and . Saurel, Management of preferences in assumption-based reasoning, Advanced methods in AI. Lecture notes in computer science 682, pp.13-22, 1992.

H. Thomas, C. E. Cormen, R. L. Leiserson, and . Rivest, Introduction to algorithms, pp.0-262, 1990.

R. Dechter and A. Dechter, Belief maintenance in dynamic constraint networks, Proc. of AAAI-88, pp.37-42, 1988.

D. Dubois, H. Lang, and . Prade, Inconsistency in possibilistic knowledge bases -to live or not to live with it, Fuzzy logic for the Management of Uncertainty, pp.335-351, 1991.

. Florence-dupin-de-saint, . Cyr, T. Lang, and . Schiex, Gestion de l'inconsistance dans les bases de connaissances : une approche syntaxique bas ee sur la logique des p enalit es, Actes de RFIA'94, pp.507-518, 1994.

T. Eiter and G. Gottlob, On the complexity of propositional knowledge base revision, updates, and counterfactuals, Arti cial Intelligence, vol.57, pp.227-270, 1992.

T. Eiter and G. Gottlob, The complexity of logic-based abduction, Proc. of the 10 th Symposium on Theoretical Aspects of Computing STACS, pp.70-79, 1993.

G. Peter and D. Makinson, Nonmonotonic inference based on expectations, Arti cial Intelligence, vol.65, pp.197-245, 1994.

R. Michael, D. S. Garey, and . Johnson, Computers and Intractability : A Guide to the Theory of NP-completeness, 1979.

G. Gogic, C. H. Papadimitriou, and M. Sideri, Incremental recompilation of knowledge, Proc. of AAAI-94, pp.922-927, 1994.

G. Gottlob, Complexity results for nonmonotonic logics, Journal of Logic and Computation, vol.2, issue.3, pp.397-425, 1992.

J. Philippe and . Egou, A logical approach to solve dynamic CSPs: Preliminary report, Proceedings ECAI'94 Workshop on Constraint Satisfaction Issues raised by Practical Applications, vol.87, 1994.

J. Philippe, F. Egou, and . Bouquet, Solving over-constrained CSP using weighted OBDD, Proceedings of the CP'95 Workshop on Over-Constrained Systems, 1995.

D. S. Johnson, A catalog of complexity classes, Handbook of Theoretical Computer Science, vol.A, issue.2, pp.67-161, 1990.

J. De-kleer, An assumption-based TMS, Arti cial Intelligence, vol.28, pp.127-162, 1986.

M. , Contribution a l' etude des relations d'inf erence non-monotone combinant inf erence classique et pr ef erences. Th ese, 1995.

C. Y. Lee, Representation of switching circuits by binary-decision programs, Bell System Tech. J, vol.38, issue.4, pp.985-999, 1959.

D. Lehmann, Another perspective on default reasoning, 1992.

H. Levesque, D. Mitchell, and B. Selman, Hard and easy distributions of sat problems, Proc. of AAAI-92, pp.459-465, 1992.

B. Nebel, Belief revision and default reasoning: Syntax-based approaches, Proc. of the 2 nd KR, pp.417-428, 1991.

G. Pinkas and R. P. Loui, Reasoning from inconsistency : A taxonomy of principles for resolving con ict, Proc. of the 3 rd KR, pp.709-719, 1992.

R. Reiter, A logic for default reasoning, Arti cial Intelligence, vol.13, issue.1-2, pp.81-132, 1980.

B. Selman and H. Kautz, Knowledge compilation using horn approximations, Proc. of AAAI-91, pages 904{909, 1991.