Furbach ulrich (36 Ergebnisse)

Zustand: Good. 390 pp., ex library, else text clean and binding tight, softcover. - 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.…

Broschiert. Zustand: Gut. 1. Auflage. 89 Seiten; Das Buch befindet sich in einem gut erhaltenen Zustand. Sprache: Deutsch Gewicht in Gramm: 270.

Zustand: Good. 1379 pp., Paperback, ex library, else text clean and binding 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.…

kart. Zustand: Gut. 29 cm ; Softcover, 15, 9, 10 Seiten. Gutes Exemplar. pw516.

Hardcover. Zustand: Very Good. Most items will be dispatched the same or the next working day. A copy that has been read, but is in excellent condition. Pages are intact and not marred by notes or highlighting. The spine remains undamaged.

Paperback. Zustand: Good. Digitalization is inexorably conquering our lives - also with artificial intelligence (AI) methods. Search engine operators, social network operators and shipping platform operators know more and more about us, about our buying and living habits. We live and work with computer systems that behave intelligently or are even intelligent.…

Zustand: Very Good. Former library copy. Pages intact with possible writing/highlighting. Binding strong with minor wear. Dust jackets/supplements may not be included. Includes library markings. Stock photo provided. Product includes identifying sticker. Better World Books: Buy Books. Do Good.

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

Zustand: Used. pp. 430 Illus.

Zustand: Used. pp. 430.

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.

Paperback. Zustand: Brand New. 180 pages. 9.25x6.10x0.39 inches. In Stock.

Paperback. Zustand: Brand New. 1998 edition. 390 pages. 9.25x6.25x0.75 inches. In Stock.

Paperback. Zustand: Brand New. 1st edition. 408 pages. 9.50x6.00x1.00 inches. In Stock.

Taschenbuch. Zustand: Neu. Druck auf Anfrage Neuware - Printed after ordering - This volume contains the papers selected for presentation at the conference and two abstracts from invited speakers. The programme committee selected these 25 papers from 12 countries out of 65 submissions from 17 countries. The rst JELIA meeting was in Rosco , France, ten years ago. Afterwards, it took place in the Netherlands, Germany, United Kingdom, Portugal, and now again in Germany. The proceedings of the last four meetings appeared in the Springer-Verlag LNCS series, and a selected series of papers of the English and the Portuguese meeting appeared as special issues in the Journal of Applied Non-Classical Logics and in the Journal of Automated Reasoning, respectively. The aim of JELIA was and still is to provide a forum for the exchange of ideas and results in the domain of foundations of AI, focusing on rigorous descriptions of some aspects of intelligence. These descriptions are promoted by applications, and produced by logical tools and methods. The papers contained in this volume cover the following topics: 1. Logic programming 2. Epistemic logics 3. Theorem proving 4. Non-monotonic reasoning 5. Non-standard logics 6. Knowledge representation 7. Higher order logics We would like to warmly thank the authors, the invited speakers, the m- bers of the program committee, and the additional reviewers listed below. They all have made these proceedings possible and ensured their quality.…

Taschenbuch. Zustand: Neu. Druck auf Anfrage Neuware - Printed after ordering - This book constitutes the refereed proceedings of the 4th International Conference on Logic Programming and Nonmonotonic Reasoning, LPNMR '97, held in Dagstuhl Castle, Germany, in July 1997.The volume presents 19 revised regular papers together with 10 system descriptions and five abstracts of invited presentations. The papers included report state-of-the-art research and development in the interdisciplinary area of logic programming and logical foundations of artificial intelligence.…

