KI 2024: Advances in Artificial Intelligence

KI 2024: Advances in Artificial Intelligence PDF Author: Andreas Hotho
Publisher: Springer Nature
ISBN: 3031708938
Category :
Languages : en
Pages : 374

Get Book Here

Book Description

KI 2024: Advances in Artificial Intelligence

KI 2024: Advances in Artificial Intelligence PDF Author: Andreas Hotho
Publisher: Springer Nature
ISBN: 3031708938
Category :
Languages : en
Pages : 374

Get Book Here

Book Description


Model Checking and Artificial Intelligence

Model Checking and Artificial Intelligence PDF Author: Stefan Edelkamp
Publisher: Springer Science & Business Media
ISBN: 3540741275
Category : Computers
Languages : en
Pages : 193

Get Book Here

Book Description
The refereed post-proceedings of the 4th Workshop on Model Checking and Artificial Intelligence are presented in this volume. Eight full workshop papers are presented along with three post-proceedings papers. Papers are organized into topical sections covering planning and model checking, heuristics for real-time model checking, verification of multi-agent systems, and logics for model checking and artificial intelligence.

Search Based Software Engineering

Search Based Software Engineering PDF Author: Myra B. Cohen
Publisher: Springer Science & Business Media
ISBN: 3642237150
Category : Computers
Languages : en
Pages : 292

Get Book Here

Book Description
This book constitutes the refereed proceedings of the Third International Symposium on Search Based Software Engineering, SSBSE 2011 held in Szeged, Hungary in collocation with ESEC/FSE 2011. The 18 revised full papers presented together with two invited contributions and abstracts of eight poster presentations were carefully reviewed and selected from 43 submissions. The papers are organized in topical sections on foundations of SSBSE; concurrency and models; requirements and planning; software testing; and comprehension, transformation and scalability.

ECAI 2023

ECAI 2023 PDF Author: K. Gal
Publisher: IOS Press
ISBN: 164368437X
Category : Computers
Languages : en
Pages : 3328

Get Book Here

Book Description
Artificial intelligence, or AI, now affects the day-to-day life of almost everyone on the planet, and continues to be a perennial hot topic in the news. This book presents the proceedings of ECAI 2023, the 26th European Conference on Artificial Intelligence, and of PAIS 2023, the 12th Conference on Prestigious Applications of Intelligent Systems, held from 30 September to 4 October 2023 and on 3 October 2023 respectively in Kraków, Poland. Since 1974, ECAI has been the premier venue for presenting AI research in Europe, and this annual conference has become the place for researchers and practitioners of AI to discuss the latest trends and challenges in all subfields of AI, and to demonstrate innovative applications and uses of advanced AI technology. ECAI 2023 received 1896 submissions – a record number – of which 1691 were retained for review, ultimately resulting in an acceptance rate of 23%. The 390 papers included here, cover topics including machine learning, natural language processing, multi agent systems, and vision and knowledge representation and reasoning. PAIS 2023 received 17 submissions, of which 10 were accepted after a rigorous review process. Those 10 papers cover topics ranging from fostering better working environments, behavior modeling and citizen science to large language models and neuro-symbolic applications, and are also included here. Presenting a comprehensive overview of current research and developments in AI, the book will be of interest to all those working in the field.

Handbook of Research on Fireworks Algorithms and Swarm Intelligence

Handbook of Research on Fireworks Algorithms and Swarm Intelligence PDF Author: Tan, Ying
Publisher: IGI Global
ISBN: 1799816605
Category : Computers
Languages : en
Pages : 471

Get Book Here

Book Description
In recent years, swarm intelligence has become a popular computational approach among researchers working on optimization problems throughout the globe. Several algorithms inside swarm intelligence have been implemented due to their application to real-world issues and other advantages. A specific procedure, Fireworks Algorithm, is an emerging method that studies the explosion process of fireworks within local areas. Applications of this developing program are undiscovered, and research is necessary for scientists to fully understand the workings of this innovative system. The Handbook of Research on Fireworks Algorithms and Swarm Intelligence is a pivotal reference source that provides vital research on theory analysis, improvements, and applications of fireworks algorithm. While highlighting topics such as convergence rate, parameter applications, and global optimization analysis, this publication explores up-to-date progress on the specific techniques of this algorithm. This book is ideally designed for researchers, data scientists, mathematicians, engineers, software developers, postgraduates, and academicians seeking coverage on this evolutionary computation method.

AIxIA 2021 – Advances in Artificial Intelligence

AIxIA 2021 – Advances in Artificial Intelligence PDF Author: Stefania Bandini
Publisher: Springer Nature
ISBN: 3031084217
Category : Computers
Languages : en
Pages : 720

