Knowledge representation and reasoning under uncertainty : logic at work /
में बचाया:
| अन्य लेखक: | , |
|---|---|
| स्वरूप: | पुस्तक |
| भाषा: | English |
| प्रकाशित: |
Berlin ; New York :
Springer-Verlag,
c1994.
|
| श्रृंखला: | Lecture notes in computer science ;
808. Lecture notes in computer science. Lecture notes in artificial intelligence. |
| विषय: |
| LEADER | 02627nam a2200373 a 4500 | ||
|---|---|---|---|
| 001 | c000162124 | ||
| 003 | CARM | ||
| 005 | 19941226000000.0 | ||
| 008 | 940429s1994 gw a 000 0 eng | ||
| 010 | |a 94020068 | ||
| 019 | 1 | |a 10943389 |5 LACONCORD2021 | |
| 020 | |a 3540580956 |b (Berlin : alk. paper) : |c DM 52,- | ||
| 020 | |a 0387580956 |b (New York : alk. paper) | ||
| 035 | |a (OCoLC)30474674 |5 LACONCORD2021 | ||
| 040 | |a TOC |b eng |c TOC | ||
| 050 | 0 | |a Q387 |b .K563 1994 | |
| 082 | 0 | 0 | |a 006.3/3 |2 20 |
| 245 | 0 | 0 | |a Knowledge representation and reasoning under uncertainty : |b logic at work / |c Michael Masuch, László Pólos, (eds.) |
| 260 | |a Berlin ; |a New York : |b Springer-Verlag, |c c1994. | ||
| 300 | |a 237 p. : |b ill. ; |c 24 cm. | ||
| 490 | 1 | |a Lecture notes in computer science ; |v 808. |a Lecture notes in artificial intelligence. | |
| 504 | |a Includes bibliographical references. | ||
| 505 | 0 | |a The Role of Expectations in Reasoning / Peter Gardenfors -- On Logics of Approximate Reasoning / Petr Hajek -- Gentzen Sequent Calculus for Possibilistic Reasoning / Churn Jung Liau and Bertrand I-Peng Lin -- A Model of Inductive Reasoning / Peter A. Flach -- Automated Reasoning with Uncertainties / Flavio S. Correa da Silva, Dave S. Robertson and Jane Hesketh -- An Axiomatic Approach to Systems of Prior Distributions in Inexact Reasoning / Jonathan Lawry and George M. Wilmers -- Contradiction Removal Semantics with Explicit Negation / Luis Moniz Pereira, Jose J. Alferes and Joaquim N. Aparicio -- Logic Programming for Non-Monotonic Reasoning / Luis Moniz Pereira, Joaquim N. Aparicio and Jose J. Alferes -- Agent Oriented Programming / Yoav Shoham -- An Application of Temporal Logic for Representation and Reasoning About Design / Keiichi Nakata -- Knowledge Theoretic Properties of Topological Spaces / Konstantinos Georgatos. | |
| 505 | 0 | |a Rough Logic for Multi-Agent Systems / Cecylia M. Rauszer -- A Logical Approach to Multi-Sources Reasoning / Laurence Cholvy -- Situation Theory and Social Structure / Keith Devlin. | |
| 650 | 0 | |a Knowledge representation (Information theory) | |
| 650 | 0 | |a Reasoning. | |
| 650 | 0 | |a Uncertainty (Information theory) | |
| 700 | 1 | |a Masuch, Michael, |d 1949- | |
| 700 | 1 | |a Pólos, László. | |
| 830 | 0 | |a Lecture notes in computer science ; |v 808. | |
| 830 | 0 | |a Lecture notes in computer science. |p Lecture notes in artificial intelligence. | |
| 852 | 8 | |b CARM |h A2:AM09F0 |i C05509 |p 0213972 |f BK | |
| 999 | f | f | |i 59b5d4c1-4e00-5ecf-a706-5c7b41cf3173 |s 9fc15e4c-dbbb-5b50-b984-aac33045cd5f |
| 952 | f | f | |p Can circulate |a CAVAL |b CAVAL |c CAVAL |d CARM 1 Store |e C05509 |f A2:AM09F0 |h Other scheme |i book |m 0213972 |