Reasoning, Action and Interaction in AI Theories and Systems

Reasoning, Action and Interaction in AI Theories and Systems
Author: Oliviero Stock
Publisher: Springer Science & Business Media
Total Pages: 352
Release: 2006-09-04
Genre: Computers
ISBN: 3540379010

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.

Artificial Intelligence

Artificial Intelligence
Author: Stuart Russell
Publisher: Createspace Independent Publishing Platform
Total Pages: 626
Release: 2016-09-10
Genre:
ISBN: 9781537600314

Artificial Intelligence: A Modern Approach offers the most comprehensive, up-to-date introduction to the theory and practice of artificial intelligence. Number one in its field, this textbook is ideal for one or two-semester, undergraduate or graduate-level courses in Artificial Intelligence.

Automated Reasoning with Analytic Tableaux and Related Methods

Automated Reasoning with Analytic Tableaux and Related Methods
Author: Renate A. Schmidt
Publisher: Springer
Total Pages: 385
Release: 2017-09-04
Genre: Computers
ISBN: 3319669028

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.

AI*IA 2007: Artificial Intelligence and Human-Oriented Computing

AI*IA 2007: Artificial Intelligence and Human-Oriented Computing
Author: Associazione italiana per l'intelligenza artificiale. Congress
Publisher: Springer Science & Business Media
Total Pages: 875
Release: 2007-08-28
Genre: Computers
ISBN: 3540747818

Annotation This book constitutes the refereed proceedings of the 10th Congress of the Italian Association for Artificial Intelligence, AI*IA 2007, held in Rome, Italy, in September 2007. The 42 revised full papers presented together with 14 revised poster papers and 3 invited talks were carefully reviewed and selected from 80 submissions. The papers are organized in topical sections on knowledge representation and reasoning, multiagent systems, distributed AIai, knowledge engineering, ontologies and the semantic Web, machine learning, natural language processing, information retrieval and extraction, planning and scheduling, AI and applications. Three special tracks depicting progresses in significant application fields that represent increasingly relevant topics contain 18 additional papers on AI and robotics, AI and expressive media, and intelligent access to multimedia information.

Augmented Cognition. Theoretical and Technological Approaches

Augmented Cognition. Theoretical and Technological Approaches
Author: Dylan D. Schmorrow
Publisher: Springer Nature
Total Pages: 304
Release: 2020-07-15
Genre: Computers
ISBN: 3030503534

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.

Artificial Intelligence

Artificial Intelligence
Author: Margaret A. Boden
Publisher: Oxford University Press
Total Pages: 191
Release: 2018-08-13
Genre: Computers
ISBN: 0191080071

The applications of Artificial Intelligence lie all around us; in our homes, schools and offices, in our cinemas, in art galleries and - not least - on the Internet. The results of Artificial Intelligence have been invaluable to biologists, psychologists, and linguists in helping to understand the processes of memory, learning, and language from a fresh angle. As a concept, Artificial Intelligence has fuelled and sharpened the philosophical debates concerning the nature of the mind, intelligence, and the uniqueness of human beings. In this Very Short Introduction , Margaret A. Boden reviews the philosophical and technological challenges raised by Artificial Intelligence, considering whether programs could ever be really intelligent, creative or even conscious, and shows how the pursuit of Artificial Intelligence has helped us to appreciate how human and animal minds are possible. ABOUT THE SERIES: The Very Short Introductions series from Oxford University Press contains hundreds of titles in almost every subject area. These pocket-sized books are the perfect way to get ahead in a new subject quickly. Our expert authors combine facts, analysis, perspective, new ideas, and enthusiasm to make interesting and challenging topics highly readable.

Advances in Knowledge Representation, Logic Programming, and Abstract Argumentation

Advances in Knowledge Representation, Logic Programming, and Abstract Argumentation
Author: Thomas Eiter
Publisher: Springer
Total Pages: 370
Release: 2015-01-07
Genre: Computers
ISBN: 3319147269

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.

Intelligent User Interfaces: Adaptation and Personalization Systems and Technologies

Intelligent User Interfaces: Adaptation and Personalization Systems and Technologies
Author: Mourlas, Constantinos
Publisher: IGI Global
Total Pages: 452
Release: 2008-09-30
Genre: Medical
ISBN: 1605660337

"This book identifies solutions and suggestions for the design and development of adaptive applications and systems that provides more usable and qualitative content and services adjusted to the needs and requirements of the various users"--Provided by publisher.

Provably Correct Systems

Provably Correct Systems
Author: Mike Hinchey
Publisher: Springer
Total Pages: 332
Release: 2017-03-01
Genre: Mathematics
ISBN: 3319486284

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.