Hans j ohlbach (27 Ergebnisse)

Zustand: Good. Former library copy. Pages intact with minimal writing/highlighting. The binding may be loose and creased. Dust jackets/supplements are not included. Includes library markings. Stock photo provided. Product includes identifying sticker. Better World Books: Buy Books. Do Good.

Softcover. 1993. XI, 397 S. : graph. Darst. ; 24 cm Unread book. Very good condition. Minimum traces of storage. 9783540566670 Sprache: Englisch Gewicht in Gramm: 635.

Zustand: New.

Zustand: New. In English.

Zustand: New.

Zustand: New. In English.

Zustand: As New. Unread book in perfect condition.

Paperback. Zustand: Brand New. 1st edition. 163 pages. German language. 9.25x6.00x0.25 inches. In Stock.

Kartoniert / Broschiert. Zustand: New.

Taschenbuch. Zustand: Neu. Druck auf Anfrage Neuware - Printed after ordering - This volume gives the proceedings of the sixteenth GermanConference on Artificial Intelligence, held in the GustavStresemann Institute in Berlin from August 31 to September3, 1992. The volume contains 24 papers presentedin thetechnical sessions, 8 papers selected from the workshopcontributions, and an invited talk by D.M. Gabbay entitled'Howto construct a logic for your application'.Topics discussed in the technical papers include: a modelelimination calculus, a sorted logic, human theorem proving,deduction based on Shannon graphs, expert systemapplications, knowledge engineering, time interval networks,forward logic evaluation, concept support, heuristicinductivegeneralization, language engineering, featurelogic, similarity assessment, and many others.…

Taschenbuch. Zustand: Neu. Druck auf Anfrage Neuware - Printed after ordering - The best informal de nition of the Semantic Web is maybe found in the May 2001Scienti cAmericanarticle'TheSemanticWeb'(Berners-Leeetal. ),which says'TheSemanticWebisanextensionofthecurrentWebinwhichinformation is given well-de ned meaning, better enabling computers and people to work in cooperation. ' People who work on the Semantic Web quite often base their work on the famous 'semantic web tower', a product of Tim Berners-Lee's inspiring drawing on whiteboards. The lowest level is the level of character representation (Unicode) and the identi cation of resources on the Web (URIs). The highest level concerns the problem of trusting information on the Web. Somewhere in the middle of the tower is the logic level. It addresses the problem of represe- ing information on the Web in a way so that inference rules can derive implicit information from explicitly stated information. The workshop 'Principles and Practices of Semantic Web Reasoning' (PPSWR 2004) addressed problems on this level. It took place in September 2004 as a satellite event of the 20th Int- national Conference on Logic Programming (ICLP) in St. Malo, France. After PPSWR 2003 in Mumbai, India, it was the second workshop in this series. This book contains the articles presented at the workshop.…

Zustand: Good. Your purchase helps support Sri Lankan Children's Charity 'The Rainbow Centre'. Ex-library, so some stamps and wear, but in good overall condition. Our donations to The Rainbow Centre have helped provide an education and a safe haven to hundreds of children who live in appalling conditions.…

Zustand: Gut. Zustand: Gut | Seiten: 420 | Sprache: Englisch | Produktart: Bücher | This volume gives the proceedings of the sixteenth GermanConference on Artificial Intelligence, held in the GustavStresemann Institute in Berlin from August 31 to September3, 1992. The volume contains 24 papers presentedin thetechnical sessions, 8 papers selected from the workshopcontributions, and an invited talk by D.M. Gabbay entitled"Howto construct a logic for your application".Topics discussed in the technical papers include: a modelelimination calculus, a sorted logic, human theorem proving,deduction based on Shannon graphs, expert systemapplications, knowledge engineering, time interval networks,forward logic evaluation, concept support, heuristicinductivegeneralization, language engineering, featurelogic, similarity assessment, and many others.…

Zustand: New.

Taschenbuch. Zustand: Neu. GWAI-92: Advances in Artificial Intelligence | 16th German Conference on Artificial Intelligence, Bonn, Germany, August 31 - September 3, 1992. Proceedings | Hans J. Ohlbach | Taschenbuch | xiii | Englisch | 1993 | Springer | EAN 9783540566670 | Verantwortliche Person für die EU: Springer Verlag GmbH, Tiergartenstr. 17, 69121 Heidelberg, juergen[dot]hartmann[at]springer[dot]com | Anbieter: preigu.…

Taschenbuch. Zustand: Neu. Principles and Practice of Semantic Web Reasoning | Second International Workshop, PPSWR 2004, St. Malo, France, September 6-10, 2004, Proceedings | Hans J. Ohlbach (u. a.) | Taschenbuch | viii | Englisch | 2004 | Springer | EAN 9783540229612 | Verantwortliche Person für die EU: Springer Verlag GmbH, Tiergartenstr. 17, 69121 Heidelberg, juergen[dot]hartmann[at]springer[dot]com | Anbieter: preigu.…

