The computer modelling of mathematical reasonic

The computer modelling of mathematical reasonic

Λεπτομέρειες βιβλιογραφικής εγγραφής
Κύριος συγγραφέας:	Bundy, lan (Συγγραφέας)
Μορφή:	Βιβλίο
Γλώσσα:	English
Έκδοση:	London Academic Press 1983
Θέματα:	Τεχνητή νοημοσύνη

Παρόμοια τεκμήρια

Logic programming and nonmonotonic reasoning proceedings
Έκδοση: (1995)

Qualitative reasoning about physical systems / edited by Daniel G. Bobrow.
Έκδοση: (1984)

Qualitative reasoning modeling and the generation of behavior
ανά: Werthner, H.
Έκδοση: (1994)

Reasoning about change Time and causation from the standpoint of artificial intelligence
ανά: Shoham, Yoav
Έκδοση: (1988)

Probabilistic reasoning in intelligent systems : networks of plausible inference /
ανά: Pearl, Judea
Έκδοση: (1988)

Constraint-Based Reasoning
Έκδοση: (1992)

Qualitative reasoning modeling and simulation with incomplete knowledge
ανά: Kuipers, Benjamin
Έκδοση: (1994)

Reasoning about rational agents
ανά: Wooldridge, Michael J. 1966-
Έκδοση: (2000)

Automated reasonic 33 basic research problems
ανά: Wos, Larry
Έκδοση: (1988)

Model checking and artificial intelligence /
Έκδοση: (2008)

Automated reasoning and the discovery of missing and elegant proofs
ανά: Wos, Larry
Έκδοση: (2003)

Foundations of soft case-based reasoning
ανά: Pal, Sankar K.
Έκδοση: (2004)

Computational intelligence an introduction
ανά: Engelbrecht, Andries P.
Έκδοση: (2002)

Computational intelligence a logical approach
ανά: Poole, David
Έκδοση: (1998)

Computers and thought a practical introduction to artificial intelligence
ανά: Sharples, Mike
Έκδοση: (1989)

Computers for artificial intelligence applications : tutorial /
ανά: Wah, Benjamin
Έκδοση: (1986)

Automated reasoning introduction and applications
ανά: Wos, Larry
Έκδοση: (1984)

Computer oriented learning processes : [proceedings of the NATO Advanced Study Institute on Computer Oriented Learning Processes] /
Έκδοση: (1976)

Analogy-making as perception a computer model
ανά: Mitchell, Melanie
Έκδοση: (1993)

Integrating rules and connectionism for robust commonsense reasoning
ανά: Sun, Ron
Έκδοση: (1994)

Knowledge representation, reasoning, and declarative problem solving /
ανά: Baral, Chitta
Έκδοση: (2003)

Artificial intelligence in mathematics based on the Proceedings of a conference on artificial intelligence in mathematics organized by the Institute of mathematics and its applications hosted by the University of strathclyde and the turing Institute in April 1991
Έκδοση: (1994)

Representing and reasoning with probabilistic knowledge a logical approach to probabilities
ανά: Bacchus, Fahiem
Έκδοση: (1990)

Machines who think A personal inquiry into the history and prospects of artificial intelligence
ανά: McCorduck, Pamela
Έκδοση: (1979)

Modeling brain function The world of attractor neural networks
ανά: Amit, D. J. 1938-
Έκδοση: (1989)

Model-Based Reasoning in Science and Technology Abduction, Logic, and Computational Discovery
ανά: Magnani, Lorenzo
Έκδοση: (2010)

Foundations of Reasoning under Uncertainty
ανά: Bouchon-Meunier, Bernadette
Έκδοση: (2010)

Paradigms of artificial intelligence a methodological and computational analysis
ανά: Hoffmann, Achim
Έκδοση: (1998)

Evolutionary computation toward a new philosophy of machine intelligence
ανά: Fogel, David B
Έκδοση: (2006)

Computationalism : new directions /
Έκδοση: (2002)

Logic programming and soft computing
Έκδοση: (1998)

Artificial intelligence in medicine
Έκδοση: (1995)

Applied Artificial Intelligence An International Journal
Έκδοση: (1991)

Parallel computation and computers for artificial intelligence
Έκδοση: (1988)

Evolutionary computation toward a new philosophy of machine intelligence
ανά: Fogel, David B.
Έκδοση: (2000)

Artificial vision image description, recognition and communication
Έκδοση: (1997)

Models of neural networks
Έκδοση: (1994)

Fundamentals of artificial intelligence an advanced course
Έκδοση: (1986)

Artificial intelligence : a modern approach /
ανά: Russell, Stuart J. (Stuart Jonathan)
Έκδοση: (2010)

Nonmonotonic logic
ανά: Marek, Wictor V., κ.ά.
Έκδοση: (1993)

Βιβλιοθήκη & Κέντρο Πληροφόρησης | Πανεπιστήμιο Πατρών