Symbolic and quantitative approaches to reasoning

Symbolic and quantitative approaches to reasoning

Saved in:

Bibliographic Details
Corporate Author:	European Conference on Symbolic and Quantitative Approaches to Reasoning and Uncertainty
Other Authors:	Clarke, Michael 1940-, Kruse, Rudolf, Moral, Serafin 1952-
Format:	Book
Published:	Berlin Springer-Verlag 1994
Series:	Lecture notes in computer science 747
Subjects:	Reasoning > Congresses Uncertainty (Information theory) > Congresses Logic, symbolic and mathematical > Congresses
Online Access:	Click Here to View Status and Holdings.
Tags:	Add Tag No Tags, Be the first to tag this record!

Similar Items

Reasoning about uncertainty
by: Halpern, Joseph Y. 1953-
Published: (2003)

Symbolic and quantitative approaches to uncertainty European Conference ECSQAU, Marseille, France, October 15-17, 1991 : proceedings
Published: (1991)

Interval/probabilistic uncertainty and non-classical logic
Published: (2008)

Uncertainty in knowledge bases 3rd International Conference on Information Processing and Management of Uncertainty in Knowledge-Based Systems, IPMU '90, Paris, France, July 2-6, 1990, proceedings
Published: (1991)

Uncertainty analysis with high dimensional dependence modelling
by: Kurowicka, Dorota 1967-
Published: (2006)

Mathematics of uncertainty ideas, methods, application problems
by: Bandemer, Hans-Walter
Published: (2006)

Uncertainty in intelligent systems
Published: (1993)

Analysis and management of uncertainty theory and applications
Published: (1992)

Representing uncertain knowledge an artificial intelligence approach
by: Krause, Paul
Published: (1993)

Uncertainty theory
by: Liu, Baoding
Published: (2007)

Representing plans under uncertainty a logic of time, change, and action
by: Haddawy, Peter 1959-
Published: (1994)

Uncertainty in artificial intelligence 6. P P Bonissone...[et al
Published: (1991)

The Black Swan The Impact of the Highly Improbable
by: Taleb, Nassim Nicholas
Published: (2007)

Antifragile things that gain from disorder
by: Taleb, Nassim
Published: (2012)

Theoretical aspects of reasoning about knowledge proceedings of the 1986 conference, March 19-22, 1986, Monterey, California
Published: (1986)

Qualitative methods for reasoning under uncertainty
by: Parsons, Simon
Published: (2001)

Readings in uncertain reasoning
Published: (1990)

Mathematical logic and foundations of set theory. Proceedings of an international colloquium under the auspices of the Israel Academy of Sciences and Humanities, Jerusalem, 11-14 November 1968.
Published: (1970)

Logic Colloquium '99 proceedings of the Annual European Summer Meeting of the Association for Symbolic Logic, held in Utrecht, Netherlands, August 1-6, 1999
Published: (2004)

DOING MATHEMATICS An Introduction to Proofs and Problem Solving
by: Galovich, Steven
Published: (1993)

Proof and computation
Published: (1995)

Logic Colloquium '77 proceedings of the ... held August 1977
Published: (1978)

Symbolic logic
by: Copi, Irving M
Published: (1968)

Symbolic logic
by: Thomas, James A
Published: (1977)

The art of reasoning
by: Kelley, David 1949-
Published: (1998)

Uncertainty in artificial intelligence 5
Published: (1990)

Understanding symbolic logic
by: Klenk, Virginia 1940-
Published: (1989)

Elements of symbolic logic
by: Reichenbach, Hans 1891-1953
Published: (1947)

Critical reasoning a practical introduction
by: Thomson, Anne
Published: (1996)

Symbol use and symbolic representation developmental and comparative perspectives
Published: (2005)

Frontiers of combining systems proceedings of the ...held March 22 - 24, 2000
Published: (2000)

Grammatical inference algorithms and applications proceedings of the ...held September 11 - 13, 2000
Published: (2000)

Logic from computer science proceedings of a ... held November 13-17, 1989
Published: (1992)

Learning to reason an introduction to logic, sets, and relations
by: Rodgers, Nancy
Published: (2000)

From symbolic logic-- to mathematical logic
by: Silver, Charles L
Published: (1994)

Symbolic logic and mechanical theorem proving
by: Chang, Chin-Liang 1937-
Published: (1973)

Non-monotonic reasoning and partial semantics
Published: (1992)

Higher order logic theorem proving and its applications proceedings of the IFIP TC10/WG10.2 International Workshop on Higher Order Logic Theorem Proving and Its Applications--HOL '92
Published: (1993)

Uncertainty and intelligent information systems
Published: (2008)

COLOG-88 International Conference on Computer Logic Tallinn, USSR, December 12-16, 1988 : proceedings
Published: (1990)