|
" Reasoning with Actual and Potential Contradictions "
edited by Philippe Besnard, Anthony Hunter.
| Document Type
|
:
|
BL
|
| Record Number
|
:
|
728744
|
| Doc. No
|
:
|
b548496
|
| Main Entry
|
:
|
edited by Philippe Besnard, Anthony Hunter.
|
| Title & Author
|
:
|
Reasoning with Actual and Potential Contradictions\ edited by Philippe Besnard, Anthony Hunter.
|
| Publication Statement
|
:
|
Dordrecht: Springer Netherlands, 1998
|
| Series Statement
|
:
|
Handbook of defeasible reasoning and uncertainty management systems, 2.
|
| Page. NO
|
:
|
(vii, 333 pages)
|
| ISBN
|
:
|
9401717397
|
|
|
:
|
: 9789401717397
|
| Contents
|
:
|
To Actual and Potential Contradictions --;Paraconsistent Logics --;Modal Logics for Representing Incoherent Knowledge --;The Family of Default Logics --;Conditional Logics for Defeasible Reasoning --;Defeasible Logics --;Necessary Conditions for Negation-Operators (with Particular Applications to Paraconsistent Negation) --;A Survey of Paraconsistent Semantics for Logic Programs --;Table of Contents to Volume 1 --;Table of Contents to Volume 3.
|
| Abstract
|
:
|
This Handbook was produced in the style of previous handbook series like the Handbook of Philosophical Logic, the Handbook of Logic in Computer Science, the Handbook of Logic in Artificial Intelligence and Logic Programming, and can be seen as a companion to them in covering the wide applications of logic and reasoning.
|
| Subject
|
:
|
Artificial intelligence.
|
| Subject
|
:
|
Logic.
|
| Subject
|
:
|
Philosophy (General)
|
| LC Classification
|
:
|
Q375.E358 1998
|
| Added Entry
|
:
|
Anthony Hunter
|
|
|
:
|
Philippe Besnard
|
| |