- 5 resultaten
laagste prijs: € 136,16, hoogste prijs: € 163,64, gemiddelde prijs: € 156,25
1
Intellectics and Computational Logic - Steffen Hölldobler
bestellen
bij AbeBooks.de
€ 160,49
verzending: € 0,001
bestellenGesponsorde link
Steffen Hölldobler:

Intellectics and Computational Logic - gebonden uitgave, pocketboek

2000, ISBN: 0792362616

[EAN: 9780792362616], Neubuch, [PU: Springer Netherlands Apr 2000], INTELLIGENZ / KÜNSTLICHE INTELLIGENZ; KI; - AI; LOGIK; PHILOSOPHIE PROLOG; RACTER; ALGORITHMS; ARTIFICIALINTELLIGENCE; … Meer...

NEW BOOK. Verzendingskosten:Versandkostenfrei. (EUR 0.00) BuchWeltWeit Ludwig Meier e.K., Bergisch Gladbach, Germany [57449362] [Rating: 4 (von 5)]
2
Intellectics and Computational Logic : Papers in Honor of Wolfgang Bibel - Steffen Hölldobler
bestellen
bij ZVAB.com
€ 163,64
verzending: € 0,001
bestellenGesponsorde link

Steffen Hölldobler:

Intellectics and Computational Logic : Papers in Honor of Wolfgang Bibel - gebonden uitgave, pocketboek

2000, ISBN: 0792362616

[EAN: 9780792362616], Neubuch, [SC: 0.0], [PU: Springer Netherlands], INTELLIGENZ / KÜNSTLICHE INTELLIGENZ; KI; - AI; LOGIK; PHILOSOPHIE PROLOG; RACTER; ALGORITHMS; ARTIFICIALINTELLIGENCE… Meer...

NEW BOOK. Verzendingskosten:Versandkostenfrei. (EUR 0.00) AHA-BUCH GmbH, Einbeck, Germany [51283250] [Rating: 5 (von 5)]
3
Intellectics and Computational Logic - Steffen Hölldobler
bestellen
bij booklooker.de
€ 160,49
verzending: € 0,001
bestellenGesponsorde link
Steffen Hölldobler:
Intellectics and Computational Logic - nieuw boek

ISBN: 9780792362616

[ED: Buch], [PU: Springer Netherlands], Neuware - `Intellectics' seeks to understand the functions, structure and operation of the human intellect and to test artificial systems to see … Meer...

Verzendingskosten:Versandkostenfrei, Versand nach Deutschland. (EUR 0.00) AHA-BUCH GmbH
4
Intellectics and Computational Logic
bestellen
bij Springer.com
€ 160,49
verzending: € 0,001
bestellenGesponsorde link
Intellectics and Computational Logic - nieuw boek

ISBN: 9780792362616

`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 complemen… Meer...

Nr. 978-0-7923-6261-6. Verzendingskosten:Worldwide free shipping, , DE. (EUR 0.00)
5
Intellectics and Computational Logic - Hölldobler, Steffen
bestellen
bij AbeBooks.de
€ 136,16
verzending: € 0,001
bestellenGesponsorde link
Hölldobler, Steffen:
Intellectics and Computational Logic - gebonden uitgave, pocketboek

2000, ISBN: 0792362616

[EAN: 9780792362616], Neubuch, [PU: Springer Netherlands], INTELLIGENZ KÜNSTLICHE KI - AI LOGIK PHILOSOPHIE NEURALNETWORK PROGRAMMING PROVING ROBOT ROBOTICS PROLOG RACTER ALGORITHMS ARTIF… Meer...

NEW BOOK. Verzendingskosten:Versandkostenfrei. (EUR 0.00) moluna, Greven, Germany [73551232] [Rating: 4 (von 5)]

1Aangezien sommige platformen geen verzendingsvoorwaarden meedelen en deze kunnen afhangen van het land van levering, de aankoopprijs, het gewicht en de grootte van het artikel, een eventueel lidmaatschap van het platform, een rechtstreekse levering door het platform of via een derde aanbieder (Marktplaats), enz., is het mogelijk dat de door euro-boek.nl meegedeelde verzendingskosten niet overeenstemmen met deze van het aanbiedende platform.

Bibliografische gegevens van het best passende boek

Bijzonderheden over het boek
Intellectics and Computational Logic by Steffen Hölldobler Hardcover | Indigo Chapters

`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.

Gedetalleerde informatie over het boek. - Intellectics and Computational Logic by Steffen Hölldobler Hardcover | Indigo Chapters


EAN (ISBN-13): 9780792362616
ISBN (ISBN-10): 0792362616
Gebonden uitgave
pocket book
Verschijningsjaar: 2000
Uitgever: Steffen Hölldobler
404 Bladzijden
Gewicht: 0,771 kg
Taal: eng/Englisch

Boek bevindt zich in het datenbestand sinds 2007-04-25T14:32:50+02:00 (Amsterdam)
Detailpagina laatst gewijzigd op 2024-03-10T10:02:06+01:00 (Amsterdam)
ISBN/EAN: 9780792362616

ISBN - alternatieve schrijfwijzen:
0-7923-6261-6, 978-0-7923-6261-6
alternatieve schrijfwijzen en verwante zoekwoorden:
Auteur van het boek: steffen, hlldobler, holldobler, hölldobler, wolfgang bibel, hoelldobler
Titel van het boek: intellectics computational logic, bibel and more, wolfgang, mao bibel, die bibel, computation logic


Gegevens van de uitgever

Auteur: Steffen Hölldobler
Titel: Applied Logic Series; Intellectics and Computational Logic - Papers in Honor of Wolfgang Bibel
Uitgeverij: Springer; Springer Netherland
388 Bladzijden
Verschijningsjaar: 2000-04-30
Dordrecht; NL
Taal: Engels
160,49 € (DE)
164,99 € (AT)
177,00 CHF (CH)
Available
XI, 388 p.

BB; 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; BC

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.

< naar Archief...