Inconsistency management and prioritized syntax-based entailment, Proc. of the 13 th IJCAI, vol.640, 1993. ,
Argumentative inference in uncertain and inconsistent knowledge bases, Proc. of the 9 th UAI, pp.411-419, 1993. ,
E cient implementation of a BDD package, 27 th ACM/IEEE Design Automation Conference, pp.40-45, 1990. ,
Preferred subtheories : An extended logical framework for default reasoning, Proc. of the 11 th IJCAI, pages 1043{1048, 1989. ,
Graph-based algorithms for boolean function manipulation, IEEE Transactions on Computers, C, vol.35, issue.8, pp.677-691, 1986. ,
Symbolic boolean manipulation with ordered binarydecision diagrams, ACM Computing Surveys, vol.24, issue.3, pp.293-318, 1992. ,
Comparaison de relations d'inf erence non-monotone : etude de complexit e. Rapport de recherche 93-23R, 1993. ,
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. ,
Management of preferences in assumption-based reasoning, Advanced methods in AI. Lecture notes in computer science 682, pp.13-22, 1992. ,
Introduction to algorithms, pp.0-262, 1990. ,
Belief maintenance in dynamic constraint networks, Proc. of AAAI-88, pp.37-42, 1988. ,
Inconsistency in possibilistic knowledge bases -to live or not to live with it, Fuzzy logic for the Management of Uncertainty, pp.335-351, 1991. ,
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. ,
On the complexity of propositional knowledge base revision, updates, and counterfactuals, Arti cial Intelligence, vol.57, pp.227-270, 1992. ,
The complexity of logic-based abduction, Proc. of the 10 th Symposium on Theoretical Aspects of Computing STACS, pp.70-79, 1993. ,
Nonmonotonic inference based on expectations, Arti cial Intelligence, vol.65, pp.197-245, 1994. ,
Computers and Intractability : A Guide to the Theory of NP-completeness, 1979. ,
Incremental recompilation of knowledge, Proc. of AAAI-94, pp.922-927, 1994. ,
Complexity results for nonmonotonic logics, Journal of Logic and Computation, vol.2, issue.3, pp.397-425, 1992. ,
A logical approach to solve dynamic CSPs: Preliminary report, Proceedings ECAI'94 Workshop on Constraint Satisfaction Issues raised by Practical Applications, vol.87, 1994. ,
Solving over-constrained CSP using weighted OBDD, Proceedings of the CP'95 Workshop on Over-Constrained Systems, 1995. ,
A catalog of complexity classes, Handbook of Theoretical Computer Science, vol.A, issue.2, pp.67-161, 1990. ,
An assumption-based TMS, Arti cial Intelligence, vol.28, pp.127-162, 1986. ,
Contribution a l' etude des relations d'inf erence non-monotone combinant inf erence classique et pr ef erences. Th ese, 1995. ,
Representation of switching circuits by binary-decision programs, Bell System Tech. J, vol.38, issue.4, pp.985-999, 1959. ,
Another perspective on default reasoning, 1992. ,
Hard and easy distributions of sat problems, Proc. of AAAI-92, pp.459-465, 1992. ,
Belief revision and default reasoning: Syntax-based approaches, Proc. of the 2 nd KR, pp.417-428, 1991. ,
Reasoning from inconsistency : A taxonomy of principles for resolving con ict, Proc. of the 3 rd KR, pp.709-719, 1992. ,
A logic for default reasoning, Arti cial Intelligence, vol.13, issue.1-2, pp.81-132, 1980. ,
Knowledge compilation using horn approximations, Proc. of AAAI-91, pages 904{909, 1991. ,