Salta al contenuto principale

Foto dell'autore

Robert Kowalski

Autore di Computational Logic and Human Thinking: How to be Artificially Intelligent

6+ opere 35 membri 0 recensioni

Sull'Autore

Robert Kowalski is Ementus professor and Research Investigator in the DePartment of Computing at imperial College London In 2011 he received the IJCAI 2011 Award for Research Excellence for his contributions to logic for knowledge representation and problem solving including his pioneering work on mostra altro automated theorem proving and logic programming. mostra meno

Opere di Robert Kowalski

Popolari Recenti

Computational Logic and Human Thinking: How to be Artificially Intelligent (2011) 22 copie

Eight Steps to a Healthy Heart (1992) 5 copie

The CLI Book: Writing Successful Command Line Interfaces with Node.js (2017) 3 copie

Logic Programming 2: Proceedings of the Fifth International Conference and Symposium 2 copie

Logic for Problem Solving, Revisited (2014) 2 copie

Logica Program Intel Artific (Spanish Edition) (2005) 1 copia

Esplora le opere

Opere correlate

5. generation, en artikelsamling — Autore, alcune edizioni — 1 copia

Etichette

121 (1) 122 (1) AI (1) caja06 (1) Chris Burnett (1) computation (1) computational intelligence (1) Computing Science (1) Comunicazione (1) CS (1) da leggere (1) espiralado (1) Filosofia (1) gagnrýnin hugsun (1) Informatica (2) Intelligenza artificiale (3) logic and computation (1) Logica (3) non letto (1) on her majesty's occult service (1) Pensiero critico (1) reasoning (1) reiknigreind (1) rökhugsun (1) Saggistica (1) stærðfræðileg rökfræði (1) tölvunarfræði (1) unsortedISBN (1)

Traduzione delle etichette attiva

Informazioni generali

Non ci sono ancora dati nella Conoscenza comune per questo autore. Puoi aiutarci.

Utenti

Potrebbero anche piacerti

Autori correlati

Kenneth A Bowen

Statistiche

Opere: 6
Opere correlate: 1
Utenti: 35
Popolarità: #405,584
Voto: 2.8

ISBN: 13
Lingue: 1

Immagini

Galleria dell'autore

Collegamenti

Centro di assistenza

I membri di LibraryThing migliorano gli autori combinando nomi di autori e opere, separando gli autori omonimi in identità distinte e altro ancora.

Centro di assistenza

Sei tu?

Diventa un autore di LibraryThing.

Verdana Standard Verdana Small The Lorax System Standard System Large Georgia Large Text Atkinson

Questo sito utilizza i cookies per fornire i nostri servizi, per migliorare le prestazioni, per analisi, e (per gli utenti che accedono senza fare login) per la pubblicità. Usando LibraryThing confermi di aver letto e capito le nostre condizioni di servizio e la politica sulla privacy. Il tuo uso del sito e dei servizi è soggetto a tali politiche e condizioni.