Search Results

ENGLISH

New Trends In Intelligent Software Methodologies, Tools And Techniques - Proceedings Of The 23rd International Conference On New Trends In Intelligent Software Methodologies, Tools And Techniques (Somet_24)

~~180,20€~~ 162,18€ 10% OFF

 Applied intelligence, integrated with software, is an essential enabler for science and the new economy, creating new markets and new directions for a more reliable, flexible and robust society and empowering the exploration of our world in ever more depth. The available software, however, often falls short of expectations, with current methodologies, tools, and techniques still neither robust enough nor sufficiently reliable to adequately serve a constantly changing and evolving market. This proceedings presents 40 papers delivered at SoMeT 24, the 23rd edition of the International Conference on New Trends in Intelligent Software Methodology Tools, and Techniques, held on 24 and 25 September 2024 in Cancun, Mexico. The conference explored new trends and theories, illuminating the direction of developments by discussing issues ranging from research practices to techniques and methodologies and proposing and reporting on the solutions needed for global world business, and this book aims to capture the essence of a new state-of-the-art in software science and its supporting technologies, and to identify the challenges that such technologies will have to master. The 40 papers included here were carefully selected following a thorough review process on the basis of technical soundness, relevance, originality, significance, and clarity, whereby each paper was reviewed by three or four reviewers. The book brings together the work of scholars from the international research community, and will be of interest to all those working in the field of intelligent software methodology, tools, and techniques.
ENGLISH

New Trends In Intelligent Software Methodologies, Tools And Techniques - Proceedings Of The 22nd International Conference On New Trends In Intelligent Software Methodologies, Tools And Techniques (Somet_23)

148,40€ + 10% CARD

 Software is an essential enabler for science and the new economy, but current software methodologies, tools, and techniques are often still not sufficiently robust or reliable for the constantly changing and evolving market, and many promising approaches have proved to be no more than case-oriented methods that are not fully automated. This book presents the proceedings of SoMeT_23, the 22nd International Conference on New Trends in Intelligent Software Methodology, Tools, and Techniques, held from 20-22 September 2023 in Naples, Italy. The conference brings together researchers and practitioners to share original research and practical development experience in software science and related new technologies, and is an opportunity for the software-science community to take stock of where they are today and consider future directions. The 25 papers included here were carefully selected from the many high-quality submissions received after a rigorous review process, with each paper typically being reviewed by 3 or 4 reviewers. Topics covered range from research practices, techniques and methodologies to the solutions required by global business. SoMeT_23 focused in particular on intelligent software, the application of artificial intelligence techniques in software development, and tackling human interaction in the development process for better high-level interface, with an emphasis on human-centric software methodologies, end-user development techniques, and emotional reasoning for an optimum performance between design tool and user. Exploring trends, theories, and challenges in the integration of software and science for tomorrow’s global information society, the book captures a new state-of-the-art in software science and its supporting technology and will be of interest to all those working in the field.
ENGLISH

Compendium Of Neurosymbolic Artificial Intelligence

192,13€ + 10% CARD

 If only it were possible to develop automated and trainable neural systems that could justify their behavior in a way that could be interpreted by humans like a symbolic system. The field of Neurosymbolic AI aims to combine two disparate approaches to AI; symbolic reasoning and neural or connectionist approaches such as Deep Learning. The quest to unite these two types of AI has led to the development of many innovative techniques which extend the boundaries of both disciplines. This book, Compendium of Neurosymbolic Artificial Intelligence, presents 30 invited papers which explore various approaches to defining and developing a successful system to combine these two methods. Each strategy has clear advantages and disadvantages, with the aim of most being to find some useful middle ground between the rigid transparency of symbolic systems and the more flexible yet highly opaque neural applications. The papers are organized by theme, with the first four being overviews or surveys of the field. These are followed by papers covering neurosymbolic reasoning; neurosymbolic architectures; various aspects of Deep Learning; and finally two chapters on natural language processing. All papers were reviewed internally before publication. The book is intended to follow and extend the work of the previous book, Neuro-symbolic artificial intelligence: The state of the art (IOS Press; 2021) which laid out the breadth of the field at that time. Neurosymbolic AI is a young field which is still being actively defined and explored, and this book will be of interest to those working in AI research and development.
ENGLISH

