gabbay dov ohlbach hans jurgen (22 Ergebnisse)

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. 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. SUPER FAST SHIPPING.

Zustand: New.

Paperback. Zustand: new. Paperback. This book constitutes the refereed proceedings of the International Conference on Formal and Applied Practical Reasoning, FAPR '96, held in Bonn, Germany, in June 1996.The 51 revised full papers included in the book together with eight posters were carefully selected for presentation at the conference. The book addresses current aspects of the highly interdisciplinary area of practical reasoning in artificial intelligence, philosophy, psychology, linguistics, software engineering, intelligent systems, and industrial applications. Among the topics addressed are user modeling, belief, legal reasoning, argumentation, dialogue logic, default reasoning, analogy, metareasoning, temporal and procedural reasoning, and many others. This book constitutes the refereed proceedings of the International Conference on Formal and Applied Practical Reasoning, FAPR '96, held in Bonn, Germany, in June 1996.The 51 revised full papers included in the book together with eight posters were carefully selected for presentation at the conference. Shipping may be from multiple locations in the US or from the UK, depending on stock availability.

Zustand: As New. Unread book in perfect condition.

Zustand: New. In.

Zustand: New. pp. 744.

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.

Zustand: New. pp. 744.

Zustand: New. This volume constitutes the proceedings of the 1st International Conference on Temporal Logic, held in Bonn, Germany in July 1994. It provides reports of all aspects of temporal logic research relevant to general computer science and artificial intelligence. Editor(s): Gabbay, Dov M.; Ohlbach, Hans Jurgen. Series: Lecture Notes in Computer Science. Num Pages: 564 pages, biography. BIC Classification: UYA; UYF; UYQ. Category: (P) Professional & Vocational; (UP) Postgraduate, Research & Scholarly. Dimension: 234 x 156 x 29. Weight in Grams: 786. . 1994. Paperback. . . . .

Zustand: New. 1996. Paperback. . . . . .

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. Druck auf Anfrage Neuware - Printed after ordering - This book constitutes the refereed proceedings of the International Conference on Formal and Applied Practical Reasoning, FAPR '96, held in Bonn, Germany, in June 1996.The 51 revised full papers included in the book together with eight posters were carefully selected for presentation at the conference. The book addresses current aspects of the highly interdisciplinary area of practical reasoning in artificial intelligence, philosophy, psychology, linguistics, software engineering, intelligent systems, and industrial applications. Among the topics addressed are user modeling, belief, legal reasoning, argumentation, dialogue logic, default reasoning, analogy, metareasoning, temporal and procedural reasoning, and many others.

Zustand: New. This volume constitutes the proceedings of the 1st International Conference on Temporal Logic, held in Bonn, Germany in July 1994. It provides reports of all aspects of temporal logic research relevant to general computer science and artificial intelligence. Editor(s): Gabbay, Dov M.; Ohlbach, Hans Jurgen. Series: Lecture Notes in Computer Science. Num Pages: 564 pages, biography. BIC Classification: UYA; UYF; UYQ. Category: (P) Professional & Vocational; (UP) Postgraduate, Research & Scholarly. Dimension: 234 x 156 x 29. Weight in Grams: 786. . 1994. Paperback. . . . . Books ship from the US and Ireland.

Zustand: New. 1996. Paperback. . . . . . Books ship from the US and Ireland.

Paperback. Zustand: new. Paperback. This book constitutes the refereed proceedings of the International Conference on Formal and Applied Practical Reasoning, FAPR '96, held in Bonn, Germany, in June 1996.The 51 revised full papers included in the book together with eight posters were carefully selected for presentation at the conference. The book addresses current aspects of the highly interdisciplinary area of practical reasoning in artificial intelligence, philosophy, psychology, linguistics, software engineering, intelligent systems, and industrial applications. Among the topics addressed are user modeling, belief, legal reasoning, argumentation, dialogue logic, default reasoning, analogy, metareasoning, temporal and procedural reasoning, and many others. This book constitutes the refereed proceedings of the International Conference on Formal and Applied Practical Reasoning, FAPR '96, held in Bonn, Germany, in June 1996.The 51 revised full papers included in the book together with eight posters were carefully selected for presentation at the conference. Shipping may be from our Sydney, NSW warehouse or from our UK or US warehouse, depending on stock availability.

Buch. Zustand: Neu. This item is printed on demand - it takes 3-4 days longer - Neuware -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. 444 pp. Englisch.

Taschenbuch. Zustand: Neu. This item is printed on demand - it takes 3-4 days longer - Neuware -This book constitutes the refereed proceedings of the International Conference on Formal and Applied Practical Reasoning, FAPR '96, held in Bonn, Germany, in June 1996.The 51 revised full papers included in the book together with eight posters were carefully selected for presentation at the conference. The book addresses current aspects of the highly interdisciplinary area of practical reasoning in artificial intelligence, philosophy, psychology, linguistics, software engineering, intelligent systems, and industrial applications. Among the topics addressed are user modeling, belief, legal reasoning, argumentation, dialogue logic, default reasoning, analogy, metareasoning, temporal and procedural reasoning, and many others. 744 pp. Englisch.

Zustand: New. Dieser Artikel ist ein Print on Demand Artikel und wird nach Ihrer Bestellung fuer Sie gedruckt. This book constitutes the refereed proceedings of the International Conference on Formal and Applied Practical Reasoning, FAPR 96, held in Bonn, Germany, in June 1996.The 51 revised full papers included in the book together with eight posters were care.

Taschenbuch. Zustand: Neu. This item is printed on demand - Print on Demand Titel. Neuware -This book constitutes the refereed proceedings of the International Conference on Formal and Applied Practical Reasoning, FAPR '96, held in Bonn, Germany, in June 1996.The 51 revised full papers included in the book together with eight posters were carefully selected for presentation at the conference. The book addresses current aspects of the highly interdisciplinary area of practical reasoning in artificial intelligence, philosophy, psychology, linguistics, software engineering, intelligent systems, and industrial applications. Among the topics addressed are user modeling, belief, legal reasoning, argumentation, dialogue logic, default reasoning, analogy, metareasoning, temporal and procedural reasoning, and many others.Springer-Verlag GmbH, Tiergartenstr. 17, 69121 Heidelberg 744 pp. Englisch.