MetaCartSign in to MyCiteSeer

Include Citations | Advanced Search | Help

Include Citations | Advanced Search | Help

  Nonmonotonic Reasoning: From Complexity to Algorithms (1998) [10 citations — 0 self]

Download:
Download as a PDF | Download as a PS
by C. Cayrol, M. C. Lagasquie-schiex, T. Schiex
Annals of Mathematics and Artificial Intelligence
ftp://ftp.irit.fr/pub/IRIT/RPDMP/article-aim96.ps.gz
Add To MetaCart

Abstract:

We focus on coherence-based approaches to non-monotonic reasoning. These approaches handle syntactical belief bases equipped with symbolic ordering structures and rely upon

Citations

7715 Computers and Intractability: A Guide to the Theory of NP-Completeness – Garey, Johnson - 1979
723 Symbolic Boolean manipulation with ordered binary-decision diagrams – Bryant - 1992
430 Efficient Implementation of a BDD Package – Brace, Rudell, et al. - 1990
170 Complexity results for nonmonotonic logics – Gottlob - 1992
166 Preferred subtheories: an extended logical framework for default reasoning – Brewka - 1989
82 Nonmonotonic inference based on expectations – Gardenfors, Makinson - 1994
66 Representation of switching circuits by binary-decision programs – Lee - 1959
62 Another perspective on default reasoning – LEHMANN - 1995
11 Non-monotonic syntax-based entailment: A classification of consequence relations – Cayrol, Lagasquie-Schiex
4 Gestion de l'inconsistance dans les bases de connaissances : une approche syntaxique bas'ee sur la logique des p'enalit'es – Cyr, Lang, et al. - 1994
4 A logical approach to solve dynamic CSPs: Preliminary report – J'egou - 1994
3 Solving over-constrained CSP using weighted OBDD – J'egou, Bouquet - 1995
1 Comparaison de relations d'inference non-monotone : etude de complexite – Cayrol, Lagasquie-Schiex - 1993
View or Download | Add to My Collection | Correct Errors