Buch. Zustand: Neu. Druck auf Anfrage Neuware - Printed after ordering - This book is dedicated to Dov Gabbay, one of the most outstanding and most productive researchers in the area of logic, language and reasoning. He has exerted a profound influence in the major fields of logic, linguistics and computer science. Most of the chapters included, therefore, build on his work and present results or summarize areas where Dov has made major contributions. In particular his work on Labelled Deductive Systems is addressed in most of the contributions. The chapters on computational linguistics address logical and deductive aspects of linguistic problems. The papers by van Benthem Lambek and Moortgat investigate categorial considerations and the use of labels within the `parsing as deduction' approach. Analyses of particular linguistic problems are given in the remaining papers by Kamp, Kempson, Moravcsik, König and Reyle. They address the logic of generalized quantifiers, the treatment of cross-over phenomena and temporal/aspectual interpretation as well as applicability of underspecified deduction in linguistic formalisms. The more logic-oriented chapters address philosophical and proof-theoretic problems and give algorithmic solutions for most of them. The spectrum ranges from K. Segerberg's contribution which brings together the two traditions of epistemic and doxastic logics of belief, to M. Finger and M. Reynold's chapter on two-dimensional executable logics with applications to temporal databases. The book demonstrates that a relatively small number of basic techniques and ideas, in particular the idea of labelled deductive systems, can be successfully applied in many different areas.…

Zustand: Sehr gut. Zustand: Sehr gut | Seiten: 564 | Sprache: Englisch | Produktart: Bücher | This volume constitutes the proceedings of the First International Conference on Temporal Logic (ICTL '94), held at Bonn, Germany in July 1994.Since its conception as a discipline thirty years ago, temporal logic is studied by many researchers of numerous backgrounds; presently it is in a stage of accelerated dynamic growth. This book, as the proceedings of the first international conference particularly dedicated to temporal logic, gives a thorough state-of-the-art report on all aspects of temporal logic research relevant for computer science and AI. It contains 27 technical contributions carefully selected for presentation at ICTL '94 as well as three surveys and position papers.…

Zustand: New. In English.

Zustand: New. In English.

Zustand: New.

Taschenbuch. Zustand: Neu. Druck auf Anfrage Neuware - Printed after ordering - This book constitutes the refereed proceedings of the First International Joint Conference on Qualitative and Quantitative Practical Reasoning, ECSQARU-FAPR'97, held in Bad Honnef, Germany, in June 1997.The volume presents 33 revised full papers carefully selected for inclusion in the book by the program committee as well as 12 invited contributions. Among the various aspects of human practical reasoning addressed in the papers are nonmonotonic logics, default reasoning, modal logics, belief function theory, Bayesian networks, fuzzy logic, possibility theory, inference algorithms, dynamic reasoning with partial models, and user modeling approaches.…

Taschenbuch. Zustand: Neu. Qualitative and Quantitative Practical Reasoning | First International Joint Conference on Qualitative and Quantitative Practical Reasoning, ECSQARU-FAPR'97, Bad Honnef, Germany, June 9-12, 1997 Proceedings | Dov Gabbay (u. a.) | Taschenbuch | x | Englisch | 1997 | Springer | EAN 9783540630951 | Verantwortliche Person für die EU: Springer Verlag GmbH, Tiergartenstr. 17, 69121 Heidelberg, juergen[dot]hartmann[at]springer[dot]com | Anbieter: preigu.…

Zustand: New. This volume constitutes the proceedings of the First International Conference on Temporal Logic (ICTL 94), held at Bonn, Germany in July 1994.Since its conception as a discipline thirty years ago, temporal logic is studied by many researchers of numero.

Taschenbuch. Zustand: Neu. Neuware - This volume constitutes the proceedings of the First International Conference on Temporal Logic (ICTL '94), held at Bonn, Germany in July 1994.Since its conception as a discipline thirty years ago, temporal logic is studied by many researchers of numerous backgrounds; presently it is in a stage of accelerated dynamic growth. This book, as the proceedings of the first international conference particularly dedicated to temporal logic, gives a thorough state-of-the-art report on all aspects of temporal logic research relevant for computer science and AI. It contains 27 technical contributions carefully selected for presentation at ICTL '94 as well as three surveys and position papers.…

Zustand: As New. Unread book in perfect condition.

Softcover/Taschenbuch. Zustand: Neu. Design pattern (Kochrezepte) f?r die Strukturierung von mathematischen Beweisen24 verschiedene Beweismuster70 Illustrationsbeispiele aus dem Alltag, der Mathematik und der InformatikIntuitive Einf?hrung transfiniter Konzepte De Gewicht in Gramm: 339.