Social Robots In Social Institutions - Proceedings Of Robophilosophy 2022

229,23€ + 10% CARD

 Social institutions emerge from social practices which coordinate activities by the explicit statement of rules, goals, and values. When artificial social actors are introduced into the physical and symbolic space of institutions, will this affect or transform institutional structures and practices, and how can social robotics as an interdisciplinary endeavor contribute to the ability of our institutions to perform their functions in society? This book presents the proceedings of Robophilosophy 2022, the 5th in the biennial Robophilosophy conference series, held in Helsinki, Finland, from 16 to 19 August 2022. The theme of this edition of the conference was Social Robots in Social Institutions, and it featured international multidisciplinary research from the humanities and social sciences concerning social robotics. The 63 papers, 41 workshop papers and 5 posters included in this book are divided into 4 sections: plenaries, sessions, workshops and posters, with the 41 papers in the ‘Sessions’ section grouped into 13 subdivisions including elderly care, healthcare, law, education and art, as well as ethics and religion. These papers explore the anticipated conceptual and practical changes which will come about from the introduction of social robotics into public and private institutions, such as public services, legal systems, social and healthcare services or educational institutions. Offering an exploration of the societal significance of social robots for the future of social institutions, the book will be of interest to both researchers in robotics and to those working in social institutions and enterprises.
ENGLISH

Exploiting Environment Configurability In Reinforcement Learning

128,53€ + 10% CARD

 In recent decades, Reinforcement Learning (RL) has emerged as an effective approach to address complex control tasks. In a Markov Decision Process (MDP), the framework typically used, the environment is assumed to be a fixed entity that cannot be altered externally. There are, however, several real-world scenarios in which the environment can be modified to a limited extent. This book, Exploiting Environment Configurability in Reinforcement Learning, aims to formalize and study diverse aspects of environment configuration. In a traditional MDP, the agent perceives the state of the environment and performs actions. As a consequence, the environment transitions to a new state and generates a reward signal. The goal of the agent consists of learning a policy, i.e., a prescription of actions that maximize the long-term reward. Although environment configuration arises quite often in real applications, the topic is very little explored in the literature. The contributions in the book are theoretical, algorithmic, and experimental and can be broadly subdivided into three parts. The first part introduces the novel formalism of Configurable Markov Decision Processes (Conf-MDPs) to model the configuration opportunities offered by the environment. The second part of the book focuses on the cooperative Conf-MDP setting and investigates the problem of finding an agent policy and an environment configuration that jointly optimize the long-term reward. The third part addresses two specific applications of the Conf-MDP framework: policy space identification and control frequency adaptation. The book will be of interest to all those using RL as part of their work.
ENGLISH

Advanced Tools And Methods For Treewidth-Based Problem Solving

136,48€ + 10% CARD

 This book, Advanced Tools and Methods for Treewidth-Based Problem Solving, contains selected results from the author’s PhD studies, which were carried out from 2015 to 2021. For his PhD thesis, Markus Hecher received the EurAI Dissertation Award 2021 and the GI Dissertation Award 2021, amongst others. The aim of the book is to present a new toolkit for using the structural parameter of treewidth to solve problems in knowledge representation and reasoning (KR) and artificial intelligence (AI), thereby establishing both theoretical upper and lower bounds, as well as methods to deal with treewidth efficiently in practice. The key foundations outlined in the book provide runtime lower bounds - under reasonable assumptions in computational complexity - for evaluating quantified Boolean formulas and logic programs which match the known upper bounds already published in 2004 and 2009. The general nature of the developed tools and techniques means that a wide applicability beyond the selected problems and formalisms tackled in the book is anticipated, and it is hoped that the book will serve as a starting point for future theoretical and practical investigations, which will no doubt establish further results and gain deeper insights.
ENGLISH

Deep Learning With Relational Logic Representations

