- 0 resultaten
laagste prijs: € 161,95, hoogste prijs: € 212,92, gemiddelde prijs: € 190,05
1
bestellen
bij AbeBooks.de
€ 183,48
verzending: € 0,59
bestellen

Intellectics and Computational Logic: Papers in Honor of Wolfgang Bibel (Paperback) - pocketboek

2010, ISBN: 9048154383

[EAN: 9789048154388], Neubuch, [PU: Springer, Netherlands], Language: English. Brand new Book. `Intellectics' seeks to understand the functions, structure and operation of the human intel… Meer...

NEW BOOK. Verzendingskosten: EUR 0.59 The Book Depository, London, United Kingdom [54837791] [Rating: 5 (von 5)]
2
Intellectics and Computational Logic: Papers in Honor of Wolfgang Bibel
bestellen
bij Indigo.ca
C$ 312,50
(ongeveer € 212,92)
bestellen
Intellectics and Computational Logic: Papers in Honor of Wolfgang Bibel - nieuw boek

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 compleme… Meer...

new in stock. Verzendingskosten:zzgl. Versandkosten., exclusief verzendingskosten
3
Intellectics and Computational Logic - Hoelldobler, Steffen
bestellen
bij booklooker.de
€ 161,95
verzending: € 0,00
bestellen
Hoelldobler, Steffen:
Intellectics and Computational Logic - eerste uitgave

2010

ISBN: 9789048154388

pocketboek

[ED: Kartoniert / Broschiert], [PU: Springer Netherlands], Dieser Artikel ist ein Print on Demand Artikel und wird nach Ihrer Bestellung fuer Sie gedruckt. Intellectics seeks to understa… Meer...

Verzendingskosten:Versandkostenfrei, Versand nach Deutschland. (EUR 0.00) Moluna GmbH
4
Intellectics and Computational Logic Papers in Honor of Wolfgang Bibel - Hölldobler, Steffen (Herausgeber)
bestellen
bij Achtung-Buecher.de
€ 181,89
verzending: € 0,00
bestellen
Hölldobler, Steffen (Herausgeber):
Intellectics and Computational Logic Papers in Honor of Wolfgang Bibel - pocketboek

2010, ISBN: 9048154383

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

Verzendingskosten:Versandkostenfrei innerhalb der BRD. (EUR 0.00) MARZIES.de Buch- und Medienhandel, 14621 Schönwalde-Glien
5
bestellen
bij AbeBooks.de
€ 210,02
verzending: € 29,24
bestellen
Holldobler, Steffen:
Intellectics and Computational Logic : Papers in Honor of Wolfgang Bibel - pocketboek

2010, ISBN: 9048154383

[EAN: 9789048154388], Neubuch, [PU: Springer 2010-12], Books

NEW BOOK. Verzendingskosten: EUR 29.24 Chiron Media, Wallingford, United Kingdom [55661942] [Rating: 4 (von 5)]

Bijzonderheden over het boek
Intellectics and Computational Logic: Papers in Honor of Wolfgang Bibel

`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: Papers in Honor of Wolfgang Bibel


EAN (ISBN-13): 9789048154388
ISBN (ISBN-10): 9048154383
Gebonden uitgave
pocket book
Verschijningsjaar: 2010
Uitgever: Springer
400 Bladzijden
Gewicht: 0,602 kg
Taal: eng/Englisch

Boek bevindt zich in het datenbestand sinds 2011-03-18T19:55:06+01:00 (Amsterdam)
Detailpagina laatst gewijzigd op 2021-10-11T20:53:03+02:00 (Amsterdam)
ISBN/EAN: 9789048154388

ISBN - alternatieve schrijfwijzen:
90-481-5438-3, 978-90-481-5438-8


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: 2010-12-15
Dordrecht; NL
Gedrukt / Gemaakt in
Gewicht: 0,617 kg
Taal: Engels
181,89 € (DE)
186,99 € (AT)
200,50 CHF (CH)
POD

BC; Previously published in hardcover; 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; C; Logic; Artificial Intelligence; Logic; Artificial Intelligence; Mathematics and Statistics; Künstliche Intelligenz; BB

Preface; S. Hölldobler. Prologue; C. Kreitz. A Confluent Connection Calculus; P. Baumgartner, et al. Prioritizing Default Logic; G. Brewka, T. Eiter. A Connection Calculus for Handling Incomplete Information; S. Brüning, T. Schaub. The Connection Method, Constraints and Model Building; R. Caferra, N. Peltier. Towards a Logical Characterisation of Sentences of the Kind `Sentence p is About Object c'; R. Demolombe, L.F. del Cerro. The Cut Rule in Theorem Proving; E. Eder. Some Strengths of Nonmonotonic Reasoning; Uwe Egly, H. Tompits. Composing Re-usable Synthesis Methods through Graph-based Viewpoints; J. Eusterbrock. Proof Structures and Matrix Graphs; B. Fronhöfer. AI and Cognitive Science: Feedback Leads to a New Neural Concept; C. Herrmann. Matrix-based Constructive Theorem Proving; C. Kreitz, et al. Complex Plans in the Fluent Calculus; S. Hölldobler, H.-P. Störr. Querying AOL Knowledge Bases; G. Lakemeyer, H.J. Levesque. Properties and Relations of Tableau and Connection Calculi; R. Letz. Concepts in Proof Planning; E. Melis, J.H. Siekmann. Proof = Guarantee + Explanation; J.A. Robinson. Automated Theorem Proving in High-Quality Software Design; J. Schumann. A Complete Neural Network Algorithm for HORN-SAT; A. Strohmaier. Nondeterministic Acions in the Fluent Calculus: Disjunctive State Update Axioms; M. Thielscher. The Illusion of Knowledge; C. Wagner. Criteria for Termination; C. Walther. Epilogue; C. Kreitz.

Andere boeken die eventueel grote overeenkomsten met dit boek kunnen hebben:

Laatste soortgelijke boek:
9789401593830 Intellectics and Computational Logic (Steffen Holldobler)


< naar Archief...