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 … Altro …

[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 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. Softcover reprint of the original 1st ed. 2000. 2010. xi, 388 S. XI, 388 p. 235 mm Versandfertig in 6-10 Tagen, DE, [SC: 0.00], Neuware, gewerbliches Angebot, Offene Rechnung (Vorkasse vorbehalten)<

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 … Altro …

[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 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. Softcover reprint of the original 1st ed. 2000. 2010. xi, 388 S. XI, 388 p. 235 mm Versandfertig in 6-10 Tagen, DE, [SC: 0.00], Neuware, gewerbliches Angebot, Offene Rechnung (Vorkasse vorbehalten)<

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… Altro …

‘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. Trade Books>Trade Paperback>Philosophy>Philosophy>Philosophy, Springer Netherlands Core >1<

2010, ISBN: 9048154383

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

Softcover reprint of the original 1st ed. 2000 Kartoniert / Broschiert Künstliche Intelligenz, Prolog; Racter; algorithms; ArtificialIntelligence; automateddeduction; intelligence; knowledge; knowledgebase; knowledgerepresentation; neuralnetwork; programming; proving; robot; Robotics, mit Schutzumschlag 11, [PU:Springer Netherlands; Springer Netherland]<

2010, ISBN: 9789048154388

edizione con copertina rigida

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… Altro …

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 interesting title!, Springer, 6, Springer, 2010-12-09. Softcover reprint of hardcover 1. Paperback. Used:Good., Springer, 2010-12-09, 0<