Mathematical theory of computation

The area of autonomous agents and multi-agent systems (MAS) has grown into a promising technology offering sensible alternatives for the design of distributed, intelligent systems.

Starting with simple examples showing the relevance of cutting and pasting logics, the monograph develops a mathematical theory of combining and decomposing logics, ranging from propositional and first-order based logics to higher-order based logics as well as to non-truth functional logics.

This textbook gives students a comprehensive introduction to formal methods and their application in software and hardware specification and verification.

One of the major concerns of theoretical computer science is the classifi- cation of problems in terms of how hard they are.

This book constitutes the proceedings of the 14th International Conference on Software Engineering and Formal Methods, SEFM 2016, held as part of STAF 2016, in Vienna, Austria, in July 2016.

This volume contains the refereed proceedings of the 11th International Conference on Logic Programming and Nonmonotonic Reasoning, LPNMR 2011, held in May 2011 in Vancouver, Canada.

This 2-volume set constitutes the refereed proceedings of 1st International Conference on Robotics and Rehabilitation Intelligence, ICRRI 2020, held in Fushun, China, in September 2020.

The Workshop on Self-sustaining Systems (S3) is a forum for the discussion of topics relating to computer systems and languages that are able to bootstrap, implement, modify, and maintain themselves.

This book constitutes the refereed proceedings of the 21st Ada-Europe International Conference on Reliable Software Technologies, Ada-Europe 2016, held in Pisa, Italy, in June 2016.

This two-volume set of LNAI 12340 and LNAI 12341 constitutes the refereed proceedings of the 9th CCF Conference on Natural Language Processing and Chinese Computing, NLPCC 2020, held in Zhengzhou, China, in October 2020.

This book constitutes the proceedings of the 25th International Workshop on Formal Methods for Industrial Critical Systems, FMICS 2020, which was held during September 2-3, 2020.

This 2-volume set constitutes the refereed proceedings of 1st International Conference on Robotics and Rehabilitation Intelligence, ICRRI 2020, held in Fushun, China, in September 2020.

This book constitutes the refereed post-proceedings of the First International Conference and Second International Conference on Deep Learning Theory and Applications, DeLTA 2020 and DeLTA 2021, was held virtually due to the COVID-19 crisis on July 8-10, 2020 and July 7-9, 2021.

This book constitutes the proceedings of the 35th International Conference on Advanced Information Systems Engineering, CAiSE 2023, which was held in Zaragoza, Spain, during June 12-16, 2023.

This book constitutes the refereed proceedings of the 15th Annual International Conference on Combinatorial Optimization and Applications, COCOA 2021, which took place in Tianjin, China, during December 17-19, 2021.

The volume LNCS 7269 constitutes the refereed proceedings of the International Symposium on Swarm Intelligence and Differential Evolution, SIDE 2012, held in Zakopane, Poland, in April/May 2012 in conjunction with the 11th International Conference on Artificial Intelligence and Soft Computing, ICAISC 2012 (proceedings published as two-volume set LNAI 7267 and 7268).

Das Buch bietet einen umfassenden Überblick über das Informationsmanagement.

The book contains a completely new presentation of classical results in the field of Lambda Calculus, together with new results.

Familiarize yourself with Octave using this concise, practical tutorial that is focused on writing code to learn concepts.

The aim of static analysis is to develop principles, techniques and tools for validatingpropertiesofprograms,fordesigningsemantics-basedtransformations of programs and for obtaining high-performance implementations of high-level programming languages.

DISC, the International Symposium on DIStributed Computing, is an annual forum for research presentations on all facets of distributed computing.

This book constitutes the refereed post-proceedings of the Joint International Semantic Technology Conference, JIST 2011, held in Hangzhou, China, in December 2011.

This book integrates the foundations of quantum computing with a hands-on coding approach to this emerging field; it is the first to bring these elements together in an updated manner.

This book constitutes the proceedings of the 24th International Conference on Verification, Model Checking, and Abstract Interpretation, VMCAI 2023, which took place in Boston, USA, in January 2023.

This book constitutes the proceedings of the 10th International Conference on Artificial General Intelligence, AGI 2017, held in Melbourne, VIC, Australia, in August 2017.

Dieses Lehrbuch ist eine moderne Einführung in die Informatik für das Grundstudium an Universitäten und Fachhochschulen.

These two volumes constitute the proceedings of the 10th International Symposium on Integrated Uncertainty in Knowledge Modelling and Decision Making, IUKM 2023, held in Kanazawa, Japan, during November 2-4, 2023.

This book constitutes the refereed proceedings of the 98th International Symposium on Integrated Uncertainty in Knowledge Modelling and Decision Making, IUKM 2021, held in Ishikawa, Japan, in March 2022.

This book constitutes the refereed proceedings of the 18th China Conference onMachine Translation, CCMT 2022, held in Lhasa, China, during August 6-10, 2022.

This book constitutes the refereed proceedings of the 5th Computer Games Workshop, CGW 2016, and the 5th Workshop on General Intelligence in Game-Playing Agents, GIGA 2016, held in conjunction with the 25th International Conference on Artificial Intelligence, IJCAI 2016, in New York, USA, in July 2016.

Action planning has always played a central role in Artificial Intelligence.

This book constitutes the refereed proceedings of the 13th International Tbilisi Symposium on Logic, Language and Computation, TbiLLC 2019, held in Batumi, Georgia, in September 2019.

In this popular text for an Numerical Analysis course, the authors introduce several major methods of solving various partial differential equations (PDEs) including elliptic, parabolic, and hyperbolic equations.

This book constitutes revised selected papers from the refereed proceedings of the 15th International Workshop on Rewriting Logic and Its Applications, WRLA 2024, held in Luxembourg City, Luxembourg, during April 6-7, 2024.

Autonomous agents and multi-agent systems have grown into a promising technology offering a credible alternative for the design of intelligent and cooperative systems.

This book provides a comprehensive examination of preconditioners for boundary element discretisations of first-kind integral equations.

This book constitutes revised selected papers from the 11th International Workshop on Engineering Multi-Agent Systems, EMAS 2023, which was held in London, UK, during May 29-30, 2023.

Get hands-on with the browser-based JavaScript library for training and deploying machine learning models effectivelyKey FeaturesBuild, train and run machine learning models in the browser using TensorFlow.

After a short chapter on basic aspects of software engineering and its realization in Go, this book introduces to nonsequential and distributed programming with Go.

This book constitutes the proceedings of the 6th International Conference on Algorithms and Discrete Applied Mathematics, CALDAM 2020, held in Hyderabad, India, in February 2020.

This book constitutes the refereed proceedings of the 32nd International Symposium on Logic-Based Synthesis and Transformation, LOPSTR 2022, which was held during September 21-23, 2022.

This book constitutes revised selected papers from the 6th Workshop on Computer Games, CGW 2017, held in conjunction with the 26th International Conference on Artificial Intelligence, IJCAI 2017, in Melbourne, Australia, in August 2017.

Systems of polynomial equations arise throughout mathematics, science, and engineering.

This book constitutes the proceedings of the 16th International Conference on Advanced Data Mining and Applications, ADMA 2020, held in Foshan, China in November 2020.

These transactions publish research in computer-based methods of computational collective intelligence (CCI) and their applications in a wide range of fields such as the semantic web, social networks, and multi-agent systems.

This book constitutes the proceedings of the International Workshop on Computational Diffusion MRI, CDMRI 2022, which was held 22 September 2022, in conjunction with MICCAI 2022.