Denna webbshop är stängd för köp.
Klicka här för mer information

Sökresultat

Sök »
Din sökning gav 1185 träffar. Klicka på titeln för mer information eller lägg den i din kundvagn direkt. Om Du inte hittar titeln vid sökning se Söktips

Fördjupa min sökning

  • Intelligent Information and Database Systems

    Intelligent Information and Database Systems

    Häftad - 2012 - Engelska - ISBN: 9783642284892

    The three-volume set LNAI 7196, LNAI 7197 and LNAI 7198 constitutes the refereed proceedings of the 4th Asian Conference on Intelligent Information and Database Systems, ACIIDS 2012, held in Kaohsiung, Taiwan in March 2012. The 161 revised papers pr…

  • Deontic Logic and Normative Systems

    Deontic Logic and Normative Systems

    Häftad - 2014 - Engelska - ISBN: 9783319086149

    This volume presents the refereed proceedings of the 12th International Conference on Deontic Logic and Normative Systems, DEON 2014, held in Ghent, Belgium, in July 2014. The 17 revised papers and the 2 invited papers included in this volume were c…

  • Artificial Intelligence and Soft Computing

    Artificial Intelligence and Soft Computing

    Häftad - 2012 - Engelska - ISBN: 9783642293498

    The two-volume set LNAI 7267 and 7268 (together with LNCS 7269 ) constitutes the refereed proceedings of the 11th International Conference on Artificial Intelligence and Soft Computing, ICAISC 2012, held in Zakopane, Poland in April/ May 2012. The 2…

  • Social Robotics

    Social Robotics

    Häftad - 2014 - Engelska - ISBN: 9783319119724

    This book constitutes the refereed proceedings of the 6th International Conference on Social Robotics, ICSR 2014, held in Sydney, NSW, Australia, in October 2014. The 41 revised full papers presented in this book were carefully reviewed and selected…

  • Scalable Uncertainty Management

    Scalable Uncertainty Management

    Häftad - 2018 - Engelska - ISBN: 9783030004606

    This book constitutes the refereed proceedings of the 12th International Conference on Scalable Uncertainty Management, SUM 2018, which was held in Milan, Italy, in October 2018.  The 23 full, 6 short papers and 2 tutorials presented in this volume…

  • Declarative Agent Languages and Technologies VII

    Declarative Agent Languages and Technologies VII

    Häftad - 2010 - Engelska - ISBN: 9783642113543

    In the multi-agent systems area, linking theory to practical applications is still a fertile research topic. The aim of the workshop on Declarative Agent Languages and Technologies (DALT 2009), in its seventh edition this year, is to achieve this go…

  • Spatial Cognition XI

    Spatial Cognition XI

    Häftad - 2018 - Engelska - ISBN: 9783319963846

    This book constitutes the thoroughly refereed proceedings of the 11th International Conference, Spatial Cognition 2018, held in Tübingen, Germany, in September 2018. The 22 revised full papers presented in this book were carefully selected and revie…

  • Engineering Societies in the Agents World III

    Engineering Societies in the Agents World III

    Häftad - 2003 - Engelska - ISBN: 9783540140092

    The characteristics of software systems are undergoing dramatic changes. We are moving rapidly into the age of ubiquitous information services. Persistent computing systems are being embedded in everyday objects. They interact in an autonomouswaywit…

  • Practical Reasoning

    Practical Reasoning

    Häftad - 1996 - Engelska - ISBN: 9783540613138

    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…

  • ECML PKDD 2018 Workshops

    ECML PKDD 2018 Workshops

    Häftad - 2019 - Engelska - ISBN: 9783030134525

    This book constitutes revised selected papers from the workshops Nemesis, UrbReas, SoGood, IWAISe, and Green Data Mining, held at the 18th European Conference on Machine Learning and Knowledge Discovery in Databases, ECML PKDD 2018, in Dublin, Irela…

  • Industrial Applications of Holonic and Multi-Agent Systems

    Industrial Applications of Holonic and Multi-Agent Systems

    Häftad - 2019 - Engelska - ISBN: 9783030278779

    This book constitutes the refereed proceedings of the 9th International Conference on Industrial Applications of Holonic and Multi-Agent Systems, HoloMAS 2019, held in Linz, Austria, in August 2019. The 14 full papers presented were carefully review…

  • Automated Reasoning with Analytic Tableaux and Related Methods

    Automated Reasoning with Analytic Tableaux and Related Methods

    Häftad - 2021 - Engelska - ISBN: 9783030860585

    This book constitutes the proceedings of the 30th International Conference on Automated Reasoning with Analytic Tableaux and Related Methods, TABLEAUX 2021, held in Birmingham, UK, in September 2021.The 23 full papers and 3 system descriptions inclu…

  • Social Robotics

    Social Robotics

    Häftad - 2012 - Engelska - ISBN: 9783642341021

    This book constitutes the refereed proceedings of the 4th International Conference on Social Robotics, ICSR 2012, held in Chengdu, China, in October 2012. The 66 revised full papers were carefully reviewed and selected from numerous submissions. The…

  • Artificial Neural Networks in Pattern Recognition

    Artificial Neural Networks in Pattern Recognition

    Häftad - 2012 - Engelska - ISBN: 9783642332111

    This book constitutes the refereed proceedings of the 5th INNS IAPR TC3 GIRPR International Workshop on Artificial Neural Networks in Pattern Recognition, ANNPR 2012, held in Trento, Italy, in September 2012. The 21 revised full papers presented wer…

  • Pattern Detection and Discovery

    Pattern Detection and Discovery

    Häftad - 2002 - Engelska - ISBN: 9783540441489

    The collation of large electronic databases of scienti?c and commercial infor- tion has led to a dramatic growth of interest in methods for discovering struc- res in such databases. These methods often go under the general name of data mining. One i…

  • Partially Supervised Learning

    Partially Supervised Learning

    Häftad - 2013 - Engelska - ISBN: 9783642407048

    This book constitutes the thoroughly refereed revised selected papers from the Second IAPR International Workshop, PSL 2013, held in Nanjing, China, in May 2013. The 10 papers included in this volume were carefully reviewed and selected from 26 subm…

  • An Approach to Knowledge Base Management

    An Approach to Knowledge Base Management
    av Nelson M. Mattos

    Häftad - 1991 - Engelska - ISBN: 9783540542681

    This book addresses the development of a new generation of systems, Knowledge Base Management Systems (KBMS), specially constructed for effective and efficient management of knowledge bases, with the aim of filling part of the technological gap betw…

  • Artificial Intelligence and Soft Computing

    Artificial Intelligence and Soft Computing

    Häftad - 2014 - Engelska - ISBN: 9783319071725

    The two-volume set LNAI 8467 and LNAI 8468 constitutes the refereed proceedings of the 13th International Conference on Artificial Intelligence and Soft Computing, ICAISC 2014, held in Zakopane, Poland in June 2014. The 139 revised full papers prese…

  • Conceptual Structures: Inspiration and Application

    Conceptual Structures: Inspiration and Application

    Häftad - 2006 - Engelska - ISBN: 9783540358930

    This book constitutes the refereed proceedings of the 14th International Conference on Conceptual Structures, ICCS 2006, held in Aalborg, Denmark in July 2006. The volume presents 24 revised full papers, together with 6 invited papers. The papers ad…

  • Concept Lattices

    Concept Lattices

    Häftad - 2004 - Engelska - ISBN: 9783540210436

    This volume contains the Proceedings of ICFCA 2004, the 2nd International Conference on Formal Concept Analysis. The ICFCA conference series aims to be the premier forum for the publication of advances in applied lattice and order theory and in part…

  • Rough Sets

    Rough Sets

    Häftad - 2019 - Engelska - ISBN: 9783030228149

    This LNAI 11499 constitutes the proceedings of the International Joint Conference on Rough Sets, IJCRS 2019, held in Debrecen, Hungary, in June 2019.The 41 full papers were carefully reviewed and selected from 71 submissions. The IJCRS conferences a…

  • Engineering Self-Organising Systems

    Engineering Self-Organising Systems

    Häftad - 2004 - Engelska - ISBN: 9783540212010

    As information handling systems get more and more complex, it becomes increasingly difficult to manage them using traditional approaches based on centralized and pre-defined control mechanisms. Over recent years, there has been a significant increas…

  • From Animals to Animats 9

    From Animals to Animats 9

    Häftad - 2006 - Engelska - ISBN: 9783540386087

    This book constitutes the refereed proceedings of the 9th International Conference on Simulation of Adaptive Behavior, SAB 2006. The 35 revised full papers and 35 revised poster papers presented are organized in topical sections on the animat approa…

  • Algorithmic Learning Theory - ALT '92

    Algorithmic Learning Theory - ALT '92

    Häftad - 1993 - Engelska - ISBN: 9783540573692

    This volume contains the papers that were presented at the Third Workshop onAlgorithmic Learning Theory, held in Tokyo in October 1992. In addition to 3invited papers, the volume contains 19 papers accepted for presentation, selected from 29 submitt…

  • Hybrid Artificial Intelligent Systems

    Hybrid Artificial Intelligent Systems

    Häftad - 2021 - Engelska - ISBN: 9783030862701

    This book constitutes the refereed proceedings of the 16th International Conference on Hybrid Artificial Intelligent Systems, HAIS 2021, held in Bilbao, Spain, in September 2021.The 44 full and 11 short papers presented in this book were carefully r…

  • Cooperative Information Agents II. Learning, Mobility and Electronic Commerce for Information Discovery on the Internet

    Cooperative Information Agents II. Learning, Mobility and Electronic Commerce for Information Discovery on the Internet

    Häftad - 1998 - Engelska - ISBN: 9783540646761

    This book constitutes the refereed proceedings of the Second International Workshop on Cooperative Information Systems, CIA'98, held in cognition with Agents World in July 1998 in Paris. The book presents nine invited contributions together with 14…

  • Theorem Proving with Analytic Tableaux and Related Methods

    Theorem Proving with Analytic Tableaux and Related Methods

    Häftad - 1996 - Engelska - ISBN: 9783540612087

    This books presents the refereed proceedings of the Fifth International Workshop on Analytic Tableaux and Related Methods, TABLEAUX '96, held in Terrasini near Palermo, Italy, in May 1996. The 18 full revised papers included together with two invite…

  • Artificial General Intelligence

    Artificial General Intelligence

    Häftad - 2014 - Engelska - ISBN: 9783319092737

    This book constitutes the refereed proceedings of the 7th International Conference on Artificial General Intelligence, AGI 2014, held in Quebec City, QC, Canada, in August 2014. The 22 papers and 8 posters were carefully reviewed and selected from 6…

  • Symbolic and Quantitative Approaches to Reasoning with Uncertainty

    Symbolic and Quantitative Approaches to Reasoning with Uncertainty

    Häftad - 2017 - Engelska - ISBN: 9783319615806

    This book constitutes the refereed proceedings of the 14th European Conference on Symbolic and Quantitative Approaches to Reasoning with Uncertainty, ECSQARU 2017, held in Lugano, Switzerland, in July 2017. The 44 revised full papers presented toget…

  • Intelligent Computer Mathematics

    Intelligent Computer Mathematics

    Häftad - 2009 - Engelska - ISBN: 9783642026133

    As computers and communications technology advance, greater opportunities arise for intelligent mathematical computation. While computer algebra, au- mated deduction and mathematical publishing each have long and successful histories, we are now see…

  • Machine Learning and Knowledge Discovery in Databases

    Machine Learning and Knowledge Discovery in Databases

    Häftad - 2013 - Engelska - ISBN: 9783642409936

    This three-volume set LNAI 8188, 8189 and 8190 constitutes the refereed proceedings of the European Conference on Machine Learning and Knowledge Discovery in Databases, ECML PKDD 2013, held in Prague, Czech Republic, in September 2013. The 111 revis…

  • Advances in Artificial Intelligence - IBERAMIA 2018

    Advances in Artificial Intelligence - IBERAMIA 2018

    Häftad - 2018 - Engelska - ISBN: 9783030039271

    This book constitutes the refereed proceedings of the 16th Ibero-American Conference on Artificial Intelligence, IBERAMIA 2018, held in Trujillo, Peru,in November 2018. The 41 papers presented were carefully reviewed and selected from 92 submissions…

  • Formal Concept Analysis

    Formal Concept Analysis

    Häftad - 2017 - Engelska - ISBN: 9783319592701

    This book constitutes the proceedings of the 14th International Conference on Formal Concept Analysis, ICFCA 2017, held in Rennes, France, in June 2017. The 13 full papers presented in this volume were carefully reviewed and selected from 37 submiss…

  • Hybrid Neural Systems

    Hybrid Neural Systems

    Häftad - 2000 - Engelska - ISBN: 9783540673057

    Hybrid neural systems are computational systems which are based mainly on artificial neural networks and allow for symbolic interpretation or interaction with symbolic components. This book is derived from a workshop held during the NIPS'98 in Denve…

  • Web Intelligence: Research and Development

    Web Intelligence: Research and Development

    Häftad - 2001 - Engelska - ISBN: 9783540427308

    This volume contains the papers selected for presentation at the First Asia- Paci?c Conference on Web Intelligence (WI 2001) held in Maebashi TERRSA, Maebashi City,Japan,October 23-26,2001. It was sponsored by ACM SIGART and Maebashi Institute of Te…

  • Vagueness in Communication

    Vagueness in Communication

    Häftad - 2011 - Engelska - ISBN: 9783642184451

    This book constitutes the proceedings of the International Workshop on Vagueness in Communication, VIC 2009, held as part of ESSLLI 2009, in Bordeaux, France, July 20-24, 2009. The 11 contributions presented shed a light on new aspects in the area o…

  • Engineering Psychology and Cognitive Ergonomics

    Engineering Psychology and Cognitive Ergonomics

    Häftad - 2015 - Engelska - ISBN: 9783319203720

    This book constitutes the refereed proceedings of the 12th International Conference on Engineering Psychology and Cognitive Ergonomics, EPCE 2015, held as part of the 17th International Conference on Human-Computer Interaction, HCII 2015, held in Lo…

  • Logic, Language, and Computation

    Logic, Language, and Computation

    Häftad - 2009 - Engelska - ISBN: 9783642006647

    Edited in collaboration with FoLLI, the Association of Logic, Language and Information, this book constitutes the refereed proceedings of the 7th International Tbilisi Symposium on Logic, Language, and Computation, TbiLLC 2007, held in Tbilisi, Geor…

  • Automated Deduction - CADE-17

    Automated Deduction - CADE-17

    Häftad - 2000 - Engelska - ISBN: 9783540676645

    For the past 25 years the CADE conference has been the major forum for the presentation of new results in automated deduction. This volume contains the papers and system descriptions selected for the 17th International Conference on Automated Deduct…

  • Recent Trends and Future Technology in Applied Intelligence

    Recent Trends and Future Technology in Applied Intelligence

    Häftad - 2018 - Engelska - ISBN: 9783319920573

    This book constitutes the thoroughly refereed proceedings of the 31st International Conference on Industrial, Engineering and Other Applications of Applied Intelligent Systems, IEA/AIE 2018, held in Montreal, QC, Canada, in June 2018.The 53 full pap…

  • Artificial Intelligence in Education

    Artificial Intelligence in Education

    Häftad - 2021 - Engelska - ISBN: 9783030782917

    This two-volume set LNAI 12748 and 12749 constitutes the refereed proceedings of the 22nd International Conference on Artificial Intelligence in Education, AIED 2021, held in Utrecht, The Netherlands, in June 2021.*The 40 full papers presented toget…

  • Intelligent Computer Mathematics

    Intelligent Computer Mathematics

    Häftad - 2018 - Engelska - ISBN: 9783319968117

    ?This book constitutes the refereed proceedings of the 11th International Conference on Intelligent Computer Mathematics, CICM 2018, held in Hagenberg, Austria, in August 2018.  The 23 full papers presented were carefully reviewed and selected from…

  • Natural Language Processing and Chinese Computing

    Natural Language Processing and Chinese Computing

    Häftad - 2019 - Engelska - ISBN: 9783030322359

    This two-volume set of LNAI 11838 and LNAI 11839 constitutes the refereed proceedings of the 8th CCF Conference on Natural Language Processing and Chinese Computing, NLPCC 2019, held in Dunhuang, China, in October 2019. The 85 full papers and 56 sho…

  • Cooperative Multimodal Communication

    Cooperative Multimodal Communication

    Häftad - 2001 - Engelska - ISBN: 9783540428060

    The chapters in this book are revised, updated, and edited versions of 13 selected papers from the Second International Conference on Cooperative Multimodal Communication (CMC'98), held in Tilburg, The Netherlands, in 1998.This wasthesecondconferenc…

  • Representing Plans Under Uncertainty

    Representing Plans Under Uncertainty
    av Peter Haddawy

    Häftad - 1994 - Engelska - ISBN: 9783540576976

    This monograph integrates AI and decision-theoretic approaches to the representation of planning problems by developing a first-order logic of time, chance, and action for representing and reasoning about plans. The semantics of the logic incorporat…

  • Braverman Readings in Machine Learning. Key Ideas from Inception to Current State

    Braverman Readings in Machine Learning. Key Ideas from Inception to Current State

    Häftad - 2018 - Engelska - ISBN: 9783319994918

    This state-of-the-art survey is dedicated to the memory of Emmanuil Markovich Braverman (1931-1977), a pioneer in developing machine learning theory. The 12 revised full papers and 4 short papers included in this volume were presented at the confere…

  • Recent Advances in Constraints

    Recent Advances in Constraints

    Häftad - 2011 - Engelska - ISBN: 9783642194856

    This book constitutes the thoroughly refereed post-proceedings of the 14th Annual ERCIM International Workshop on Constraint Solving and Constraint Logic Programming, CSCLP 2009, held in Barcelona, Spain, in June 2009. The 9 revised full papers pres…

  • User Modeling 2003

    User Modeling 2003

    Häftad - 2003 - Engelska - ISBN: 9783540403814

    The refereed proceedings of the 9th International Conference on User Modeling, UM 2003, held in Johnstown, PA, USA in June 2003. The 20 revised full papers and 28 revised poster papers presented together with 12 abstracts were carefully reviewed and…

  • Agents and Artificial Intelligence

    Agents and Artificial Intelligence

    Häftad - 2018 - Engelska - ISBN: 9783030054526

    This book contains the revised and extended versions of selected papers from the 10th International Conference, ICAART 2018, held in Funchal, Madeira, Portugal, in January 2018. The 45 full papers together with 42 short papers and 26 Posters were ca…

  • Artificial Intelligence: Methodology, Systems, and Applications

    Artificial Intelligence: Methodology, Systems, and Applications

    Häftad - 2010 - Engelska - ISBN: 9783642154300

    The 14th International Conference on Artificial Intelligence: Methodology, Systems, Applications (AIMSA 2010) was held in Varna, Bulgaria, during September 8–10, 2010. The AIMSA conference series has provided a biennial forum for the presen- t…