thom frühwirth (32 Ergebnisse)

Zustand: New. The definitive reference on Constraint Handling Rules, from the creator of the language. Num Pages: 320 pages, 55 exercises. BIC Classification: UM. Category: (P) Professional & Vocational. Dimension: 254 x 181 x 22. Weight in Grams: 714. . 2009. hardcover. . . . . Books ship from the US and Ireland.

Taschenbuch. Zustand: Gut. 165 Seiten Der Erhaltungszustand des hier angebotenen Werks ist trotz seiner Bibliotheksnutzung sehr sauber. Es befindet sich neben dem Rückenschild lediglich ein Bibliotheksstempel im Buch; ordnungsgemäß entwidmet. Sprache: Deutsch Gewicht in Gramm: 190.

Zustand: very good. Gut/Very good: Buch bzw. Schutzumschlag mit wenigen Gebrauchsspuren an Einband, Schutzumschlag oder Seiten. / Describes a book or dust jacket that does show some signs of wear on either the binding, dust jacket or pages.

Zustand: as new. Wie neu/Like new.

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

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

Zustand: New. In.

Zustand: New. In.

Zustand: New. In.

Zustand: New. In.

Zustand: New. In.

Zustand: New. In.

Zustand: New. In.

Paperback. Zustand: Brand New. 1st edition. 245 pages. 9.50x6.25x0.50 inches. In Stock.

Taschenbuch. Zustand: Neu. Principles of Rule-Based Programming | Thom Frühwirth | Taschenbuch | Englisch | 2025 | Books on Demand GmbH | EAN 9783769376333 | Verantwortliche Person für die EU: Libri GmbH, Europaallee 1, 36244 Bad Hersfeld, gpsr[at]libri[dot]de | Anbieter: preigu.

Taschenbuch. Zustand: Sehr gut. Gebraucht - Sehr gut SG - Ungelesenes Mängelexemplar, gestempelt, mit leichten Lagerspuren - SICStus Prolog is the de-facto standard industrial Prolog programming environment. With more than 25 years in fielded applications, it has a proven track record of a robust, scalable and efficient system. It is widely used for commercial applications as well as in research and education. This book edition contains the core reference documentation of SICStus Prolog release 4.3.0. SICStus Prolog complies with the ISO Prolog standard, IPv4, IPv6, and Unicode 5.0. It is interoperable with C, C++, .NET, Java, Tcl/Tk, Berkeley DB, ODBC, XML, MiniZinc, and more. It ships with a comprehensive library of modules for abstract data types, program development, operating system and file system access, processes, sockets, constraint solvers, and more. SICStus Prolog compiles to a virtual machine (WAM), emulated by efficient C code and compiled just-in-time to native code for x86-based platforms. Tools provide deployment to stand-alone, all-in-one-file, and embedded applications. The Eclipse-based development environment SPIDER provides semantics-aware editing support, static analysis tools, source-linked debugging, tracking variable bindings, profiling, code coverage, backtraces, call hierarchies, and more.

Taschenbuch. Zustand: Neu. Druck auf Anfrage Neuware - Printed after ordering - The ConstraintHandling Rules (CHR) languagecameto life morethan 15 years ago.Sincethen,ithasbecomeamajordeclarativespeci cationandimplemen- tion language for constraint-based algorithms and applications. In recent years, the ve Workshops on Constraint Handling Rules have spurred the exchange of ideas within the CHR community, which has led to increased international collaboration, new theoretical results and optimized implementations. The aim of this volume of Lecture Notes in Ariti cial Intelligence was to attract high-quality research papers on these recent advances in CHR. The 8 papersinthis issuewereselectedfrom11submissionsaftercarefulreviewingand subsequent revisions. Each paper was reviewd by three reviewers. The accepted papers represent some of the research teams on CHR around the world. It is not by accident that the currently most active research group is featured here with three articles. We also would have liked to see contributions from other CHR teams, but space is limited and the reviewers took their job seriously. After an introductory article that foreshadows an upcoming monograph on CHR, the accepted papers span a range of current research topics in the CHR community. It goes from extending the CHR language with search facilities and the related adaptive framework, and from generating rules from speci cations of constraint solvers to implementing abductive probabilistic reasoning. They cover the theory that is a compositional semantics for CHR and nally describe e cient implementations of CHR in traditional mainstream programming l- guages and compiler optimizations in the context of the re ned semantics of CHR. Wewouldliketothanktheauthorsofsubmittedpapersandthemanyrevi- ers for their contribution in making this collection of researchpapers possible.

