Reasoning Action And Interaction In Ai Theories And Systems

The present book is a festschrift in honor of Luigia Carlucci Aiello. The 18 articles included are written by former students, friends, and international colleagues, who have cooperated with Luigia Carlucci Aiello, scientifically or in AI boards or committees. The contributions by reputed researchers span a wide range of AI topics and reflect the breadth and depth of Aiello's own work.

This book contains the proceedings of the 26th International Conference on Automated Reasoning with Analytics Tableaux and Related Methods, TABLEAUX 2017, held in Brasília, Bazil, in September 2017. The 19 contributed papers presented in this volume were carefully reviewed and selected from 27 submissions.They are organized in topical sections named: Sequent systems; tableaux; transitive closure and cyclic proofs; formalization and complexity. Also included are papers of three invited speakers.

This book constitutes the refereed proceedings of the 10th Congress of the Italian Association for Artificial Intelligence, AI*IA 2007. Coverage includes knowledge representation and reasoning, multiagent systems, distributed AI, knowledge engineering, ontologies and the semantic Web, machine learning, natural language processing, information retrieval and extraction, AI and robotics, AI and expressive media, and intelligent access to multimedia information.

This book constitutes the refereed proceedings of 14th International Conference on Augmented Cognition, AC 2020, held as part of the 22nd International Conference on Human-Computer Interaction, HCII 2020, in July 2020. The conference was planned to be held in Copenhagen, Denmark, but had to change to a virtual conference mode due to the COVID-19 pandemic. From a total of 6326 submissions, a total of 1439 papers and 238 posters has been accepted for publication in the HCII 2020 proceedings. The 21 papers presented in this volume were organized in topical sections as follows: cognitive modeling, perception, emotion and interaction; electroencephalography and BCI; and AI and augmented cognition.

As computers increasingly control the systems and services we depend upon within our daily lives like transport, communications, and the media, ensuring these systems function correctly is of utmost importance. This book consists of twelve chapters and one historical account that were presented at a workshop in London in 2015, marking the 25th anniversary of the European ESPRIT Basic Research project ‘ProCoS’ (Provably Correct Systems). The ProCoS I and II projects pioneered and accelerated the automation of verification techniques, resulting in a wide range of applications within many trades and sectors such as aerospace, electronics, communications, and retail. The following topics are covered: An historical account of the ProCoS project Hybrid Systems Correctness of Concurrent Algorithms Interfaces and Linking Automatic Verification Run-time Assertions Checking Formal and Semi-Formal Methods Provably Correct Systems provides researchers, designers and engineers with a complete overview of the ProCoS initiative, past and present, and explores current developments and perspectives within the field.

This book is part of a two-volume work that constitutes the refereed proceedings of the 11th IFIP TC13 International Conference on Human-Computer Interaction, INTERACT 2007, held in Rio de Janeiro, Brazil in September 2007. It covers tangible user interfaces and interaction; cultural issues in HCI; safety, security, privacy and usability; visualizing social information; online communities and e-learning; children, games, and the elderly; as well as software engineering and HCI.

Artificial Intelligence (AI) is a rapidly growing inter-disciplinary field with a long and distinguished history that involves many countries and considerably pre-dates the development of computers. It can be traced back at least as far as Ancient Greece and has evolved over time to become a major subfield of computer science in general. This state-of-the-art survey not only serves as a "position paper" on the field from the viewpoint of expert members of the IFIP Technical Committee 12, its Working Groups and their colleagues, but also presents overviews of current work in different countries. The chapters describe important relatively new or emerging areas of work in which the authors are personally involved, including text and hypertext categorization; autonomous systems; affective intelligence; AI in electronic healthcare systems; artifact-mediated society and social intelligence design; multilingual knowledge management; agents, intelligence and tools; intelligent user profiling; and supply chain business intelligence. They provide an interesting international perspective on where this significant field is going at the end of the first decade of the twenty-first century.

This Festschrift is published in honor of Gerhard Brewka on the occasion of his 60th birthday and contains articles from fields reflecting the breadth of Gerd's work. The 24 scientific papers included in the book are written by close friends and colleagues and cover topics such as Actions and Agents, Nonmonotonic and Human Reasoning, Preferences and Argumentation.