Ohlbach hans j (47 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.

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.

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.

Paperback or Softback. Zustand: New. Gwai-92: Advances in Artificial Intelligence: 16th German Conference on Artificial Intelligence, Bonn, Germany, August 31 - September 3, 1992. Proceed. Book.

Zustand: good. A copy that has been read, remains in good condition. All pages are intact, and the cover is intact. The spine and cover show signs of wear. Pages can include notes and highlighting and show signs of wear, and the copy can include "From the library of" labels or previous owner inscriptions. 100% GUARANTEE! Shipped with delivery confirmation, if you're not satisfied with purchase please return item! Ships via media mail.…

Zustand: New.

Paperback. Zustand: Very Good. Sorry, No international shipping on this item.Ex-library paperback in very nice condition with the usual markings and attachments. Except for library markings, interior clean and unmarked. Tight binding.

Zustand: As New. Unread book in perfect condition.

Zustand: New. In.

Zustand: New. In.

PF. Zustand: New.

PF. Zustand: New.

Zustand: New.

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.

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.

Zustand: New.

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: 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 - 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. 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.…

Zustand: New. In.

Zustand: New. In.

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

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