108,65€ + 10% CARD

 Deep learning has been used with great success in a number of diverse applications, ranging from image processing to game playing, and the fast progress of this learning paradigm has even been seen as paving the way towards general artificial intelligence. However, the current deep learning models are still principally limited in many ways. This book, ‘Deep Learning with Relational Logic Representations’, addresses the limited expressiveness of the common tensor-based learning representation used in standard deep learning, by generalizing it to relational representations based in mathematical logic. This is the natural formalism for the relational data omnipresent in the interlinked structures of the Internet and relational databases, as well as for the background knowledge often present in the form of relational rules and constraints. These are impossible to properly exploit with standard neural networks, but the book introduces a new declarative deep relational learning framework called Lifted Relational Neural Networks, which generalizes the standard deep learning models into the relational setting by means of a ‘lifting’ paradigm, known from Statistical Relational Learning. The author explains how this approach allows for effective end-to-end deep learning with relational data and knowledge, introduces several enhancements and optimizations to the framework, and demonstrates its expressiveness with various novel deep relational learning concepts, including efficient generalizations of popular contemporary models, such as Graph Neural Networks. Demonstrating the framework across various learning scenarios and benchmarks, including computational efficiency, the book will be of interest to all those interested in the theory and practice of advancing representations of modern deep learning architectures.
ENGLISH

New Trends In Intelligent Software Methodologies, Tools And Techniques - Proceedings Of The 21st International Conference On New Trends In Intelligent Software Methodologies, Tools And Techniques (Somet_22)

156,35€ + 10% CARD

 The integration of applied intelligence with software has been an essential enabler for science and the new economy, creating new possibilities for a more reliable, flexible and robust society. But current software methodologies, tools, and techniques often fall short of expectations, and are not yet sufficiently robust or reliable for a constantly changing and evolving market. This book presents the proceedings of SoMeT_22, the 21st International Conference on New Trends in Intelligent Software Methodology Tools, and Techniques, held from 20 - 22 September 2022 in Kitakyushu, Japan. The SoMeT conference provides a platform for the exchange of ideas and experience in the field of software technology, with the emphasis on human-centric software methodologies, end-user development techniques, and emotional reasoning for optimal performance. The 58 papers presented here were each carefully reviewed by 3 or 4 referees for technical soundness, relevance, originality, significance and clarity, they were then revised before being selected by the international reviewing committee. The papers are arranged in 9 chapters: software systems with intelligent design; software systems security and techniques; formal techniques for system software and quality assessment; applied intelligence in software; intelligent decision support systems; cyber-physical systems; knowledge science and intelligent computing; ontology in data and software; and machine learning in systems software. The book assembles the work of scholars from the international research community to capture the essence of the new state-of-the-art in software science and its supporting technology, and will be of interest to all those working in the field.
ENGLISH

Learning And Reasoning In Hybrid Structured Spaces

100,70€ + 10% CARD

 Artificial intelligence often has to deal with uncertain scenarios, such as a partially observed environment or noisy observations. Traditional probabilistic models, while being very principled approaches in these contexts, are incapable of dealing with both algebraic and logical constraints. Existing hybrid continuous/discrete models are typically limited in expressivity, or do not offer any guarantee on the approximation errors. This book, Learning and Reasoning in Hybrid Structured Spaces, discusses a recent and general formalism called Weighted Model Integration (WMI), which enables probabilistic modeling and inference in hybrid structured domains. WMI-based inference algorithms differ with respect to most alternatives in that probabilities are computed inside a structured support involving both logical and algebraic relationships between variables. While the research in this area is at an early stage, we are witnessing an increasing interest in the study and development of scalable inference procedures and effective learning algorithms in this setting. This book details some of the most impactful contributions in context of WMI-based inference in the last 5 years. Moreover, by providing a gentle introduction to the main concepts related to WMI, the book can be useful for both theoretical researchers and practitioners alike.
ENGLISH

Hybrid Offline/Online Methods For Optimization Under Uncertainty

100,70€ + 10% CARD

 Balancing the solution-quality/time trade-off and optimizing problems which feature offline and online phases can deliver significant improvements in efficiency and budget control. Offline/online integration yields benefits by achieving high quality solutions while reducing online computation time. This book considers multi-stage optimization problems under uncertainty and proposes various methods that have broad applicability. Due to the complexity of the task, the most popular approaches depend on the temporal granularity of the decisions to be made and are, in general, sampling-based methods and heuristics. Long-term strategic decisions that may have a major impact are typically solved using these more accurate, but expensive, sampling-based approaches. Short-term operational decisions often need to be made over multiple steps within a short time frame and are commonly addressed via polynomial-time heuristics, with the more advanced sampling-based methods only being applicable if their computational cost can be carefully managed. Despite being strongly interconnected, these 2 phases are typically solved in isolation. In the first part of the book, general methods based on a tighter integration between the two phases are proposed and their applicability explored, and these may lead to significant improvements. The second part of the book focuses on how to manage the cost/quality trade-off of online stochastic anticipatory algorithms, taking advantage of some offline information. All the methods proposed here provide multiple options to balance the quality/time trade-off in optimization problems that involve offline and online phases, and are suitable for a variety of practical application scenarios.
