Reasoning with Actual and Potential Contradictions [electronic resource] / edited by Dov M. Gabbay, Philippe Smets.
Erişim Adresi
ISBN
9789401717397
Dil Kodu
İngilizce
Yer Numarası
DK/15781
Basım Bildirimi
1st ed. 1998.
Yayın Bilgisi
Dordrecht : Springer Netherlands : Imprint: Springer, 1998.
Fiziksel Niteleme
VII, 333 p. online resource.
Dizi
Handbook of Defeasible Reasoning and Uncertainty Management Systems ; 2
İçindekiler Notu
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.
Özet, vb.
We are happy to present the second volume of the Handbook of Defeasible Reasoning and Uncertainty Management Systems. Uncertainty pervades the real world and must therefore be addressed by every system that attempts to represent reality. The representation of un certainty is a major concern of philosophers, logicians, artificial intelligence researchers and computer sciencists, psychologists, statisticians, economists and engineers. The present Handbook volumes provide frontline coverage of this area. 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. We hope it will answer the needs for adequate representations of uncertainty. This Handbook series grew out of the ESPRIT Basic Research Project DRUMS II, where the acronym is made out of the Handbook series title. This project was financially supported by the European Union and regroups 20 major European research teams working in the general domain of uncer tainty. As a fringe benefit of the DRUMS project, the research community was able to create this Handbook series, relying on the DRUMS partici pants as the core of the authors for the Handbook together with external international experts.
Konu
Logic.
Artificial intelligence.
Mathematical logic.
Logic.
Artificial Intelligence.
Mathematical Logic and Foundations.
Artificial intelligence.
Mathematical logic.
Logic.
Artificial Intelligence.
Mathematical Logic and Foundations.
Diğer Yazarlar
Kurum Adı
Eseri Alıntıla
Referansları kullanmadan önce gözden geçirmeniz ve varsa gerekli düzeltmeleri yapmanız önerilir.
Dijital Kaynak
MARC Görünümü
LEADER 04626nam a22005895i 4500
001 814543
003 TR_AnAIT
005 20260130215100
007 cr nn 008mamaa
008 130321s1998 ne | s |||| 0|eng d
020 |a9789401717397|9978-94-017-1739-7
024 7 |a10.1007/978-94-017-1739-7|2doi
041 |aeng
049 |aTürk Tarih Kurumu Kütüphanesi
050 4|aBC1-199
072 7|aHPL|2bicssc
072 7|aPHI011000|2bisacsh
072 7|aQDTL|2thema
082 04|a160|223
090 |aDK/15781
245 10|aReasoning with Actual and Potential Contradictions|h[electronic resource] /|cedited by Dov M. Gabbay, Philippe Smets.
250 |a1st ed. 1998.
264 1|aDordrecht :|bSpringer Netherlands :|bImprint: Springer,|c1998.
300 |aVII, 333 p.|bonline resource.
336 |atext|btxt|2rdacontent
337 |acomputer|bc|2rdamedia
338 |aonline resource|bcr|2rdacarrier
347 |atext file|bPDF|2rda
490 1 |aHandbook of Defeasible Reasoning and Uncertainty Management Systems ;|v2
505 0 |ato 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.
520 |aWe are happy to present the second volume of the Handbook of Defeasible Reasoning and Uncertainty Management Systems. Uncertainty pervades the real world and must therefore be addressed by every system that attempts to represent reality. The representation of un certainty is a major concern of philosophers, logicians, artificial intelligence researchers and computer sciencists, psychologists, statisticians, economists and engineers. The present Handbook volumes provide frontline coverage of this area. 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. We hope it will answer the needs for adequate representations of uncertainty. This Handbook series grew out of the ESPRIT Basic Research Project DRUMS II, where the acronym is made out of the Handbook series title. This project was financially supported by the European Union and regroups 20 major European research teams working in the general domain of uncer tainty. As a fringe benefit of the DRUMS project, the research community was able to create this Handbook series, relying on the DRUMS partici pants as the core of the authors for the Handbook together with external international experts.
532 8 |aAccessibility summary: This PDF is not accessible. It is based on scanned pages and does not support features such as screen reader compatibility or described non-text content (images, graphs etc). However, it likely supports searchable and selectable text based on OCR (Optical Character Recognition). Users with accessibility needs may not be able to use this content effectively. Please contact us at accessibilitysupport@springernature.com if you require assistance or an alternative format.
532 8 |aInaccessible, or known limited accessibility
532 8 |aNo reading system accessibility options actively disabled
532 8 |aPublisher contact for further accessibility information: accessibilitysupport@springernature.com
650 0|aLogic.
650 0|aArtificial intelligence.
650 0|aMathematical logic.
650 14|aLogic.
650 24|aArtificial Intelligence.
650 24|aMathematical Logic and Foundations.
700 1 |aGabbay, Dov M.|eeditor.|4edt|4http://id.loc.gov/vocabulary/relators/edt
700 1 |aSmets, Philippe.|eeditor.|4edt|4http://id.loc.gov/vocabulary/relators/edt
710 2 |aSpringerLink (Online service)
773 0 |tSpringer Nature eBook
776 08|iPrinted edition:|z9780792351610
776 08|iPrinted edition:|z9789048150632
776 08|iPrinted edition:|z9789401717403
830 0|aHandbook of Defeasible Reasoning and Uncertainty Management Systems ;|v2
856 40|uhttps://doi.org/10.1007/978-94-017-1739-7
912 |aZDB-2-SHU
912 |aZDB-2-SXPR
912 |aZDB-2-BAE
950 |aHumanities, Social Sciences and Law (SpringerNature-11648)
950 |aPhilosophy and Religion (R0) (SpringerNature-43725)
001 814543
003 TR_AnAIT
005 20260130215100
007 cr nn 008mamaa
008 130321s1998 ne | s |||| 0|eng d
020 |a9789401717397|9978-94-017-1739-7
024 7 |a10.1007/978-94-017-1739-7|2doi
041 |aeng
049 |aTürk Tarih Kurumu Kütüphanesi
050 4|aBC1-199
072 7|aHPL|2bicssc
072 7|aPHI011000|2bisacsh
072 7|aQDTL|2thema
082 04|a160|223
090 |aDK/15781
245 10|aReasoning with Actual and Potential Contradictions|h[electronic resource] /|cedited by Dov M. Gabbay, Philippe Smets.
250 |a1st ed. 1998.
264 1|aDordrecht :|bSpringer Netherlands :|bImprint: Springer,|c1998.
300 |aVII, 333 p.|bonline resource.
336 |atext|btxt|2rdacontent
337 |acomputer|bc|2rdamedia
338 |aonline resource|bcr|2rdacarrier
347 |atext file|bPDF|2rda
490 1 |aHandbook of Defeasible Reasoning and Uncertainty Management Systems ;|v2
505 0 |ato 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.
520 |aWe are happy to present the second volume of the Handbook of Defeasible Reasoning and Uncertainty Management Systems. Uncertainty pervades the real world and must therefore be addressed by every system that attempts to represent reality. The representation of un certainty is a major concern of philosophers, logicians, artificial intelligence researchers and computer sciencists, psychologists, statisticians, economists and engineers. The present Handbook volumes provide frontline coverage of this area. 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. We hope it will answer the needs for adequate representations of uncertainty. This Handbook series grew out of the ESPRIT Basic Research Project DRUMS II, where the acronym is made out of the Handbook series title. This project was financially supported by the European Union and regroups 20 major European research teams working in the general domain of uncer tainty. As a fringe benefit of the DRUMS project, the research community was able to create this Handbook series, relying on the DRUMS partici pants as the core of the authors for the Handbook together with external international experts.
532 8 |aAccessibility summary: This PDF is not accessible. It is based on scanned pages and does not support features such as screen reader compatibility or described non-text content (images, graphs etc). However, it likely supports searchable and selectable text based on OCR (Optical Character Recognition). Users with accessibility needs may not be able to use this content effectively. Please contact us at accessibilitysupport@springernature.com if you require assistance or an alternative format.
532 8 |aInaccessible, or known limited accessibility
532 8 |aNo reading system accessibility options actively disabled
532 8 |aPublisher contact for further accessibility information: accessibilitysupport@springernature.com
650 0|aLogic.
650 0|aArtificial intelligence.
650 0|aMathematical logic.
650 14|aLogic.
650 24|aArtificial Intelligence.
650 24|aMathematical Logic and Foundations.
700 1 |aGabbay, Dov M.|eeditor.|4edt|4http://id.loc.gov/vocabulary/relators/edt
700 1 |aSmets, Philippe.|eeditor.|4edt|4http://id.loc.gov/vocabulary/relators/edt
710 2 |aSpringerLink (Online service)
773 0 |tSpringer Nature eBook
776 08|iPrinted edition:|z9780792351610
776 08|iPrinted edition:|z9789048150632
776 08|iPrinted edition:|z9789401717403
830 0|aHandbook of Defeasible Reasoning and Uncertainty Management Systems ;|v2
856 40|uhttps://doi.org/10.1007/978-94-017-1739-7
912 |aZDB-2-SHU
912 |aZDB-2-SXPR
912 |aZDB-2-BAE
950 |aHumanities, Social Sciences and Law (SpringerNature-11648)
950 |aPhilosophy and Religion (R0) (SpringerNature-43725)
Materyaller
Depodan talep edilen materyal sadece kütüphane içerisinde kullanılmaktadır.
Materyal dışarıya ödünç verilmemektedir.
Materyal dışarıya ödünç verilmemektedir.
