Diagrammatic reasoning :

Diagrammatic reasoning : cognitive and computational perspectives

Αποθηκεύτηκε σε:

Λεπτομέρειες βιβλιογραφικής εγγραφής
Άλλοι συγγραφείς:	Chandrasekaran, B. 1942- (Επιμελητής έκδοσης), Glasgow, Janice (Επιμελητής έκδοσης), Narayanan, N. Hari (Επιμελητής έκδοσης)
Μορφή:	Βιβλίο
Γλώσσα:	English
Δημοσίευση:	Menlo Park, California : AAAI Press, 1995
Θέματα:	Automatic theorem proving. Artificial intelligence. Image processing. Problem solving.
Ετικέτες:	Προσθήκη ετικέτας Δεν υπάρχουν, Καταχωρήστε ετικέτα πρώτοι!

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

Automated Reasoning :
από: Wos, Larry
Δημοσίευση: (1992)

Automated Reasoning :
Δημοσίευση: (1992)

Symbolic logic and mechanical theorem proving
από: Chang, Chin-Liang 1937-
Δημοσίευση: (1987)

Mechanical geometry theorem proving
από: Chou, Shang-Ching 1942-
Δημοσίευση: (1988)

Deduction systems
από: Socher-Ambrosius, Rolf
Δημοσίευση: (1997)

Gems of theoretical computer science
από: Schoning, Uwe 1955-
Δημοσίευση: (1998)

The computer modelling of mathematical reasoning
από: Bundy, Alan
Δημοσίευση: (1983)

Automated theorem proving :
Δημοσίευση: (1984)

Interactive theorem proving and program development :
από: Bertot, Yves
Δημοσίευση: (2004)

Logic for Computer Science :
από: Gallier, Jean H.
Δημοσίευση: (1987)

Proof in VDM: :
Δημοσίευση: (1998)

Reasoning about plans
Δημοσίευση: (1991)

Ontic :
από: McAllester, David A.
Δημοσίευση: (1989)

Computational logic :
Δημοσίευση: (1991)

Coordination of distributed problem solvers
από: Durfee, Edmund H. 1959-
Δημοσίευση: (1988)

AI and expertise :
από: Farreny, Henri
Δημοσίευση: (1989)

Heuristics :
από: Pearl, Judea
Δημοσίευση: (1984)

Learning search control knowledge :
από: Minton, Steven
Δημοσίευση: (1988)

Default reasoning :
από: Geffner, Hector
Δημοσίευση: (1992)

Industrial Applications of Fuzzy Logic and Intelligent Systems
Δημοσίευση: (1995)

Lapses in mathematical reasoning
από: Bradis, V. M. (Vladimir Modestovich), 1890-
Δημοσίευση: (1963)

Αυτόματη δημιουργία ασκήσεων αξιολόγησης στην ευκλείδεια γεωματρία
από: Τσαγγάρης, Χρήστος - Απόστολος
Δημοσίευση: (2015)

Computational intelligence, II :
Δημοσίευση: (1990)

Reasoning and problem solving :
από: Krulik, Stephen
Δημοσίευση: (1993)

Non-monotonic reasoning :
από: Kukaszewicz, Witold
Δημοσίευση: (1990)

Constraint-based reasoning
Δημοσίευση: (1994)

Qualitative reasoning :
από: Kuipers, Benjamin
Δημοσίευση: (1994)

Reasoning about change :
από: Shoham, Yoav
Δημοσίευση: (1989)

Probabilistic reasoning in multiagent systems :
από: Xiang, Yang 1954-
Δημοσίευση: (2002)

Distributed reason maintenance for multiagent systems
από: Kraetzschmar, Gerhard K.
Δημοσίευση: (1997)

Αυτόματη δημιουργία ασκήσεων αξιολόγησης στην ευκλείδεια γεωματρία :
από: Τσαγγάρης, Χρήστος
Δημοσίευση: (2013)

Probabilistic reasoning in intelligent systems :
από: Pearl, Judea
Δημοσίευση: (1988)

Readings in uncertain reasoning
Δημοσίευση: (1990)

Ρομποτική, όραση και έλεγχος :
από: Corke, Peter
Δημοσίευση: (2020)

Readings in qualitative reasoning about physical systems
Δημοσίευση: (1990)

Reasoning under incomplete information in artificial intelligence :
από: Sombe, Lea
Δημοσίευση: (1990)

What every engineer should know about artificial intelligence
από: Taylor, William A.
Δημοσίευση: (1988)

Ανάλυση αξιοποίησης τεχνητής νοημοσύνης στις ελληνικές επιχειρήσεις κατά τη διάρκεια του 2021
από: Κλώθος, Κυριάκος, κ.ά.
Δημοσίευση: (2024)

Handbook of temporal reasoning in artificial intelligence
Δημοσίευση: (2005)

Representing and reasoning with probabilistic knowledge :
από: Bacchus, Fahiem
Δημοσίευση: (1990)