ENGLISH

Abstraction In Ontology-Based Data Management

120,58€ + 10% CARD

 Effectively documenting data services is a crucial issue in any organization, not only for governing data but also for interoperation purposes. Indeed, in order to fully realize the promises and benefits of a data-driven society, data-driven approaches need to be resilient, transparent, and fully accountable. This book, Abstraction in Ontology-based Data Management, proposes a new approach to automatically associating formal semantic description to data services, thus bringing them into compliance with the FAIR (Findable, Accessible, Interoperable, and Reusable) guiding principles. The approach is founded on the Ontology-based Data Management (OBDM) paradigm, in which a domain ontology is used to provide a high-level semantic layer mapped to the source schema of an organization containing data, thus abstracting from the technical details of the data layer implementation. A formal framework for a novel reasoning task in OBDM, called Abstraction, is introduced in which a data service is assumed to be expressed as a query over the source schema, and the aim is to derive a query over the ontology that semantically describes the given data service best with respect to the underlying OBDM specification. In a general scenario that uses the most popular languages in the OBDM literature, an in-depth complexity analysis of two computational problems associated with the framework is carried out. Also investigated is the problem of expressing abstractions in a non-monotonic query language as well as the impact of adding inequalities. Regarding the latter, the problem of answering queries with inequalities over lightweight ontologies is first studied. Lastly, the author illustrates how the achieved results contribute to new results in the Semantic Web context and in the Relational Database theory. The book will be of interest to all those engaged in Artificial Intelligence and Data Management.
ENGLISH

Neuro-Symbolic Artificial Intelligence: The State Of The Art

131,18€ + 10% CARD

 Neuro-symbolic AI is an emerging subfield of Artificial Intelligence that brings together two hitherto distinct approaches. "Neuro" refers to the artificial neural networks prominent in machine learning, "symbolic" refers to algorithmic processing on the level of meaningful symbols, prominent in knowledge representation. In the past, these two fields of AI have been largely separate, with very little crossover, but the so-called "third wave" of AI is now bringing them together. This book, Neuro-Symbolic Artificial Intelligence: The State of the Art, provides an overview of this development in AI. The two approaches differ significantly in terms of their strengths and weaknesses and, from a cognitive-science perspective, there is a question as to how a neural system can perform symbol manipulation, and how the representational differences between these two approaches can be bridged. The book presents 17 overview papers, all by authors who have made significant contributions in the past few years and starting with a historic overview first seen in 2016. With just seven months elapsed from invitation to authors to final copy, the book is as up-to-date as a published overview of this subject can be. Based on the editors’ own desire to understand the current state of the art, this book reflects the breadth and depth of the latest developments in neuro-symbolic AI, and will be of interest to students, researchers, and all those working in the field of Artificial Intelligence.
ENGLISH

New Trends In Intelligent Software Methodologies, Tools And Techniques - Proceedings Of The 20th International Conference On New Trends In Intelligent Software Methodologies, Tools And Techniques (Somet_21)

156,35€ + 10% CARD

 Proceedings of the 20th International Conference on New Trends in Intelligent Software Methodologie.
ENGLISH

Handbook Of Satisfiability - Second Edition

222,60€ + 10% CARD

 Second Edition.
ENGLISH

Culturally Sustainable Social Robotics - Proceedings Of Robophilosophy 2020