Taschenbuch. Zustand: Neu. Druck auf Anfrage Neuware - Printed after ordering - Invited Talks.- Hierarchy in Fluid Construction Grammars.- Description Logics in Ontology Applications.- 175 Miles Through the Desert.- Knowledge Representation and Reasoning.- A New n-Ary Existential Quantifier in Description Logics.- Subsumption in w.r.t. Hybrid TBoxes.- Dependency Calculus: Reasoning in a General Point Relation Algebra.- Temporalizing Spatial Calculi: On Generalized Neighborhood Graphs.- Machine Learning.- Design of Geologic Structure Models with Case Based Reasoning.- Applying Constrained Linear Regression Models to Predict Interval-Valued Data.- On Utilizing Stochastic Learning Weak Estimators for Training and Classification of Patterns with Non-stationary Distributions.- Noise Robustness by Using Inverse Mutations.- Diagnosis.- Development of Flexible and Adaptable Fault Detection and Diagnosis Algorithm for Induction Motors Based on Self-organization of Feature Extraction.- Computing the Optimal Action Sequence by Niche Genetic Algorithm.- Diagnosis of Plan Execution and the Executing Agent.- Automatic Abstraction of Time-Varying System Models for Model Based Diagnosis.- Neural Networks.- Neuro-Fuzzy Kolmogorov's Network for Time Series Prediction and Pattern Classification.- Design of Optimal Power Distribution Networks Using Multiobjective Genetic Algorithm.- New Stability Results for Delayed Neural Networks.- Planning.- Metaheuristics for Late Work Minimization in Two-Machine Flow Shop with Common Due Date.- An Optimal Algorithm for Disassembly Scheduling with Assembly Product Structure.- Hybrid Planning Using Flexible Strategies.- Controlled Reachability Analysis in AI Planning: Theory and Practice.- Robotics.- Distributed Multi-robot Localization Based on Mutual Path Detection.- Modeling Moving Objects in a Dynamically Changing RobotApplication.- Heuristic-Based Laser Scan Matching for Outdoor 6D SLAM.- A Probabilistic Multimodal Sensor Aggregation Scheme Applied for a Mobile Robot.- Behavior Recognition and Opponent Modeling for Adaptive Table Soccer Playing.- Cognitive Modelling / Philosopy / Natural Language.- Selecting What Is Important: Training Visual Attention.- Self-sustained Thought Processes in a Dense Associative Network.- Why Is the Lucas-Penrose Argument Invalid .- On the Road to High-Quality POS-Tagging.…

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

