Reasoning under inconsistency: The forgotten connective

IJCAI International Joint Conference on Artificial Intelligence

Volumn , Issue , 2005, Pages 484-489

  Konieczny, Sébastien ^a   Lang, Jérôme ^b   Marquis, Pierre ^a  

^a UNIVERSITÉ D'ARTOIS   (France)

^b UNIVERSITÉ PAUL SABATIER   (France)

Author keywords

[No Author keywords available]

Indexed keywords

WEAK FORM;

SEMANTICS;

ARTIFICIAL INTELLIGENCE;

EID: 34249000804     PISSN: 10450823     EISSN: None     Source Type: Conference Proceeding    
DOI: None     Document Type: Conference Paper

References (17)

1. B. Benhamou, L. Saïs, and P. Siegel. Two proof procedures for a cardinality based language in propositional calculus. In STACS'94, pages 71-82. IRISA, 1994.
2. I. Bloch and A. Hunter, editors. Fusion: General Concepts and Characteristics, volume 16 (10) of International Journal of Intelligent Systems. 2001.
3. G. Brewka. Preferred subtheories: an extended logical framework for default reasoning. In IJCAI' 89, pages 1043-1048, 1989.
4. M. Cadoli, F.M. Donini, M. Schaerf, and R. Silvestri. On compact representations of propositional circumscription. Theoretical Computer Science, 182:183-202, 1997. (Pubitemid 127455848)
5. C. Cayrol and M.C. Lagasquie-Schiex. Non-monotonic syntax-based entailment: a classification of consequence relations. In ECSQARU'95, pages 107-114, 1995.
6. C. Cayrol, M. Lagasquie-Schiex, and Th. Schiex. Nonmonotonic reasoning: from complexity to algorithms. Annals of Mathematics and Artificial Intelligence, 22(3-4):207-236, 1998.
7. Th. Eiter and G. Gottlob. The complexity of nested counterfactuals and iterated knowledge base revisions. In IJCAI'93, pages 526-531, 1993.
8. D.V. Etherington. Relating default logic and circumscription. In IJCAI'87, pages 489-494, 1987.
9. R. Fagin, J. D. Ullman, and M. Y. Vardi. On the semantics of updates in databases. In PODS'83, pages 352-365, 1983.
10. S. Jaśkowski. Propositional calculus for contradictory deductive systems. Studia Logica, 24:143-167, 1969.
11. S. Konieczny, J. Lang, and P. Marquis. Distance-based merging: a general framework and some complexity results. In KR'02, pages 97-108, 2002.
12. J. Mengin. Logical connectives for non-monotonicity: A choice function-based approach. In JELIA'2004, pages 452-461, 2004.
13. B. Nebel. Belief revision and default reasoning: Syntax-based approaches. In KR'91, pages 417-428, 1991.
14. B. Nebel. Handbook of Defeasible Reasoning and Uncertainty Management Systems, chapter How hard is it to revise a knowledge base? Kluwer Academics, 1998.
15. D. Poole. A logical framework for default reasoning. Artificial Intelligence, 36:27-47, 1988.
16. N. Rescher and R. Manor. On inference from inconsistent premises. Theory and Decision, 1:179-219, 1970.
17. Greg Restall. An Introduction to Substructural Logics. Routledge, 1999.