156,35€ + 10% CARD

 The subject of social robotics has enormous projected economic significance. However, social robots not only present us with novel opportunities but also with novel risks that go far beyond safety issues. It is a potentially highly disruptive technology which could negatively affect the most valuable parts of the fabric of human social interactions in irreparable ways. Since engineering educations do not yet offer the necessary competences to analyze, holistically assess, and constructively mitigate these risks, new alliances must be established between engineering and SSH disciplines, with special emphasis on the humanities (i.e. disciplines specializing in the analysis of socio-cultural interactions and human experience). The Robophilosophy Conference Series was established in 2014 with the purpose of creating a new forum and catalyzing the research discussion in this important area of applied humanities research, with focus on robophilosophy. Robophilosophy conferences have been the world’s largest venues for humanities research in and on social robotics. The book at hand presents the proceedings of Robophilosophy Conference 2020: Culturally Sustainable Social Robotics, the fourth event in the international, biennial Robophilosophy Conference Series, which brought together close to 400 participants from 29 countries. The speakers of the conference, whose contributions are collected in this volume, were invited to offer concrete proposals for how the Humanities can help to shape a future where social robotics is guided by the goals of enhancing socio-cultural values rather than by utility alone. The book is divided into 3 parts; Abstracts of Plenaries, which contains 6 plenary sessions; Session Papers, with 44 papers under 8 thematic categories; and Workshops, containing 25 items on 5 selected topics. Providing concrete proposals from philosophers and other SSH researchers for new models and methods, this book will be of interest to all those involved in developing artificial ‘social’ agents in a culturally sustainable way that is also - a fortiori - ethically responsible.
ENGLISH

Knowledge Innovation Through Intelligent Software Methodologies, Tools And Techniques - Proceedings Of The 19th International Conference On New Trends In Intelligent Software Methodologies, Tools And Techniques (Somet_20)

147,08€ + 10% CARD

 Proceedings of the 19th International Conference on New Trends in Intelligent Software Methodologie.
ENGLISH

Information Technology And Intelligent Transportation Systems

109,98€ + 10% CARD

 Intelligent transport systems, from basic management systems to more application-oriented systems, vary in the technologies they apply. Information technologies, including wireless communication, are important in intelligent transportation systems, as are computational technologies: floating car data/floating cellular data, sensing technologies, and video vehicle detection. Theoretical and application technologies, such as emergency vehicle notification systems, automatic road enforcement and collision avoidance systems, as well as some cooperative systems are also used in intelligent transportation systems. This book presents papers selected from the 128 submissions in the field of information technology and intelligent transportation systems received from 5 countries. In December 2019 Chang’an University organized a round-table meeting to discuss and score the technical merits of each selected paper, of which 23 are included in this book. Providing a current overview of the subject, the book will be of interest to all those working in the field of intelligent transportation systems and traffic management.
ENGLISH

Information Modelling And Knowledge Bases Xxxi

161,65€ + 10% CARD

 Information modeling and knowledge bases have become an important area of academic and industry research in the 21st century, addressing complexities of modeling that reach beyond the traditional borders of information systems and academic computer science research. This book presents 32 reviewed, selected and updated papers delivered at the 29th International Conference on Information Modeling and Knowledge Bases (EJC2019), held in Lappeenranta, Finland, from 3 to 7 June 2019. In addition, two papers based on the keynote presentations and one paper edited from the discussion of the panel session are included in the book. The conference provided a forum to exchange scientific results and experience, and attracted academics and practitioners working with information and knowledge. The papers cover a wide range of topics, ranging from knowledge discovery through conceptual and linguistic modeling, knowledge and information modeling and discovery, cross-cultural communication and social computing, environmental modeling and engineering, and multimedia data modeling and systems to complex scientific problem-solving. The conference presentation sessions: Learning and Linguistics; Systems and Processes; Data and Knowledge Representation; Models and Interface; Formalizations and Reasoning; Models and Modeling; Machine Learning; Models and Programming; Environment and Predictions; and Emotion Modeling and Social Networks reflect the main themes of the conference. The book also includes 2 extended publications of keynote addresses: ‘Philosophical Foundations of Conceptual Modeling’ and ´Sustainable Solid Waste Management using Life Cycle Modeling for Environmental Impact Assessment’, as well as additional material covering the discussion and findings of the panel session. Providing an overview of current research in the field, the book will be of interest to all those working with information systems, information modeling and knowledge bases.
ENGLISH

Fuzzy Systems And Data Mining V - Proceedings Of Fsdm 2019

