Edited in collaboration with FoLLI, the Association of Logic, Language and Information, this book collects a set of chapters of the multi-disciplinary project "Games, actions and Social software" which was carried out at the Netherlands Institute for Advanced Study in the Humanities and Social Sciences (NIAS) in Wassenaar, from September 2006 through January 2007. The chapters focus on social software and the social sciences, knowledge, belief and action, perception, communication, and cooperation.

The unusual format of a series of discussions among a logician, a computer scientist, a philosopher and some researchers from other disciplines encourages the reader to develop his own point of view. --Book Jacket.

This two-volume set LNAI 10313 and LNAI 10314 constitutes the proceedings of the International Joint Conference on Rough Sets, IJCRS 2017, held in Olsztyn, Poland, in July 2017. The 74 revised full papers presented together with 16 short papers and 16 invited talks, were carefully reviewed and selected from 130 submissions. The papers in this two set-volume of IJCRS 2017 follow the track already rutted by RSCTC and JRS conferences which aimed at unification of many facets of rough set theory from theoretical aspects of the rough set idea bordering on theory of concepts and going through algebraic structures, topological structures, logics for uncertain reasoning, decision algorithms, relations to other theories of vagueness and ambiguity, then to extensions of the rough set idea like granular structures, rough mereology, and to applications of the idea in diverse fields of applied science including hybrid methods like rough-fuzzy, neuro-rough, neuro-rough-fuzzy computing. IJCRS 2017 encompasses topics spread among four main tracks: Rough Sets and Data Science (in relation to RSCTC series organized since 1998); Rough Sets and Granular Computing (in relation to RSFDGrC series organized since 1999); Rough Sets and Knowledge Technology (in relation to RSKT series organized since 2006); and Rough Sets and Intelligent Systems (in relation to RSEISP series organized since 2007).

This book illustrates the program of Logical-Informational Dynamics. Rational agents exploit the information available in the world in delicate ways, adopt a wide range of epistemic attitudes, and in that process, constantly change the world itself. Logical-Informational Dynamics is about logical systems putting such activities at center stage, focusing on the events by which we acquire information and change attitudes. Its contributions show many current logics of information and change at work, often in multi-agent settings where social behavior is essential, and often stressing Johan van Benthem's pioneering work in establishing this program. However, this is not a Festschrift, but a rich tapestry for a field with a wealth of strands of its own. The reader will see the state of the art in such topics as information update, belief change, preference, learning over time, and strategic interaction in games. Moreover, no tight boundary has been enforced, and some chapters add more general mathematical or philosophical foundations or links to current trends in computer science. The theme of this book lies at the interface of many disciplines. Logic is the main methodology, but the various chapters cross easily between mathematics, computer science, philosophy, linguistics, cognitive and social sciences, while also ranging from pure theory to empirical work. Accordingly, the authors of this book represent a wide variety of original thinkers from different research communities. And their interconnected themes challenge at the same time how we think of logic, philosophy and computation. Thus, very much in line with van Benthem's work over many decades, the volume shows how all these disciplines form a natural unity in the perspective of dynamic logicians (broadly conceived) exploring their new themes today. And at the same time, in doing so, it offers a broader conception of logic with a certain grandeur, moving its horizons beyond the traditional study of consequence relations.

This book presents comparisons of recent accounts in the formalization of natural language (dynamic logics and formal semantics) with informal conceptions of interaction (dialogue, natural logic and attribution of rationality) that have been developed in both psychology and epistemology. There are four parts which explore: historical and systematic studies; the formalization of context in epistemology; the formalization of reasoning in interactive contexts in psychology; the formalization of pathological conversations. Part one discusses the Erlangen School, which proposed a logical analysis of science as well as an operational reconstruction of psychological concepts. These first chapters provide epistemological and psychological insights into a conceptual reassessment of rational reconstruction from a pragmatic point of view. The second focus is on formal epistemology, where there has recently been a vigorous contribution from experts in epistemic and doxatic logics and an attempt to account for a more realistic, cognitively plausible conception of knowledge. The third part of this book examines the meeting point between logic and the human and social sciences and the fourth part focuses on research at the intersection between linguistics and psychology. Internationally renowned scholars have contributed to this volume, building on the findings and themes relevant to an interdisciplinary scientific project called DiaRaFor (“Dialogue, Rationality, Formalisms”) which was hosted by the MSH Lorraine (Lorraine Institute for Social Sciences and Humanities) from 2007 to 2011.