Taschenbuch. Zustand: Neu. Druck auf Anfrage Neuware - Printed after ordering - KI2004wasthe27theditionoftheannualGermanConferenceonArti cialInt- ligence, which traditionally brings together academic and industrial researchers from all areas of AI and which enjoys increasing international attendance. KI 2004 received 103 submissions from 26 countries. This volume contains the 30 papers that were nally selected for presentation at the conference. The papers cover quite a broad spectrum of classical subareas of AI, like na- ral language processing, neural networks, knowledge representation, reasoning, planning, and search. When looking at this year s contributions, it was exciting to observe that there was a strong trend towards actual real-world applications of AI technology. A majority of contributions resulted from or were motivated by applications in a variety of areas. Examples include applications of pl- ning, where the technology is being exploited for taxiway tra c control and game playing; natural language processing and knowledge representation are enabling advanced Web-based information processing; and the integration of - sults from automated reasoning, neural networks and machine perception into robotics leads to signi cantly improved capabilities of autonomous systems. The technical programme of KI 2004 was highlighted by invited talks from outstanding researchers in the areas of automated reasoning, robot planning, constraintreasoning,machinelearning,andsemanticWeb:Jorg Siekmann(DFKI andUniversityofSaarland,Saarbruc ken),MalikGhallab(LAAS-CNRS,Toulouse), Franco is Fages (INRIA Rocquencourt), Martin Riedmiller (University of - nabru ck),andWolfgangWahlster(DFKIandUniversityofSaarland,Saarbruc ken). Their invited papers are also presented in this volume.

Zustand: Sehr gut. Zustand: Sehr gut | Seiten: 270 | Sprache: Englisch | Produktart: Bücher | Keine Beschreibung verfügbar.

Zustand: Gut. Zustand: Gut | Seiten: 286 | Sprache: Englisch | Produktart: Bücher | Keine Beschreibung verfügbar.

Softcover. Zustand: gut. 2009. Constraint Handling Rules (CHR) is both a special-purpose language for programming with rules, and a general-purpose language for computational logic and beyond. This book from the creator of the language describes the theory of CHR and how to use it in practice. It is the definitive reference on the subject. Constraint Handling Rules (CHR) is both a theoretical formalism based on logic and a practical programming language based on rules. This book, written by the creator of CHR, describes the theory of CHR and how to use it in practice. It is supported by a website containing teaching materials, online demos, and free downloads of the language. After a basic tutorial, the author describes in detail the CHR language and discusses guaranteed properties of CHR programs. The author then compares CHR with other formalisms and languages and illustrates how it can capture their essential features. Finally, larger programs are introduced and analyzed in detail. The book is ideal for graduate students and lecturers, and for more experienced programmers and researchers, who can use it for self-study. Exercises with selected solutions, and bibliographic remarks are included at the ends of chapters. The book is the definitive reference on the subject. Author: Thom Frühwirth is a Professor in the Faculty of Computer Science at the University of Ulm, Germany. He is the creator of the programming language Constraint Handling Rules (CHR) and the main author of two books on constraint programming and reasoning. Content: Preface; Part I. CHR Tutorial: 1. Getting started; 2. My first CHR programs; Part II. The CHR Language: 3. Syntax and semantics; 4. Properties of CHR; 5. Program analysis; 6. Rule-based and graph-based formalisms in CHR; Part III. CHR Programs and Applications: 7. My first CHR programs, revisited for analysis; 8. Finite domain constraint solvers; 9. Infinite domain constraint solvers; 10. Union-find algorithm; Bibliography; List of figures; List of illustrations; Index. Constraint Handling Rules Thom Frühwirth CHR Tutoria CHR programs CHR Language Syntax semantics Properties of CHR Program analysis Rule-based graph-based formalisms in CHR; Part programs Applications analysis Finite domain constraint solvers Infinite domain constraint solvers Union-find algorithm Zusatzinfo: Worked examples or Exercises Verlagsort: Cambridge Sprache: englisch Maße: 178 x 253 mm Mathematik Informatik Programmiersprachen Programmierwerkzeuge Theorie Studium Künstliche Intelligenz Robotik Constraint-Programmierung ISBN-10: 0-521-87776-8 / 0521877768 ISBN-13: 978-0-521-87776-3 / 9780521877763 In englischer Sprache. 320 pages. 24,4 x 17,4 x 2,6 cm.