185,50€ + 10% CARD

 Proceedings of FSDM 2019. The Fuzzy Systems and Data Mining FSDM conference is an annual event encompassing four main themes fuzzy theory, algorithms and systems, which includes topics like stability, foundations and control fuzzy application, which covers different kinds of processing as well as hardware and architectures for big data and time series and has wide applicability the interdisciplinary field of fuzzy logic and data mining, encompassing applications in electrical, industrial, chemical and engineering fields as well as management and environmental issues and data mining, outlining new approaches to big data, massive
ENGLISH

Artificial Intelligence Research And Development - Proceedings Of The 22nd International Conference Of The Catalan Association For Artificial Intelligence

131,18€ + 10% CARD

 Artificial intelligence has now become an indispensible tool at the centre of problem-solving in a huge range of digital technologies, and remains one of the most vibrant topics for discussion and research. This book presents a compilation of the articles presented at the 22nd (2019) edition of the International Conference of the Catalan Association for Artificial Intelligence (CCIA), held in Mallorca, Spain, from 23 - 25 October 2019. This annual conference is an international event that serves as a meeting point for researchers into artificial intelligence based in the area of the Catalan speaking territories and for researchers from around the world. The book is divided into 8 sections. The first contains summaries of the 3 invited talks presented at the conference: ‘New methods for fusing information and the computational brain’, by Javier Fernandez; ‘From correlation to imagination: Deep generative models for artificial intelligence’ by Joan Serrà; and ‘Explainable AI’ by Anna Monreale. The remaining 7 sections contain 47 papers covering ethics and E-governance; machine learning; constraints and SAT, optimization and fuzzy; data science, recommender systems and decision support systems; agent-based and multi-agent systems; computer vision; and sentiment analysis and text analysis. The book provides an overview of the latest developments in the field, and as such will be of interest to all those whose work involves the study and application of artificial intelligence.
ENGLISH

Advancing Technology Industrialization Through Intelligent Software Methodologies, Tools And Techniques - Proceedings Of The 18th International Conference On New Trends In Intelligent Software Methodologies, Tools And Techniques (Somet_19)

156,35€ + 10% CARD

 Software has become ever more crucial as an enabler, from daily routines to important national decisions. But from time to time, as society adapts to frequent and rapid changes in technology, software development fails to come up to expectations due to issues with efficiency, reliability and security, and with the robustness of methodologies, tools and techniques not keeping pace with the rapidly evolving market. This book presents the proceedings of SoMeT_19, the 18th International Conference on New Trends in Intelligent Software Methodologies, Tools and Techniques, held in Kuching, Malaysia, from 23-25 September 2019. The book explores new trends and theories that highlight the direction and development of software methodologies, tools and techniques, and aims to capture the essence of a new state of the art in software science and its supporting technology, and to identify the challenges that such a technology will have to master. The book also investigates other comparable theories and practices in software science, including emerging technologies, from their computational foundations in terms of models, methodologies, and tools. The 56 papers included here are divided into 5 chapters: Intelligent software systems design and techniques in software engineering; Machine learning techniques for software systems; Requirements engineering, software design and development techniques; Software methodologies, tools and techniques for industry; and Knowledge science and intelligent computing. This comprehensive overview of information systems and research projects will be invaluable to all those whose work involves the assessment and solution of real-world software problems.
ENGLISH

New Trends In Intelligent Software Methodologies, Tools And Techniques - Proceedings Of The 20th International Conference On New Trends In Intelligent Software Methodologies, Tools And Techniques (Somet_21)

187,91€ + 10% CARD

free shipping

 Proceedings of the 20th International Conference on New Trends in Intelligent Software Methodologie.
Envisioning Robots In Society Â€“ Power, Politics, And Public Space - Proceedings Of Robophilosophy 2018 / Transor 2018

156,82€ + 10% CARD

free shipping

 Proceedings of Robophilosophy 2018 TRANSOR 2018. Robots are predicted to play a role in many aspects of our lives in the future, affecting work, personal relationships, education, business, law, medicine and the arts. As they become increasingly intelligent, autonomous, and communicative, they will be able to function in ever more complex physical and social surroundings, transforming the practices, organizations, and societies in which they are embedded.This book presents the proceedings of the Robophilosophy 2018 conference, held in Vienna, Austria, from 14 to 7 February 2018. The third event in the Robophilosophy Conference Series,
Social Robots In Social Institutions - Proceedings Of Robophilosophy 2022

275,78€ + 10% CARD

free shipping
Loading results...

View more results