The computer modelling of mathematical reasonic

The computer modelling of mathematical reasonic

Bibliographic Details
Main Author:	Bundy, lan (Author)
Format:	Book
Language:	English
Published:	London Academic Press 1983
Subjects:	Τεχνητή νοημοσύνη

Similar Items

Logic programming and nonmonotonic reasoning proceedings
Published: (1995)

Qualitative reasoning about physical systems / edited by Daniel G. Bobrow.
Published: (1984)

Qualitative reasoning modeling and the generation of behavior
by: Werthner, H.
Published: (1994)

Reasoning about change Time and causation from the standpoint of artificial intelligence
by: Shoham, Yoav
Published: (1988)

Probabilistic reasoning in intelligent systems : networks of plausible inference /
by: Pearl, Judea
Published: (1988)

Constraint-Based Reasoning
Published: (1992)

Qualitative reasoning modeling and simulation with incomplete knowledge
by: Kuipers, Benjamin
Published: (1994)

Reasoning about rational agents
by: Wooldridge, Michael J. 1966-
Published: (2000)

Automated reasonic 33 basic research problems
by: Wos, Larry
Published: (1988)

Model checking and artificial intelligence /
Published: (2008)

Automated reasoning and the discovery of missing and elegant proofs
by: Wos, Larry
Published: (2003)

Foundations of soft case-based reasoning
by: Pal, Sankar K.
Published: (2004)

Computational intelligence an introduction
by: Engelbrecht, Andries P.
Published: (2002)

Computational intelligence a logical approach
by: Poole, David
Published: (1998)

Computers and thought a practical introduction to artificial intelligence
by: Sharples, Mike
Published: (1989)

Computers for artificial intelligence applications : tutorial /
by: Wah, Benjamin
Published: (1986)

Automated reasoning introduction and applications
by: Wos, Larry
Published: (1984)

Computer oriented learning processes : [proceedings of the NATO Advanced Study Institute on Computer Oriented Learning Processes] /
Published: (1976)

Analogy-making as perception a computer model
by: Mitchell, Melanie
Published: (1993)

Integrating rules and connectionism for robust commonsense reasoning
by: Sun, Ron
Published: (1994)

Knowledge representation, reasoning, and declarative problem solving /
by: Baral, Chitta
Published: (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
Published: (1994)

Representing and reasoning with probabilistic knowledge a logical approach to probabilities
by: Bacchus, Fahiem
Published: (1990)

Machines who think A personal inquiry into the history and prospects of artificial intelligence
by: McCorduck, Pamela
Published: (1979)

Modeling brain function The world of attractor neural networks
by: Amit, D. J. 1938-
Published: (1989)

Model-Based Reasoning in Science and Technology Abduction, Logic, and Computational Discovery
by: Magnani, Lorenzo
Published: (2010)

Foundations of Reasoning under Uncertainty
by: Bouchon-Meunier, Bernadette
Published: (2010)

Paradigms of artificial intelligence a methodological and computational analysis
by: Hoffmann, Achim
Published: (1998)

Evolutionary computation toward a new philosophy of machine intelligence
by: Fogel, David B
Published: (2006)

Computationalism : new directions /
Published: (2002)

Logic programming and soft computing
Published: (1998)

Artificial intelligence in medicine
Published: (1995)

Applied Artificial Intelligence An International Journal
Published: (1991)

Parallel computation and computers for artificial intelligence
Published: (1988)

Evolutionary computation toward a new philosophy of machine intelligence
by: Fogel, David B.
Published: (2000)

Artificial vision image description, recognition and communication
Published: (1997)

Models of neural networks
Published: (1994)

Fundamentals of artificial intelligence an advanced course
Published: (1986)

Artificial intelligence : a modern approach /
by: Russell, Stuart J. (Stuart Jonathan)
Published: (2010)

Nonmonotonic logic
by: Marek, Wictor V., et al.
Published: (1993)

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

Cannot write session to /tmp/vufind_sessions/sess_m303ec0u0fsqg8qbgrna3glelq