Zustand: Hervorragend. Zustand: Hervorragend | Seiten: 286 | Sprache: Englisch | Produktart: Bücher | Keine Beschreibung verfügbar.

Taschenbuch. Zustand: Neu. KI 2004: Advances in Artificial Intelligence | 27th Annual German Conference in AI, KI 2004, Ulm, Germany, September 20-24, 2004, Proceedings | Susanne Biundo (u. a.) | Taschenbuch | xii | Englisch | 2004 | Springer | EAN 9783540231660 | 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. Essentials of Constraint Programming | Thom Frühwirth (u. a.) | Taschenbuch | Cognitive Technologies | ix | Englisch | 2010 | Springer | EAN 9783642087127 | 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. Constraint Handling Rules | Current Research Topics | Tom Schrijvers (u. a.) | Taschenbuch | vii | Englisch | 2008 | Springer | EAN 9783540922421 | Verantwortliche Person für die EU: Springer Verlag GmbH, Tiergartenstr. 17, 69121 Heidelberg, juergen[dot]hartmann[at]springer[dot]com | Anbieter: preigu.

Zustand: Sehr gut. Zustand: Sehr gut | Sprache: Englisch | Produktart: Bücher | Mason's marks (Steinmetzzeichen) are symbols carved by stonecutters on dressed stone. These signs go back about 4500 years. In Europe, one can mainly find quarrier's marks from the medieval ages. In Architectural History, stonemason's marks allow to reconstruct the construction process of a building. Mason's marks can be concisely represented by planar line graphs using basic Computational Geometry. This text shortly introduces mason's marks and the implementation of the software tool VanDeGraphGenerator to draw, analyse, and generate graphs in the declarative programming language Constraint Handling Rules. This book then features sixty choice mason's marks from Ulm Minster, Strasbourg Cathedral, and Iglesia Arciprestal de Santiago in Spain. Exploiting the inherent structural regularities of mason's marks, VanDeGraphGenerator can assemble new designs automatically using methods from Artificial Intelligence research to achieve a kind of Computational Creativity. The main part of the book showcases more than thousand new designs produced by the tool.

Buch. Zustand: Neu. Druck auf Anfrage Neuware - Printed after ordering - Constraint Handling Rules (CHR) is both a theoretical formalism based on logic and a practical programming language based on rules. This book, written by the creator of CHR, describes the theory of CHR and how to use it in practice. It is supported by a website containing teaching materials, online demos, and free downloads of the language. After a basic tutorial, the author describes in detail the CHR language and discusses guaranteed properties of CHR programs. The author then compares CHR with other formalisms and languages and illustrates how it can capture their essential features. Finally, larger programs are introduced and analyzed in detail. The book is ideal for graduate students and lecturers, and for more experienced programmers and researchers, who can use it for self-study. Exercises with selected solutions, and bibliographic remarks are included at the ends of chapters. The book is the definitive reference on the subject.

paperback. Zustand: Wie neu. 176 Seiten; *** Neuwertig, ungelesen, als Geschenk geeignet. M25-06-H-42-LN Sprache: Deutsch Gewicht in Gramm: 500.