- 5 resultados
menor preço: € 112,99, preço mais alto: € 316,24, preço médio: € 175,81
1
Intellectics and Computational Logic - Herausgegeben von Hölldobler, Steffen
Encomendar
no/na booklooker.de
€ 112,99
Envio: € 0,001
EncomendarLink patrocinado
Herausgegeben von Hölldobler, Steffen:

Intellectics and Computational Logic - Livro de bolso

2010, ISBN: 9789048154388

[ED: Softcover], [PU: Springer / Springer Netherlands], `Intellectics' seeks to understand the functions, structure and operation of the human intellect and to test artificial systems to … mais…

Custos de envio:Versandkostenfrei, Versand nach Deutschland. (EUR 0.00) buecher.de GmbH & Co. KG
2
Intellectics and Computational Logic - Herausgegeben:Hölldobler, Steffen
Encomendar
no/na booklooker.de
€ 112,99
Envio: € 0,001
EncomendarLink patrocinado

Herausgegeben:Hölldobler, Steffen:

Intellectics and Computational Logic - Livro de bolso

2010, ISBN: 9789048154388

[ED: Softcover], [PU: Springer / Springer Netherlands], `Intellectics' seeks to understand the functions, structure and operation of the human intellect and to test artificial systems to … mais…

Custos de envio:Versandkostenfrei, Versand nach Deutschland. (EUR 0.00) buecher.de GmbH & Co. KG
3
Intellectics and Computational Logic: Papers in Honor of Wolfgang Bibel Steffen Hölldobler Editor
Encomendar
no/na BarnesandNoble.com
€ 169,99
EncomendarLink patrocinado
Intellectics and Computational Logic: Papers in Honor of Wolfgang Bibel Steffen Hölldobler Editor - novo libro

ISBN: 9789048154388

‘Intellectics' seeks to understand the functions, structure and operation of the human intellect and to test artificial systems to see the extent to which they can substitute or com… mais…

new in stock. Custos de envio:zzgl. Versandkosten., mais custos de envio
4
Intellectics and Computational Logic Papers in Honor of Wolfgang Bibel - Hölldobler, Steffen (Herausgeber)
Encomendar
no/na Achtung-Buecher.de
€ 166,82
Envio: € 0,001
EncomendarLink patrocinado
Hölldobler, Steffen (Herausgeber):
Intellectics and Computational Logic Papers in Honor of Wolfgang Bibel - Livro de bolso

2010, ISBN: 9048154383

Softcover reprint of the original 1st ed. 2000 Kartoniert / Broschiert Künstliche Intelligenz, Prolog; Racter; algorithms; ArtificialIntelligence; automateddeduction; intelligence; know… mais…

Custos de envio:Versandkostenfrei innerhalb der BRD. (EUR 0.00) MARZIES.de Buch- und Medienhandel, 14621 Schönwalde-Glien
5
Encomendar
no/na Biblio.co.uk
$ 344,70
(aproximadamente € 316,24)
Envio: € 19,271
EncomendarLink patrocinado
Steffen Hölldobler (Editor):
Intellectics and Computational Logic: Papers in Honor of Wolfgang Bibel (Applied Logic Series) - Livro de bolso

2010, ISBN: 9789048154388

Edição encadernada

Springer, 2002-11-27. Hardcover. New. New. In shrink wrap. Looks like an interesting title!, Springer, 2002-11-27, 6, Springer. Hardcover. New. New. In shrink wrap. Looks like an inte… mais…

USA, U.. - Custos de envio: EUR 19.27 GridFreed LLC, GridFreed LLC, Ergodebooks

1Como algumas plataformas não transmitem condições de envio e estas podem depender do país de entrega, do preço de compra, do peso e tamanho do artigo, de uma possível adesão à plataforma, de uma entrega directa pela plataforma ou através de um terceiro fornecedor (Marketplace), etc., é possível que os custos de envio indicados pelo eurolivro não correspondam aos da plataforma ofertante.

