|
|
|
|
| LEADER |
02590cam a2200337 a 4500 |
| 001 |
c000225388 |
| 003 |
CARM |
| 005 |
20061109103547.0 |
| 008 |
931216s1995 gw a b 001 0 eng |
| 010 |
|
|
|a 93049421
|
| 019 |
1 |
|
|a 10679782
|z 21361185
|5 LACONCORD2021
|
| 020 |
|
|
|a 0387565833 (New York : acid-free paper)
|
| 020 |
|
|
|a 3540565833 (Berlin : acid-free paper)
|
| 035 |
|
|
|a (OCoLC)29598273
|5 LACONCORD2021
|
| 040 |
|
|
|a TOC
|b eng
|c TOC
|
| 050 |
|
0 |
|a QA76.7
|b .N35 1995
|
| 082 |
0 |
0 |
|a 006.3/3
|2 20
|
| 100 |
1 |
|
|a Nait Abdallah, Areski,
|d 1950-
|
| 245 |
1 |
4 |
|a The logic of partial information /
|c Areski Nait Abdallah.
|
| 260 |
|
|
|a Berlin ;
|a New York :
|b Springer,
|c c1995.
|
| 300 |
|
|
|a xxv, 715 p. :
|b ill. ;
|c 25 cm.
|
| 440 |
|
0 |
|a Monographs in theoretical computer science
|
| 504 |
|
|
|a Includes bibliographical references (p. [707]-711) and index.
|
| 505 |
0 |
|
|a 1. Introduction -- 2. Partial Propositional Logic -- 3. Syntax of the Language of Partial Information Ions -- 4. Reasoning with Partial Information Ions: An Overview -- 5. Semantics of Partial Information Logic of Rank 1 -- 6. Semantics of Partial Information Logic of Infinite Rank -- 7. Algebraic Properties of Partial Information Ionic Logic -- 8. Beth Tableaux for Propositional Partial Information Ionic Logic -- 9. Applications; the Statics of Logic Systems -- 10. Naive Axiomatics and Proof Theory of Propositional Partial Information Ionic Logic -- 11. Soundness of Propositional Partial Information Ionic Logic -- 12. Formal Axiomatics of Propositional Partial Information Ionic Logic -- 13. Extension and Justification Closure Approach to Partial Information Ionic Logic -- 14. Partial First-Order Logic -- 15. Syntax and Semantics of First-Order Partial Information Ions -- 16. Beth Tableaux for First-Order Partial Information Ions.
|
| 505 |
8 |
|
|a 17. Axiomatics and Proof Theory of First-Order Partial Information Ionic Logic -- 18. Partial Information Ionic Logic Programming -- 19. Syntactic and Semantic Paths; Application to Defeasible Inheritance -- 20. The Frame Problem: The Dynamics of Logic Systems -- 21. Reasoning About Actions: Projection Problem -- 22. Reasoning About Actions: Explanation Problem.
|
| 650 |
|
0 |
|a Programming languages (Electronic computers)
|x Semantics.
|
| 650 |
|
0 |
|a Computer algorithms.
|
| 650 |
|
0 |
|a Logic, Symbolic and mathematical.
|
| 852 |
8 |
|
|b CARM
|h A2:AP11G0
|i C08407
|p 0319020
|f BK
|
| 999 |
f |
f |
|i e173b6c5-0446-5522-8bf6-68635bde9afc
|s 906e3808-05c4-50b0-9631-0f3f673c8743
|
| 952 |
f |
f |
|p Can circulate
|a CAVAL
|b CAVAL
|c CAVAL
|d CARM 1 Store
|e C08407
|f A2:AP11G0
|h Other scheme
|i book
|m 0319020
|