Zustand: Hervorragend. Zustand: Hervorragend | Seiten: 1428 | Sprache: Englisch | Produktart: Bücher | These are the proceedings of the First International Conference on Compu- tional Logic (CL 2000) which was held at Imperial College in London from 24th to 28th July, 2000. The theme of the conference covered all aspects of the theory, implementation, and application of computational logic, where computational logic is to be understood broadly as the use of logic in computer science. The conference was collocated with the following events: { 6th International Conference on Rules and Objects in Databases (DOOD 2000) { 10th International Workshop on Logic-based Program Synthesis and Tra- formation (LOPSTR 2000) { 10th International Conference on Inductive Logic Programming (ILP 2000). CL 2000 consisted of seven streams: { Program Development (LOPSTR 2000) { Logic Programming: Theory and Extensions { Constraints { Automated Deduction: Putting Theory into Practice { Knowledge Representation and Non-monotonic Reasoning { Database Systems (DOOD 2000) { Logic Programming: Implementations and Applications. The LOPSTR 2000 workshop constituted the program development stream and the DOOD 2000 conference constituted the database systems stream. Each stream had its own chair and program committee, which autonomously selected the papers in the area of the stream. Overall, 176 papers were submitted, of which 86 were selected to be presented at the conference and appear in these proceedings. The acceptance rate was uniform across the streams. In addition, LOPSTR 2000 accepted about 15 extended abstracts to be presented at the conference in the program development stream.…

Taschenbuch. Zustand: Neu. Druck auf Anfrage Neuware - Printed after ordering - These are the proceedings of the First International Conference on Compu- tional Logic (CL 2000) which was held at Imperial College in London from 24th to 28th July, 2000. The theme of the conference covered all aspects of the theory, implementation, and application of computational logic, where computational logic is to be understood broadly as the use of logic in computer science. The conference was collocated with the following events: { 6th International Conference on Rules and Objects in Databases (DOOD 2000) { 10th International Workshop on Logic-based Program Synthesis and Tra- formation (LOPSTR 2000) { 10th International Conference on Inductive Logic Programming (ILP 2000). CL 2000 consisted of seven streams: { Program Development (LOPSTR 2000) { Logic Programming: Theory and Extensions { Constraints { Automated Deduction: Putting Theory into Practice { Knowledge Representation and Non-monotonic Reasoning { Database Systems (DOOD 2000) { Logic Programming: Implementations and Applications. The LOPSTR 2000 workshop constituted the program development stream and the DOOD 2000 conference constituted the database systems stream. Each stream had its own chair and program committee, which autonomously selected the papers in the area of the stream. Overall, 176 papers were submitted, of which 86 were selected to be presented at the conference and appear in these proceedings. The acceptance rate was uniform across the streams. In addition, LOPSTR 2000 accepted about 15 extended abstracts to be presented at the conference in the program development stream.…

Zustand: Used. pp. 704.

Broschiert Broschiert. Zustand: Sehr gut. XV, 680 Seiten, Lecture Notes in Artificial Intelligence, Band 4130. Zust: Gutes Exemplar. Mit Vorbesitzereintrag. Schneller Versand und persönlicher Service - jedes Buch händisch geprüft und beschrieben - aus unserem Familienbetrieb seit über 25 Jahren. Eine Rechnung mit ausgewiesener Mehrwertsteuer liegt jeder unserer Lieferungen bei. Wir versenden mit der deutschen Post. Sprache: Englisch Gewicht in Gramm: 958. …

Zustand: As New. Unread book in perfect condition.

Taschenbuch. Zustand: Neu. Druck auf Anfrage Neuware - Printed after ordering - This book constitutes the refereed post-conference proceedings of the Third IFIP TC 12 International Conference on Computational Intelligence in Data Science, ICCIDS 2020, held in Chennai, India, in February 2020.The 19 revised full papers and 8 revised short papers presented were carefully reviewed and selected from 94 submissions. The papers are organized in the following topical sections: computational intelligence for text analysis; computational intelligence for image and video analysis; and data science.…

Buch. Zustand: Neu. Druck auf Anfrage Neuware - Printed after ordering - This book constitutes the refereed post-conference proceedings of the Third IFIP TC 12 International Conference on Computational Intelligence in Data Science, ICCIDS 2020, held in Chennai, India, in February 2020.The 19 revised full papers and 8 revised short papers presented were carefully reviewed and selected from 94 submissions. The papers are organized in the following topical sections: computational intelligence for text analysis; computational intelligence for image and video analysis; and data science.…

Taschenbuch. Zustand: Neu. Computational Intelligence in Data Science | Third IFIP TC 12 International Conference, ICCIDS 2020, Chennai, India, February 20-22, 2020, Revised Selected Papers | Aravindan Chandrabose (u. a.) | Taschenbuch | IFIP Advances in Information and Communication Technology | xiii | Englisch | 2021 | Springer | EAN 9783030634698 | 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 - This book constitutes the refereed proceedings of the Third International Joint Conference on Automated Reasoning, IJCAR 2006, held in Seattle, WA, USA in August 2006 as part of the 4th Federated Logic Conference, FLoC 2006. IJCAR 2006 is a merger of CADE, FroCoS, FTP, TABLEAUX, and TPHOLs.The 41 revised full research papers and 8 revised system descriptions presented together with 3 invited papers and a summary of a systems competition were carefully reviewed and selected from a total of 152 submissions. The papers address the entire spectrum of research in automated reasoning including formalization of mathematics, proof theory, proof search, description logics, interactive proof checking, higher-order logic, combination methods, satisfiability procedures, and rewriting. The papers are organized in topical sections on proofs, search, higher-order logic, proof theory, search, proof checking, combination, decision procedures, CASC-J3, rewriting, and description logic.…

Hardcover. Zustand: Brand New. 342 pages. 9.25x6.10x9.21 inches. In Stock.

Zustand: gut. 2006. Automated Reasoning: Third International Joint Conference, IJCAR 2006, Seattle, WA, USA, August 17-20, 2006, Proceedings (Lecture Notes in Artificial Intelligence, Band 4130) In deutscher Sprache. pages.