Edited in collaboration with FoLLI, this book constitutes the refereed proceedings of the 10th Indian Conference on Logic and Its Applications, ICLA 2023, which was held in Indore, India, in March 2023. Besides 6 invited papers presented in this volume, there are 9 contributed full papers which were carefully reviewed and selected from 18 submissions. The volume covers a wide range of topics. These topics are related to modal and temporal logics, intuitionistic connexive and imperative logics, systems for reasoning with vagueness and rough concepts, topological quasi-Boolean logic and quasi-Boolean based rough set models, and first-order definability of path functions of graphs.

The rise of mobile phones has brought about a new era of technological attachment as an increasing number of people rely on their personal mobile devices to conduct their daily activities. Due to the ubiquitous nature of mobile phones, the impact of these devices on human behavior, interaction, and cognition has become a widely studied topic. The Encyclopedia of Mobile Phone Behavior is an authoritative source for scholarly research on the use of mobile phones and how these devices are revolutionizing the way individuals learn, work, and interact with one another. Featuring exhaustive coverage on a variety of topics relating to mobile phone use, behavior, and the impact of mobile devices on society and human interaction, this multi-volume encyclopedia is an essential reference source for students, researchers, IT specialists, and professionals seeking current research on the use and impact of mobile technologies on contemporary culture.

The four-volume set LNCS 14011, 14012, 14013, and 14014 constitutes the refereed proceedings of the Human Computer Interaction thematic area of the 25th International Conference on Human-Computer Interaction, HCII 2023, which took place in Copenhagen, Denmark, in July 2023. A total of 1578 papers and 396 posters have been accepted for publication in the HCII 2023 proceedings from a total of 7472 submissions. The papers included in the HCI 2023 volume set were organized in topical sections as follows: Part I: Design and evaluation methods, techniques and tools; interaction methods and techniques; Part II: Children computer interaction; emotions in HCI; and understanding the user experience; Part III: Human robot interaction; chatbots and voice-based interaction; interacting in the metaverse; Part IV: Supporting health, quality of life and everyday activities; HCI for learning, culture, creativity and societal impact.

This book examines how today's technology, as it includes smartphones, computers, and the internet, shapes our physical health, cognitive and psychological development, and interactions with one another and the world around us. Technology has become a ubiquitous part of modern life, but its impact on our physical, psychological, and social health and development runs just as deep as does our dependence upon it. How is the development of babies' brains affected by their playing with their parents' smartphones and tablets? How have computers altered the way we process and learn information? How have texting and social networking sites such as Facebook changed the way in which we interact with others? Can online dating lead to meaningful real-world relationships? From Smartphones to Social Media investigates these questions and many complex issues related to technology. Readers will discover what researchers know about how the use of technology affects us through accessibly written, thematic chapters. The main text is complemented by a collection of case studies and interviews with a variety of experts, providing insight into how technology's positive and negative effects manifest in our everyday lives and what we can do to mediate the negative ones.

Although gaming was once primarily used for personal entertainment, video games and other similar technologies are now being utilized across various disciplines such as education and engineering. As digital technologies become more integral to everyday life, it is imperative to explore the underlying effects they have on society and within these fields. Exploring the Cognitive, Social, Cultural, and Psychological Aspects of Gaming and Simulations provides emerging research on the societal and mental aspects of gaming and how video games impact different parts of an individual’s life. While highlighting the positive, important results of gaming in various disciplines, readers will learn how video games can be used in areas such as calculus, therapy, and professional development. This book is an important resource for engineers, graduate-level students, psychologists, game designers, educators, sociologists, and academics seeking current information on the effects of gaming and computer simulations across different industries.