Making inconsistency respectable: A logical framework for inconsistency in reasoning, Part I - A position paper

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

Volumn 535 LNAI, Issue , 1991, Pages 19-32

  Gabbay, Dov ^a   Hunter, Anthony ^a  

^a IMPERIAL COLLEGE LONDON   (United Kingdom)

Author keywords

[No Author keywords available]

Indexed keywords

COMPUTER SCIENCE; COMPUTERS;

EXTERNAL ACTION; LOGICAL FRAMEWORKS; LOGICAL SYSTEM; POSITION PAPERS; TRUTH MAINTENANCE;

ARTIFICIAL INTELLIGENCE;

EID: 85030843209     PISSN: 03029743     EISSN: 16113349     Source Type: Book Series    
DOI: 10.1007/3-540-54507-7_3     Document Type: Conference Paper

References (4)

1. Belnap N (1977) A useful four-valued logic, in Dunn J & Epstein G, Modern Uses of Multiple-Valued Logic, 5-37
2. Gabbay D (1989) Labelled Deductive Systems, Technical Report, Department of Computing Imperial College, London, also to be expanded in Gabbay D (in preparation) Labelled Deductive Systems, Oxford University Press
3. Nute D (1988) Defeasible reasoning and decision support systems, Decision Support Systems, 4, 97-110
4. Pequeno T & Buchsbaum A (1991) The logic of epistemic inconsistency. Proceedings of the Second International Conference on the Principles of Knowledge Representation and Reasoning, 453-460, Morgan Kaufmann