Nettverksmaskiner

Filter
  • Verification, Induction, Termination Analysis

    heftet, 2010, Engelsk, ISBN 9783642171710

    th This Festschrift is dedicated to Christoph Walther on the occasion of his 60 th birthday on August 9 , 2010. It consists of articles by some of his colleagues and former

  • Trust in Agent Societies

    heftet, 2008, Engelsk, ISBN 9783540928027

    This special issue is the result of the selection and re-submission of advanced and revised versions of papers from the workshop on "Trust in Agent Societies" (11th edition), held

  • Towards Integrative Machine Learning and Knowledge Extraction

    heftet, 2017, Engelsk, ISBN 9783319697741

    The BIRS Workshop “Advances in Interactive Knowledge Discovery and Data Mining in Complex and Big Data Sets” (15w2181), held in July 2015 in Banff, Canada, was dedicated to

  • Towards Autonomous Robotic Systems

    heftet, 2018, Engelsk, ISBN 9783319967271

    This book constitutes the refereed proceedings of the 19th Annual Conference on Towards Autonomous Robotics, TAROS 2018, held in Bristol, UK, in July 2018.The 38 full papers

  • Theory and Applications of Formal Argumentation

    heftet, 2012, Engelsk, ISBN 9783642291838

    This book constitutes the thoroughly refereed proceedings of the First International Workshop on the Theory and Applications of Formal Argumentation, TAFA 2011, held in Barcelona,

  • Symbolic and Quantitative Approaches to Reasoning with Uncertainty

    heftet, 2015, Engelsk, ISBN 9783319208060

    This book constitutes the refereed proceedings of the 13th European Conference on Symbolic and Quantitative Approaches to Reasoning with Uncertainty, ECSQARU 2015, held in

  • Symbolic and Quantitative Approaches to Reasoning with Uncertainty

    heftet, 2011, Engelsk, ISBN 9783642221514

    This book constitutes the refereed proceedings of the 11th European Conference on Symbolic and Quantitative Approaches to Reasoning with Uncertainty, ECSQARU 2011, held in Belfast,

  • Speech and Computer

    heftet, 2018, Engelsk, ISBN 9783319995786

    This book constitutes the proceedings of the 20th International Conference on Speech and Computer, SPECOM 2018, held in Leipzig, Germany, in September 2018.The 79 papers presented

  • Social Robotics

    heftet, 2023, Engelsk, ISBN 9783031246661

    The two-volume set LNAI 13817 and 13818 constitutes the refereed proceedings of the 14th International Conference on Social Robotics, ICSR 2022, which took place in Florence,

  • Social Robotics

    heftet, 2023, Engelsk, ISBN 9789819987146

    The two-volume set LNAI 14453 and 14454 constitutes the refereed post-conference proceedings of the 15th International Conference on Social Robotics, ICSR 2023, held in Doha,