Εξώφυλλο

Κώδικας QR

Solving the Frame Problem: a mathematical investigation of the common sense law of inertia /

Κύριος συγγραφέας:	Shanahan, Murray.
Μορφή:	Βιβλίο
Γλώσσα:	English
Στοιχεία έκδοσης:	Massachusetts: The MIT Press, 1997.
Ταξινομικός αριθμός:	006.3'3 SH.
Θέματα:	Artificial intelligence. Logic. Knowledge Representation (Information Theory).
Ετικέτες:	Προσθήκη ετικέτας Δεν υπάρχουν, Καταχωρήστε ετικέτα πρώτοι!

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

Intensionality and truth: an essay on the philosophy of A.N. Prior/
από: Hugly, Philip.
Στοιχεία έκδοσης: (1996)

The Resolution calculus/
από: Leitsch, Alexander.
Στοιχεία έκδοσης: (1997)

Problem-Solving methods in artificial intelligence/
από: Nilsson, Nils J.
Στοιχεία έκδοσης: (1971)

Fuzzy logic in artificial intelligence, towards intelligent systems, IJCAI '95 workshop, Montreal, Canada, August 19-21, 1995: selected papers/
Στοιχεία έκδοσης: (1996)

Quantifiers: logics, models and computation, vol. one: Surveys/
Στοιχεία έκδοσης: (1995)

Fallacies arising from ambiguity/
από: Walton, Douglas.
Στοιχεία έκδοσης: (1996)

Applied logic: how, what and why logical approaches to natural language/
Στοιχεία έκδοσης: (1995)

Approaches to knowledge representation : an introduction /
Στοιχεία έκδοσης: (1988)

Intelligent agents III : agent theories, architectures, and languges, ECAI'96 workshop (ATAL), Budapest, Hungary, August 12-13 1996,proceedings /
Στοιχεία έκδοσης: (1997)

Symbolic logic and mechanical theorem proving /
από: Chang, Chin-Liang, 1937-
Στοιχεία έκδοσης: (1987)

Intelligent interactive systems in knowledge based environments /
Στοιχεία έκδοσης: (2008)

Artificial intelligence techniques : a comprehensive catalogue /
Στοιχεία έκδοσης: (1997)

Intelligent multimedia systems : a handbook for creating applications /
από: Kaplan, Randy M., 1955-
Στοιχεία έκδοσης: (1997)

Artificial intelligence : a new synthesis /
από: Nilsson, Nils J.
Στοιχεία έκδοσης: (1998)

Artificial intelligence : a modern approach /
από: Russell, Stuart J.
Στοιχεία έκδοσης: (2003)

AI game development : synthetic creatures with learning and reactive behaviors /
από: Champandard, Alex.
Στοιχεία έκδοσης: (2004)

Intelligent agents: ECAI-94 workshop on agent theories, architectures, and languages, Amsterdam, The Netherlands August 8-9, 1994, proceedings/
Στοιχεία έκδοσης: (1995)

Intelligent agents II: agent theories, architectures, and languages, IJCAI '95 workshop (ATAL), Montreal, Canada, August 19-20 1995,proceedings/
Στοιχεία έκδοσης: (1996)

The Design of intelligent agents: a layered approach/
από: Muller, Jorg P.
Στοιχεία έκδοσης: (1996)

Communication and Cooperation in Agent Systems: a pragmatic theory /
Στοιχεία έκδοσης: (1995)

Commonsense reasoning
από: Mueller, Erik T.
Στοιχεία έκδοσης: (2006)

Logical foundations for cognitive agents : contributions in honor of Ray Reiter /
Στοιχεία έκδοσης: (1999)

Modern information processing from theory to applications /
Στοιχεία έκδοσης: (2006)

Intelligent systems for information processing from representation to applications /
Στοιχεία έκδοσης: (2003)

Artificial Social Systems: 4th European Workshop on Modelling Autonomus Agents in a Multi-Agent World, Maamaw' 92 S. Martino al Cimino, Italy, July 29-31, 1992 Selected Papers /
Στοιχεία έκδοσης: (1994)

Cooperative information agents: first international workshop, CIA 97 Kiel, Germany, February 26-28, 1997 proceedings/
Στοιχεία έκδοσης: (1997)

Learning algorithms theory and applications /
από: Lakshmivarahan, S.
Στοιχεία έκδοσης: (1981)

Type logical grammar: categorial logic of signs/
από: Morrill, Glyn V.
Στοιχεία έκδοσης: (1994)

Artificial Intelligence Techniques: a comprehensive catalogue /
από: Bundy, Alan.
Στοιχεία έκδοσης: (1996)

Machines who think : a personal inguiry into the history and prospects of artificial intelligence /
από: McCorduck, Pamela.
Στοιχεία έκδοσης: (1972)

Computation, Logic, Philosophy: a collection of essays /
από: Hao, Wang.
Στοιχεία έκδοσης: (1990)

Mind Design II /
Στοιχεία έκδοσης: (1997)

Intelligent agent systems: theoritical and practical issues/
Στοιχεία έκδοσης: (1997)

Nomonotonic Logics: basic concepts, results, and techniques /
από: Schlechta, Karl.
Στοιχεία έκδοσης: (1997)

Schaum's outline of theory and problems of discrete mathematics /
από: Lipschutz, Seymour.
Στοιχεία έκδοσης: (1976)

Intelligent multimedia information retrieval /
Στοιχεία έκδοσης: (1997)

AI application programming /
από: Jones, M. Tim.
Στοιχεία έκδοσης: (2003)

Qualitative reasoning: modeling and simulation with incomplete knowledge/
από: Kuipers, Benjamin.
Στοιχεία έκδοσης: (1994)

Intelligent Planning: a decomposition and abstraction based approach /
από: Yang, Qiang.
Στοιχεία έκδοσης: (1997)

Conceptual structures : information processing in mind and machine /
από: Sowa, John F.
Στοιχεία έκδοσης: (1984)