hans ohlbach (37 Ergebnisse)

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.

Broschiert. Zustand: Gut. 545 Seiten Der Erhaltungszustand des hier angebotenen Werks ist trotz seiner Bibliotheksnutzung sehr sauber. Es befindet sich lediglich ein Bibliotheksstempel im Buch; ordnungsgemäß entwidmet. Sprache: Englisch Gewicht in Gramm: 720.

Paperback. Zustand: Very Good-. Card cover rubbed, slight creasing at bottom corners and down spine; Pages lightly age-toned, previous owner's signature on ffep, a number of diagrams in text; Binding tight, though spine slightly cocked. ; Lecture Notes In Artificial Intelligence ; Vol. 827; 6.5 x 9.5"; 545 pages.

Zustand: Good. *Price HAS BEEN REDUCED by 10% until Monday, May 11 (weekend SALE item)* 397 pp., paperback, ex library, else textually clean and tight. - If you are reading this, this item is actually (physically) in our stock and ready for shipment once ordered. We are not bookjackers. Buyer is responsible for any additional duties, taxes, or fees required by recipient's country.

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.

Zustand: New. In.

Zustand: New. In.

Zustand: New. In.

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

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: New. In.

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.

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.

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.

Zustand: New. In.

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.

Taschenbuch. Zustand: Neu. Logic, Language and Reasoning | Essays in Honour of Dov Gabbay | Hans Jürgen Ohlbach (u. a.) | Taschenbuch | x | Englisch | 2012 | Springer | EAN 9789401059367 | 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. Druck auf Anfrage Neuware - Printed after ordering - th This volume is dedicated to Dov Gabbay who celebrated his 50 birthday in October 1995. Dov is one of the most outstanding and most productive researchers we have ever met. He has exerted a profound influence in major fields of logic, linguistics and computer science. His contributions in the areas of logic, language and reasoning are so numerous that a comprehensive survey would already fill half of this book. Instead of summarizing his work we decided to let him speak for himself. Sitting in a car on the way to Amsterdam airport he gave an interview to Jelle Gerbrandy and Anne-Marie Mineur. This recorded conversation with him, which is included gives a deep insight into his motivations and into his view of the world, the Almighty and, of course, the role of logic. In addition, this volume contains a partially annotated bibliography of his main papers and books. The length of the bibliography and the broadness of the topics covered there speaks for itself.

Zustand: New. In.

Zustand: New. In.

Zustand: New. In.

Zustand: New. pp. 744 49:B&W 6.14 x 9.21 in or 234 x 156 mm (Royal 8vo) Perfect Bound on White w/Gloss Lam.

Hardcover. Zustand: Brand New. 429 pages. 10.00x7.00x1.25 inches. In Stock.

Zustand: New. 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.

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.

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.

Taschenbuch. Zustand: Neu. Practical Reasoning | International Conference on Formal and Applied Practical Reasoning, FAPR'96, Bonn, Germany, June (3-7), 1996. Proceedings. | Dov M. Gabbay (u. a.) | Taschenbuch | xviii | Englisch | 1996 | Springer | EAN 9783540613138 | 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. 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.