Non-monotonic syntax-based entailment: A classification of consequence relations

Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics)

Volumn 946, Issue , 1995, Pages 107-114

  Cayrol, Claudette ^a   Lagasquie Schiex, Marie Christine ^a  

^a IRIT   (France)

Author keywords

[No Author keywords available]

Indexed keywords

ARTIFICIAL INTELLIGENCE; COMPUTER SCIENCE; COMPUTERS;

COMPARATIVE STUDIES; CONSEQUENCE RELATIONS; CROSSING POINT; DEDUCTION RULE; DIFFERENT MECHANISMS; GENERATION MECHANISM; NONMONOTONIC; PRE ORDERINGS;

SYNTACTICS;

EID: 84957619276     PISSN: 03029743     EISSN: 16113349     Source Type: Book Series    
DOI: 10.1007/3-540-60112-0_13     Document Type: Conference Paper

References (19)

1. Salem Benferhat. Raisonnement non-monotone et traitement de l'inconsistance en logique possibiliste. PhD thesis, UPS-IRIT. France, February 1994.
2. Salem Benferhat, Claudette Cayrol, Didier Dubois, Jérôme Lang, and Henri Prade. Inconsistency management and prioritized syntax-based entailment, In Proc. of the 13th IJCAI, pages 640-645, Chambéry, France, 1993. Morgan-Kaufmann.
3. Salem Benferhat, Didier Dubois, and Henri Prade. Argumentative inference in uncertain and inconsistent knowledge bases. In Proc. of the 9th UAI, pages 411-419, Washington, DC, 1993. Morgan-Kaufmann.
4. Stefan Brass. On the semantics of supernormal defaults. In Proc. of the 13th IJCAI, pages 578-583, Chambéry, France, 1993. Morgan-Kaufmann.
5. Gerhard Brewka. Preferred subtheories: An extended logical framework for default reasoning. In Proc. of the 11th IJCAI, pages 1043-1048, Detroit, ML 1989. Morgan-Kaufmann.
6. Claudette Cayrol. From non-monotonic syntax-based entailment to preference-based argumentation. In Proc. ofECSQARU-95, in mis volume, Fribourg, Switzerland, 1995.
7. Claudette Cayrol and Marie-Christine Lagasquie-Schiex. Classification de relations d'inférence non-monotone: la prudence et les propriétés de déduction. Technical Report 94-49R, UPS-IRIT. France, November 1994.
8. Claudette Cayrol and Marie-Christine Lagasquie-Schiex. On the complexity of nonmonotonic entailment in syntax-based approaches. In Proc. of the 11th ECAI workshop on Algorithms, Complexity and Commonsense Reasoning, Amsterdam, Nederland, 1994.
9. Claudette Cayrol, Véronique Royer, and Claire Saurel. Management of preferences in assumption-based reasoning. In Advanced methods in AI. Lecture notes in computer science 682, pages 13-22. Springer Verlag, 1992.
10. Didier Dubois, Jérôme Lang, and Henri Prade. Inconsistency in possibilistic knowledge bases - to live or not to live with it. In Fuzzy logic for the Management of Uncertainty, pages 335-351. Wiley and sons, 1991.
11. M. Elvang-Goransson, J. Fox, and P. Krause. Dialectic reasoning with inconsistent information. In Proc. of the 9th UAI, pages 114-121, Washington, DC, 1993. Morgan-Kaufmann.
12. Peter Gärdenfors and David Makinson. Nonmonotonic inference based on expectations. Artificial Intelligence, 65:197-245,1994.
13. H. Geffner. Default reasoning: Causal and Conditional Theories. MTT Press, 1992.
14. A. Hunter. Defeasible reasoning with structured information. In Proc. of the 4th KR, pages 281-292, Bonn, Germany, 1994.
15. Sarit Kraus, Daniel Lehmann, and Menachem Magidor. Nonmonotonic reasoning, preferential models and cumulative logics. Artificial Intelligence, 44:167-207,1990.
16. Daniel Lehmann. Another perspectiveon default reasoning. Technical Report 92-12, Leibniz Center for Research in Computer Science. Hebrew University of Jerusalem, Israel, July 1992.
17. Bernhard Nebel. Belief revision and default reasoning: Syntax-based approaches. In Proc. of the 2nd KR, pages 417-428, Cambridge, MA, 1991. Morgan-Kaufmann.
18. Gadi Pinkas and Ronald P. Loui. Reasoning from inconsistency: A taxonomy of principles for resolving conflict. In Proc. of the 3rd KR, pages 709-719, Cambridge, MA, 1992. Morgan-Kaufmann.
19. G.R. Simari and R.P. Loui. A mathematical treatment of defeasible reasoning and its implementation. Artificial Intelligence, 53:125-157,1992.