Get Book Here

Book Description
​This book constitutes revised selected papers from the refereed proceedings of the 20th International Conference of the Italian Association for Artificial Intelligence, AIxIA 2021, which was held virtually in December 2021. The 36 full papers included in this book were carefully reviewed and selected from 58 submissions; the volume also contains 12 extended and revised workshop contributions. The papers were organized in topical sections as follows: Planning and strategies; constraints, argumentation, and logic programming; knowledge representation, reasoning, and learning; natural language processing; AI for content and social media analysis; signal processing: images, videos and speech; machine learning for argumentation, explanation, and exploration; machine learning and applications; and AI applications.

Social Modeling for Requirements Engineering

Social Modeling for Requirements Engineering PDF Author: Eric S. K. Yu
Publisher: MIT Press
ISBN: 0262240556
Category : Computers
Languages : en
Pages : 747

Get Book Here

Book Description
This book describes a modeling approach (called the i* framework) that conceives of software-based information systems as being situated in environments in which social actors relate to each other in terms of goals to be achieved, tasks to be performed, and resources to be furnished.

Legal Theory, Sources of Law and the Semantic Web

Legal Theory, Sources of Law and the Semantic Web PDF Author: A. Boer
Publisher: IOS Press
ISBN: 1607504278
Category : Computers
Languages : en
Pages : 324

Get Book Here

Book Description
Legal Theory, Sources of Law and the Semantic Web is an attempt to construct an integrated conceptual framework for the application-neutral and problem-neutral representation of sources of law using Semantic Web technology and concepts, and some technically straightforward extensions to Semantic Web technology based on established practices found in fielded applications. To construct this framework, the author disentangled some problems that are often mixed up in legal theory and – in extension – legal knowledge representation. The purpose of this framework is to provide a theoretical background for the creation of reusable and maintainable knowledge components representing knowledge of sources of law on the Semantic Web. These components should form a basis for the development for computer applications supporting straightforward, routine decision making problems using traditional methods. This book aims to be a work of ontology: an account of relevant aspects of the knowledge domain of law from the perspective of a legal knowledge engineer interested in sources of law. One cannot however say that the result of this work is an ontology: this book presents a mix of design principles, design patterns for knowledge representation in OWL DL and ontology fragments.

AI*IA 2001: Advances in Artificial Intelligence

AI*IA 2001: Advances in Artificial Intelligence PDF Author: Associazione italiana per l'intelligenza artificiale. Congress
Publisher: Springer Science & Business Media
ISBN: 3540426019
Category : Computers
Languages : en
Pages : 408

Get Book Here

Book Description
This book constitutes the refereed proceedings of the scientific track of the 7th Congress of the Italian Association for Artificial Intelligence, AI*IA 2001, held in Bari, Italy, in September 2001. The 25 revised long papers and 16 revised short papers were carefully reviewed and selected for inclusion in the volume. The papers are organized in topical sections on machine learning; automated reasoning; knowledge representation; multi-agent systems; natural language processing; perception, vision, and robotics; and planning and scheduling.

Modern Business Process Automation

Modern Business Process Automation PDF Author: Arthur H. M. ter Hofstede
Publisher: Springer Science & Business Media
ISBN: 3642031218
Category : Computers
Languages : en
Pages : 664

Get Book Here

Book Description
The ?eld of Business Process Management (BPM) is marred by a seemingly e- less sequence of (proposed) industry standards. Contrary to other ?elds (e.g., civil or electronic engineering), these standards are not the result of a widely supported consolidationofwell-understoodandwell-establishedconceptsandpractices.Inthe BPM domain, it is frequently the case that BPM vendors opportunistically become involved in the creation of proposed standards to exert or maintain their in?uence and interests in the ?eld. Despite the initial fervor associated with such standardi- tion activities, it is no less frequent that vendors either choose to drop their support for standards that they earlier championed on an opportunistic basis or elect only to partially support them in their commercial offerings. Moreover, the results of the standardization processes themselves are a concern. BPM standards tend to deal with complex concepts, yet they are never properly de?ned and all-too-often not informed by established research. The result is a plethoraof languagesand tools, with no consensuson conceptsand their implem- tation. They also fail to provide clear direction in the way in which BPM standards should evolve. One can also observe a dichotomy between the “business” side of BPM and its “technical” side. While it is clear that the application of BPM will fail if not placed in a proper business context, it is equally clear that its application will go nowhere if it remains merely a motivational exercise with schemas of business processes hanging on the wall gathering dust.