|
" Incomplete information : "
Stéphane P. Demri, Ewa S. Orłowska.
Document Type
|
:
|
BL
|
Record Number
|
:
|
730618
|
Doc. No
|
:
|
b550384
|
Main Entry
|
:
|
Stéphane P. Demri, Ewa S. Orłowska.
|
Title & Author
|
:
|
Incomplete information : : structure, inference, complexity\ Stéphane P. Demri, Ewa S. Orłowska.
|
Publication Statement
|
:
|
Berlin ; New York: Springer, ©2002.
|
Series Statement
|
:
|
Monographs in theoretical computer science.
|
Page. NO
|
:
|
xviii, 405 pages ; 24 cm
|
ISBN
|
:
|
3540419047
|
|
:
|
: 3642075401
|
|
:
|
: 9783540419044
|
|
:
|
: 9783642075407
|
Contents
|
:
|
1. Mathematical Prerequisites --;pt. I. Structures with Incomplete Information --;2. Structures of Information --;3. Information Relations Derived from Information Systems --;4. Information Operators Derived from Information Systems --;pt. II. Introduction to Information Logics --;5. Towards Information Logics --;6. Techniques for Information Logics --;pt. III. Proof Systems for Information Logics --;7. Reasoning About Similarity --;8. Reasoning About Indiscernibility --;9. Reasoning About Knowledge --;pt. IV. Computational Aspects of Information Logics --;10. Information Logics Versus Standard Model Logics --;11. Decidability of Information Logics --;12. Complexity of Information Logics --;pt. V. Representability and Duality --;13. Informational Representability --;14. Informational Interpretation of Standard Algebraic Structures --;15. Information Algebras.
|
Subject
|
:
|
Fuzzy sets.
|
Subject
|
:
|
Rough sets.
|
Subject
|
:
|
Soft computing.
|
LC Classification
|
:
|
QA76.9.S63S747 2002
|
Added Entry
|
:
|
Ewa Orlowska
|
|
:
|
Stéphane P Demri
|
| |