Marek v wiktor wiktor (15 Ergebnisse)

Paperback. Zustand: Very Good. No Dust Jacket. Lecture Notes in Artificial Intelligence 928, Previous owner's sticker on the front cover. Faintly bumped spine head and rubbed corners. Foot of page block slightly grubby and marked due to age. Sound, clean book with tight binding. ADG. Used.

Zustand: as new. Cambridge, MA: The MIT Press, 1991. Paperback. 301 pp.The First International Workshop brings together researchers from the theoretical ends of the logic programming and artificial intelligence communities to discuss their mutual interests. Logic programming deals with the use of models of mathematical logic as a way of programming computers, where theoretical AI deals with abstract issues in modeling and representing human knowledge and beliefs. One common ground is nonmonotonic reasoning, a family of logics that includes room for the kinds of variations that can be found in human reasoning. English text. Condition : as new. Condition : as new copy. ISBN 9780262640275. Keywords : , Logic programming.…

Zustand: New. This is a Brand-new US Edition. This Item may be shipped from US or any other country as we have multiple locations worldwide.

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

Zustand: Sehr gut. 434 p. In very good condition. ISBN: 9783540564485 Sprache: Englisch Gewicht in Gramm: 720 23,4 x 2,5 x 15,6 cm, hardcover.

Zustand: Used. pp. 440.

Zustand: Very Good. Signatures on inside of front cover and on top of title pages. Also some minor shelf wear. Content is fine.

Zustand: New. In.

Taschenbuch. Zustand: Neu. Druck auf Anfrage Neuware - Printed after ordering - This volume contains the revised refereed papers accepted for presentation at the Third International Conference on Logic Programming and Nonmonotonic Reasoning, LPNMR '95, held in Lexington, KY, USA in June 1995 under the sponsorship of the Association for Logic Programming.The LPNMR conferences bring together researchers from logic programming and the logical foundations of artificial intelligence in order to facilitate cooperation and cross-fertilization of ideas. The 28 full papers presented define the state of the art in this interdisciplinary area of research, which has recently attracted much interest.…

Cloth. Zustand: Very Good. Zustand des Schutzumschlags: No d/j as Published. Type: Book N.B. Small plain label to inside front cover.

Zustand: Gut. Zustand: Gut | Seiten: 436 | Sprache: Englisch | Produktart: Bücher | This volume contains the revised refereed papers accepted for presentation at the Third International Conference on Logic Programming and Nonmonotonic Reasoning, LPNMR '95, held in Lexington, KY, USA in June 1995 under the sponsorship of the Association for Logic Programming.The LPNMR conferences bring together researchers from logic programming and the logical foundations of artificial intelligence in order to facilitate cooperation and cross-fertilization of ideas. The 28 full papers presented define the state of the art in this interdisciplinary area of research, which has recently attracted much interest.…

Zustand: New. In.

Zustand: New. In.

Buch. Zustand: Neu. Druck auf Anfrage Neuware - Printed after ordering - When I first participated in exploring theories of nonmonotonic reasoning in the late 1970s, I had no idea of the wealth of conceptual and mathematical results that would emerge from those halting first steps. This book by Wiktor Marek and Miroslaw Truszczynski is an elegant treatment of a large body of these results. It provides the first comprehensive treatment of two influen tial nonmonotonic logics - autoepistemic and default logic - and describes a number of surprising and deep unifying relationships between them. It also relates them to various modal logics studied in the philosophical logic litera ture, and provides a thorough treatment of their applications as foundations for logic programming semantics and for truth maintenance systems. It is particularly appropriate that Marek and Truszczynski should have authored this book, since so much of the research that went into these results is due to them. Both authors were trained in the Polish school of logic and they bring to their research and writing the logical insights and sophisticated mathematics that one would expect from such a background. I believe that this book is a splendid example of the intellectual maturity of the field of artificial intelligence, and that it will provide a model of scholarship for us all for many years to come. Ray Reiter Department of Computer Science University of Toronto Toronto, Canada M5S 1A4 and The Canadian Institute for Advanced Research Table of Contents 1 1 Introduction .…

Taschenbuch. Zustand: Neu. Druck auf Anfrage Neuware - Printed after ordering - When I first participated in exploring theories of nonmonotonic reasoning in the late 1970s, I had no idea of the wealth of conceptual and mathematical results that would emerge from those halting first steps. This book by Wiktor Marek and Miroslaw Truszczynski is an elegant treatment of a large body of these results. It provides the first comprehensive treatment of two influen tial nonmonotonic logics - autoepistemic and default logic - and describes a number of surprising and deep unifying relationships between them. It also relates them to various modal logics studied in the philosophical logic litera ture, and provides a thorough treatment of their applications as foundations for logic programming semantics and for truth maintenance systems. It is particularly appropriate that Marek and Truszczynski should have authored this book, since so much of the research that went into these results is due to them. Both authors were trained in the Polish school of logic and they bring to their research and writing the logical insights and sophisticated mathematics that one would expect from such a background. I believe that this book is a splendid example of the intellectual maturity of the field of artificial intelligence, and that it will provide a model of scholarship for us all for many years to come. Ray Reiter Department of Computer Science University of Toronto Toronto, Canada M5S 1A4 and The Canadian Institute for Advanced Research Table of Contents 1 1 Introduction .…