Dados bibliográficos do melhor livro correspondente

Pormenores referentes ao livro
Intellectics and Computational Logic: Papers in Honor of Wolfgang Bibel Steffen Hölldobler Editor

`Intellectics' seeks to understand the functions, structure and operation of the human intellect and to test artificial systems to see the extent to which they can substitute or complement such functions. The word itself was introduced in the early 1980s by Wolfgang Bibel to describe the united fields of artificial intelligence and cognitive science. The book collects papers by distinguished researchers, colleagues and former students of Bibel's, all of whom have worked together with him, and who present their work to him here to mark his 60th birthday. The papers discuss significant issues in intellectics and computational logic, ranging across automated deduction, logic programming, the logic-based approach to intellectics, cognitive robotics, knowledge representation and reasoning. Each paper contains new, previously unpublished, reviewed results. The collection is a state of the art account of the current capabilities and limitations of a computational-logic-based approach to intellectics. Readership: Researchers who are convinced that the intelligent behaviour of machines should be based on a rigid formal treatment of knowledge representation and reasoning.

Dados detalhados do livro - Intellectics and Computational Logic: Papers in Honor of Wolfgang Bibel Steffen Hölldobler Editor


EAN (ISBN-13): 9789048154388
ISBN (ISBN-10): 9048154383
Livro de capa dura
Livro de bolso
Ano de publicação: 2010
Editor/Editora: Springer Netherlands Core >1
400 Páginas
Peso: 0,602 kg
Língua: eng/Englisch

Livro na base de dados desde 2011-03-18T18:55:06+00:00 (Lisbon)
Página de detalhes modificada pela última vez em 2024-02-07T20:38:54+00:00 (Lisbon)
Número ISBN/EAN: 9789048154388

Número ISBN - Ortografia alternativa:
90-481-5438-3, 978-90-481-5438-8
Ortografia alternativa e termos de pesquisa relacionados:
Autor do livro: hölldobler, bibel test, wolfgang steffen
Título do livro: wolfgang, mao bibel, die bibel, logic


Dados da editora

Autor: Steffen Hölldobler
Título: Applied Logic Series; Intellectics and Computational Logic - Papers in Honor of Wolfgang Bibel
Editora: Springer; Springer Netherland
388 Páginas
Ano de publicação: 2010-12-15
Dordrecht; NL
Impresso / Feito em
Língua: Inglês
160,49 € (DE)
164,99 € (AT)
177,00 CHF (CH)
POD
XI, 388 p.

BC; Hardcover, Softcover / Philosophie/Allgemeines, Lexika; Philosophie: Logik; Verstehen; Prolog; Racter; algorithms; artificial intelligence; automated deduction; intelligence; knowledge; knowledge base; knowledge representation; logic; neural network; programming; proving; robot; robotics; Logic; Artificial Intelligence; Künstliche Intelligenz; BB; EA

Prologue.- A Confluent Connection Calculus.- Prioritizing Default Logic.- A Connection Calculus for Handling Incomplete Information.- The Connection Method, Constraints and Model Building.- Towards a Logical Characterisation of Sentences of the Kind “Sentence p is About Object c”.- The Cut Rule in Theorem Proving.- Some Strengths of Nonmonotonic Reasoning.- Composing Re-usable Synthesis Methods through Graph-based Viewpoints.- Proof Structures and Matrix Graphs.- AI and Cognitive Science: Feedback Leads to a New Neural Concept.- Matrix-based Constructive Theorem Proving.- Complex Plans in the Fluent Calculus.- Querying AOL Knowledge Bases.- Properties and Relations of Tableau and Connection Calculi.- Concepts in Proof Planning.- Proof = Guarantee + Explanation.- Automated Theorem Proving in High-Quality Software Design.- A Complete Neural Network Algorithm for HORN-SAT.- Nondeterministic Actions in the Fluent Calculus: Disjunctive State Update Axioms.- The Illusion of Knowledge.- Criteria for Termination.- Epilogue.

< Para arquivar...