%{search_type} search results

This book constitutes the refereed proceedings of the First International Conference on Persuasive Technology for human well-being, PERSUASIVE 2006, held in Eindhoven, The Netherlands, in May 2006. The 31 revised full papers presented together with 1 introductory paper were carefully reviewed and selected for inclusion in the book. The papers are organized in topical sections on psychological principles of persuasive technology, persuasive technology: theory and modelling, design, applications and evaluations, ethics of persuasive technology persuasive gerontechnology, and ambient intelligence and persuasive technology.
(source: Nielsen Book Data)

• FOUNDATIONS
• Institutional Governance of Responsible Research and Innovation
• The ETHNA System and Support Tools
• Importance and Necessity of Stakeholder Engagement
• EXPERIENCES AND LESSONS LEARNED
• Evaluation of RRI Institutionalisation Endeavours: Specificities, Drivers, Barriers, and Good Practices based on a Multi-Stakeholder Consultation and Living Lab Experiences. -Implementing RRI in a Non-Governmental Research Institute
• Implementing RRI in a Research and Innovation Ecosystem
• Developing RRI and Research Ethics at University
• ETHICAL TOOLS INTO PRACTICE
• Relevance and Challenges of Ethics Committees
• Responsible Research & Innovation Learning Facilitation
• Activities to Foster Public Engagement in Research and Innovation. Examples from the NewHoRRIzon Project
• LOOKING INTO THE FUTURE: MAIN CHALLENGES
• Gender mainstreaming in RRI: The Double Challenge
• Navigating the Future and Overcoming Challenges to Unlock Open Science
• Ethics and Development of Advanced Technology Systems in Public Administration.

This Open Access book aims to present practical contributions to the ethics governance framework, the conceptualization and characteristics of ethics tools, as well as the experience gained from their application in different institutions. Its main objective is to provide a practical and useful guide that will help other institutions to start introducing Research Ethics effectively in their organizations. The European initiative ETHNA System has designed an ethics governance framework that can be implemented following specific guidelines and tools that can help different types of institutions to promote and generate responsible research and innovation. The papers included in this book were organized in topical sections as follows: foundations; experiences and lessons learned; ethics tools in practice; and looking into the future: main challenges.

• Persuasive Technologies in Virtual and Augmented Reality
• Sharing Speaker Heart Rate with the Audience Elicits Empathy and Increases Persuasion
• Sugarcoating a bitter pill - VR against police ethnic profiling
• Perception of Virtual Agents as Communicators in Virtual vs. Augmented Reality by a Male Sample
• ReadAR, playful book finding through peer book reviews for multi-faceted characters in AR
• Persuasive Strategies
• mRAPID Study: Effect of Micro-incentives and Daily Deadlines on Practice Behavior
• What the Fork? The Impact of Social Norm Violation on User Behavior
• Evaluative Conditioning in Consumer Psychology: Can Affective Images of Climate Change Influence Sustainability Perception of Supermarket Products?
• System for Inducing Acceptance of Unconsidered Information by Connecting Current Interests Proof of Concept in Snack Purchasing Scenarios
• Persuasive Design and Applications
• Can we re-design social media to persuade people to challenge misinformation? An exploratory study
• A study of women's perceptions and opinions of a persuasive breastfeeding mHealth app
• From Persuasive Applications to Persuasive Systems in Non-Communicable Disease Care - a Systematic Literature Analysis
• Methods for Tailoring and Personalisation
• Comparing Psychometric and Behavioral Predictors of Compliance During Human-AI Interactions
• Kindness makes you happy and happiness makes you healthy: Actual persuasiveness and personalisation of persuasive messages in a behaviour change intervention for wellbeing
• Persuasive Strategies and Emotional States: Towards Emotion-Adaptive Persuasive Technologies Design
• Tailoring Persuasive Health Messages to the Predominant Ego State of Patients
• Artificial Persuasive Agents
• Persuasive Robots in the Field
• Attitudes Toward a Virtual Smoking Cessation Coach: Relationship and Willingness to Continuec
• Persuasive-Building Fundamental Premises and Implications for Conversational Agent: A Conceptual Model in Captology
• On Further Reflection... Moral Reflections Enhance Robotic Moral Persuasive Capability
• Gamification
• Gamified medication adherence applications for chronic health conditions: Scoping Review
• Relatedness for Moral Courage: Game Experience Dimensions as Persuasive Strategies for Moral Courage in Contrast to Other Facets of Altruistic Behavior
• GardenQuest: Using Hexad Player Types to Design a Step-Based Multiplayer Persuasive Game for Motivating Physical Activity
• Personal Factors in Persuasion
• Does the association between persuasive strategies and personality types vary across regions?
• Me versus them: exploring the perception of susceptibility to persuasion in oneself and others in online gambling
• Credibility in Persuasive Systems: A Systematic Review
• Notifying Users: Customisation Preferences for Notifications in Health and Well-being Applications.

This book constitutes the refereed proceedings of the 18th International Conference on Persuasive Technology, PERSUASIVE 2023, held in Eindhoven, The Netherlands, April 19-21, 2023. The 24 full papers and 2 short papers included in this book were carefully reviewed and selected from 69 submissions. They were organized in topical sections as follows: Persuasive Technologies in Virtual and Augmented Reality; Persuasive Strategies; Persuasive Design and Applications; Methods for Tailoring and Personalisation; Artificial Persuasive Agents; Gamification; and Personal Factors in Persuasion.

• Intro
• Preface
• Organization
• Contents
• Impact of Medical Device Regulation on Developing Health Behavior Change Support Systems
• 1 Introduction
• 2 Medical Device Regulation (MDR)
• 2.1 Transition Timeline
• 2.2 Notable Changes from MDD to MDR
• 2.3 Compliance Process
• 3 Qualification and Classifications
• 4 Design and Cost Implications
• 4.1 Design Implications
• 4.2 Cost Implications
• 5 Discussion
• 6 Conclusions
• References
• SortOut: Persuasive Stress Management Mobile Application for Higher Education Students
• 1 Introduction

• 2 Mental Health and Time Management Behaviour Model
• 3 Mapping PFO Items to Corresponding Persuasive Strategies
• 4 Designing of SortOut Mobile Application
• 5 Research Questions
• 6 Methodology
• 6.1 Study Design
• 7 Results
• 7.1 Perceived Persuasiveness of the App Core Features
• 7.2 Perceived Usability-Usefulness and Ease of Use of the App
• 7.3 Motivational Appeal of the App
• 7.4 Effectiveness of SourOut App Design Based on Gender and Degree Level
• 7.5 Thematic Analysis of Qualitative Feedback and Suggestions
• 8 Discussion
• 9 Conclusion and Future Work
• References

• Perceptions of Interactive, Real-Time Persuasive Technology for Managing Online Gambling
• 1 Introduction
• 1.1 Current RG Tools
• 1.2 Limitations of Current RG Tools and Solutions from Persuasive Technology
• 1.3 Rationale
• 2 Method
• 2.1 Design
• 2.2 Participants
• 2.3 Procedure
• 2.4 Data Analysis
• 3 Results
• 3.1 Tool for Providing Information
• 3.2 Tool for Limiting Gambling
• 3.3 Tool for Providing Support to Gamblers
• 4 Discussion
• 4.1 Summary of the Findings
• 4.2 Discussion of Findings in Relation to Previous Research
• 4.3 Individual Differences
• 4.4 Limitations

• 5 Conclusions
• References
• Human-Robot Interaction and User Manipulation
• 1 Introduction
• 2 Robots as Products: The Ontological Dimension
• 3 The Turing Test and the Appearance of Intelligence
• 4 From Intelligence to User Manipulation
• 5 Case Studies
• 5.1 JiBo
• 5.2 Alexa and the Old Lady
• 6 A Legal Framework
• 6.1 The AI Act and the Prohibited Practices Involving User Manipulation
• 6.2 Beyond Proposed Regulation, the Role of Human Dignity
• 7 Discussion and Conclusions
• References

• Breathing Training on the Run: Exploring Users Perception on a Gamified Breathing Training Application During Treadmill Running
• 1 Introduction
• 2 Related Work
• 2.1 Breathing Training Applications
• 2.2 Respiratory Biofeedback
• 3 Methods
• 3.1 Participants
• 3.2 The GBTA
• 3.3 Procedure
• 4 Results and Discussion
• 4.1 RQ1: Does Using the GBTA Has an Impact on Conscious Breath-Control?
• 4.2 RQ2: How Do User Perceive the Breathing Alignment Process Within the GBTA?
• 4.3 RQ3: How Do Users Perceive the Effectiveness of the GBTA While Running?
• 5 Limitations and Future Work

This book constitutes the refereed post-conference proceedings of the 17th International Conference on Persuasive Technology, PERSUASIVE 2022, held as a virtual event, in March 2022. The 13 full papers presented in this book together with 7 short papers were carefully reviewed and selected from 46 submissions. .
(source: Nielsen Book Data)

• Technology That Motivates Health Behavior.- Persuasion, Task Interruption and Health Regimen Adherence.- Promoting Physical Activity Through Internet: A Persuasive Technology View.- Digital Therapy: The Coming Together of Psychology and Technology Can Create a New Generation of Programs for More Sustainable Behavioral Change.- Designing Persuasion: Health Technology for Low-Income African American Communities.- Persuading People with Video Games.- Fine Tuning the Persuasion in Persuasive Games.- Captivating Patterns - A First Validation.- New Form Factors for Persuasive Technology.- Promoting New Patterns in Household Energy Consumption with Pervasive Learning Games.- iParrot: Towards Designing a Persuasive Agent for Energy Conservation.- The Pet Plant: Developing an Inanimate Emotionally Interactive Tool for the Elderly.- Surrounded by High-Tech Persuasion.- Distributed User Experience in Persuasive Technology Environments.- The PerCues Framework and Its Application for Sustainable Mobility.- Persuasive Technologies Should Be Boring.- Controlling People by Using Digital Punishment.- Electronic Monitoring of Offenders: Can a Wayward Technology Be Redeemed?.- Logical Modeling of Deceptive Negative Persuasion.- Surveillance, Persuasion, and Panopticon.- Technology That Motivates Groups to Unify.- Support Services: Persuading Employees and Customers to Do what Is in the Community's Best Interest.- Improving Cross-Cultural Communication Through Collaborative Technologies.- Group Reactions to Visual Feedback Tools.- Can Brotherhood Be Sold Like Soap...Online? An Online Social Marketing and Advocacy Pilot Study Synopsis.- How Peers Influence You Online.- Social Comparisons to Motivate Contributions to an Online Community.- Can Companies Initiate Positive Word of Mouth? A Field Experiment Examining the Effects of Incentive Magnitude and Equity, and eReferral Mechanisms.- Source Salience and the Persuasiveness of Peer Recommendations: The Mediating Role of Social Trust.- New Insights Into Web Persuasion.- An Examination of the Influence of Involvement Level of Web Site Users on the Perceived Credibility of Web Sites.- Embedded Persuasive Strategies to Obtain Visitors' Data: Comparing Reward and Reciprocity in an Amateur, Knowledge-Based Website.- The Behavior Chain for Online Participation: How Successful Web Services Structure Persuasion.- Persuasive Agents on the Screen.- Exploring Persuasive Potential of Embodied Conversational Agents Utilizing Synthetic Embodied Conversational Agents.- The Importance of Interface Agent Visual Presence: Voice Alone Is Less Effective in Impacting Young Women's Attitudes Toward Engineering.- Embodied Agents on a Website: Modelling an Attitudinal Route of Influence.- Using Digital Images to Persuade.- Is it Me or Is it what I say? Source Image and Persuasion.- Digital Television as Persuasive Technology.- Persuasion Via Mobile Phones.- The Use of Mobile Phones to Support Children's Literacy Learning.- Toward a Systematic Understanding of Suggestion Tactics in Persuasive Technologies.- Insights Into Persuasion Principles.- Modelling a Receiver's Position to Persuasive Arguments.- Persuasive Recommendation: Serial Position Effects in Knowledge-Based Recommender Systems.- Perspectives on Persuasive Technology.- Persuade Into What? Why Human-Computer Interaction Needs a Philosophy of Technology.- Classical Rhetoric and a Limit to Persuasion.- Persuasion Theories and IT Design.
• (source: Nielsen Book Data)

This book constitutes the thoroughly refereed post-proceedings of the Second International Conference on Persuasive Technology for Human Well-Being, PERSUASIVE 2007, held in Palo Alto, CA, USA, in April 2007. The 37 revised full papers presented were carefully reviewed and selected from numerous submissions for inclusion in the book. The papers are organized in topical sections and cover a broad range of subjects.
(source: Nielsen Book Data)

Edited in collaboration with FoLLI, the Association of Logic, Language and Information, this book constitutes the refereed proceedings of the Third International Workshop on Logic, Rationality, and Interaction, LORI 2011, held in Guangzhou, China, in October 2011. The 25 revised full papers presented together with 12 posters were carefully reviewed and selected from 52 submissions. Among the topics covered are semantic models for knowledge, for belief, and for uncertainty; dynamic logics of knowledge, information flow, and action; logical analysis of the structure of games; belief revision, belief merging; logics and preferences, compact preference representation; logics of intentions, plans, and goals; logics of probability and uncertainty; logical approaches to decision making and planning; argument systems and their role in interaction; norms, normative interaction, and normative multiagent systems; and logical and computational approaches to social choice.

• Machine generated contents note: Further Steps in the Science of Temporal Consciousness? / Valtteri Arstila
• Temporal Illusions -- Philosophical Considerations / Sean Enda Power
• A.N. Prior's Notion of the Present / David Jakobsen
• Towards a Common Language for the Discussion of Time Based on Prior's Tense Logic / Peter Øhrstrøm
• Problem with Perceptual Synchrony / Mark A. Elliott
• New Perspectives on Vierordt's Law: Memory-Mixing in Ordinal Temporal Comparison Tasks / Warren H. Meck
• Reproduction of Duration: How Should I Count the Ways? / Rotem Leshem
• Duration Discrimination Performance: No Cross-Modal Transfer from Audition to Vision Even after Massive Perceptual Learning / Rolf Ulrich
• Investigation on Temporal Aspects in the Audio-Haptic Simulation of Footsteps / Stefania Serafin
• Enhanced Audiovisual Temporal Sensitivity When Viewing Videos That Appropriately Depict the Effect of Gravity on Object Movement / Charles Spence
• About Musical Time -- Effect of Age, Enjoyment, and Practical Musical Experience on Retrospective Estimate of Elapsed Duration during Music Listening / Ian Cross
• Impact of Attention on the Internal Clock in Prospective Timing: Is It Direct or Indirect? / Dan Zakay
• Child and Time / Sylvie Droit-Volet
• Electrophysiological Evidence for an Accumulation Process in the Timing of Emotional Stimuli / Viviane Pouthas
• Temporal Information Processing and Mental Ability: A New Perspective / Thomas H. Rammsayer
• Embodiment of Time Estimation / Heidi Kloos
• What Can Be Inferred from Multiple-task Psychophysical Studies about the Mechanisms for Temporal Processing? / German Mendoza
• Quality Space Model of Temporal Perception / Michal Klincewicz
• On Clocks, Models and Metaphors: Understanding the Klepsydra Model / Jiri Wackermann
• Time Reference in Fluent Aphasia: Evidence from Serbian / Roelien Bastiaanse

• Note continued: Logical and Experiential Time in Narratives / Miltiadis Koustoumbardis.

Annotation This book constitutes the documentation of the scientific outcome of the first meeting of the TIMELY network, the International Workshop on Multidisciplinary Aspects of Time and Time Perception, which took place in Athens, Greece, in October 2010. The 21 papers presented were carefully reviewed and selected for inclusion in the book. They cover the following topics: conceptual analysis and measurement of time; exploring factors associated with time perception variability; extending time research to ecologically-valid stimuli and real-world applications; and uncovering the neural correlates of time perception.

• Contributed Papers
• Expressing Properties of Coalitional Ability under Resource Bounds
• Dynamic Context Logic
• Toward a Dynamic Logic of Questions
• A General Family of Preferential Belief Removal Operators
• Computing Compliance
• Attributing Distributed Responsibility in Stit Logic
• Characterizations of Iterated Admissibility Based on PEGL
• Can Doxastic Agents Learn? On the Temporal Structure of Learning
• Agreement Theorems in Dynamic-Epistemic Logic
• Learning and Teaching as a Game: A Sabotage Approach
• First-Order Logic Formalisation of Arrow's Theorem
• Twelve Angry Men: A Study on the Fine-Grain of Announcements
• Dynamic Testimonial Logic
• From the Logical Point of View: The Chain Store Paradox Revisited
• A Cooperation Logic for Declaration Structures
• Intentions and Assignments
• Epistemic Games in Modal Logic: Joint Actions, Knowledge and Preferences All Together
• Dynamic Epistemic Logic of Finite Identification
• An Epistemic Logic for Planning with Trials
• Obligations in a Responsible World
• Dynamic Epistemic Temporal Logic
• Measurement-Theoretic Foundation of Preference-Based Dyadic Deontic Logic
• An Update Operator for Strategic Ability
• Strategy Elimination in Games with Interaction Structures
• Posters
• The Logic of Knowledge-Based Cooperation in the Social Dilemma
• Getting Together: A Unified Perspective on Modal Logics for Coalitional Interaction
• Oppositional Logic
• Deliberate Contrary-to-Law Action
• Mono-Agent Dynamics
• Modal Expressivity and Definability over Sets
• Dynamic Logics for Explicit and Implicit Information
• Existence of Satisfied Alternative and the Occurring of Morph-Dictator.

Edited in collaboration with FoLLI, the Association of Logic, Language and Information, this book constitutes the refereed proceedings of the Second International Workshop on Logic, Rationality, and Interaction, LORI 2009, held in Chongqing, China, in October 2009. The 24 revised full papers presented together with 8 posters were carefully reviewed and selected from a flood of submissions. The workshops topics include but are not limited to semantic models for knowledge, for belief, and for uncertainty, dynamic logics of knowledge, information flow, and action, logical analysis of the structure of games, belief revision, belief merging, logics for preferences and utilities, logics of intentions, plans, and goals, logics of probability and uncertainty, argument systems and their role in interaction, as well as norms, normative interaction, and normative multiagent systems.

• Technology That Motivates Health Behavior.- Persuasion, Task Interruption and Health Regimen Adherence.- Promoting Physical Activity Through Internet: A Persuasive Technology View.- Digital Therapy: The Coming Together of Psychology and Technology Can Create a New Generation of Programs for More Sustainable Behavioral Change.- Designing Persuasion: Health Technology for Low-Income African American Communities.- Persuading People with Video Games.- Fine Tuning the Persuasion in Persuasive Games.- Captivating Patterns - A First Validation.- New Form Factors for Persuasive Technology.- Promoting New Patterns in Household Energy Consumption with Pervasive Learning Games.- iParrot: Towards Designing a Persuasive Agent for Energy Conservation.- The Pet Plant: Developing an Inanimate Emotionally Interactive Tool for the Elderly.- Surrounded by High-Tech Persuasion.- Distributed User Experience in Persuasive Technology Environments.- The PerCues Framework and Its Application for Sustainable Mobility.- Persuasive Technologies Should Be Boring.- Controlling People by Using Digital Punishment.- Electronic Monitoring of Offenders: Can a Wayward Technology Be Redeemed?.- Logical Modeling of Deceptive Negative Persuasion.- Surveillance, Persuasion, and Panopticon.- Technology That Motivates Groups to Unify.- Support Services: Persuading Employees and Customers to Do what Is in the Community's Best Interest.- Improving Cross-Cultural Communication Through Collaborative Technologies.- Group Reactions to Visual Feedback Tools.- Can Brotherhood Be Sold Like Soap...Online? An Online Social Marketing and Advocacy Pilot Study Synopsis.- How Peers Influence You Online.- Social Comparisons to Motivate Contributions to an Online Community.- Can Companies Initiate Positive Word of Mouth? A Field Experiment Examining the Effects of Incentive Magnitude and Equity, and eReferral Mechanisms.- Source Salience and the Persuasiveness of Peer Recommendations: The Mediating Role of Social Trust.- New Insights Into Web Persuasion.- An Examination of the Influence of Involvement Level of Web Site Users on the Perceived Credibility of Web Sites.- Embedded Persuasive Strategies to Obtain Visitors' Data: Comparing Reward and Reciprocity in an Amateur, Knowledge-Based Website.- The Behavior Chain for Online Participation: How Successful Web Services Structure Persuasion.- Persuasive Agents on the Screen.- Exploring Persuasive Potential of Embodied Conversational Agents Utilizing Synthetic Embodied Conversational Agents.- The Importance of Interface Agent Visual Presence: Voice Alone Is Less Effective in Impacting Young Women's Attitudes Toward Engineering.- Embodied Agents on a Website: Modelling an Attitudinal Route of Influence.- Using Digital Images to Persuade.- Is it Me or Is it what I say? Source Image and Persuasion.- Digital Television as Persuasive Technology.- Persuasion Via Mobile Phones.- The Use of Mobile Phones to Support Children's Literacy Learning.- Toward a Systematic Understanding of Suggestion Tactics in Persuasive Technologies.- Insights Into Persuasion Principles.- Modelling a Receiver's Position to Persuasive Arguments.- Persuasive Recommendation: Serial Position Effects in Knowledge-Based Recommender Systems.- Perspectives on Persuasive Technology.- Persuade Into What? Why Human-Computer Interaction Needs a Philosophy of Technology.- Classical Rhetoric and a Limit to Persuasion.- Persuasion Theories and IT Design.
• (source: Nielsen Book Data)

This book constitutes the thoroughly refereed post-proceedings of the Second International Conference on Persuasive Technology for Human Well-Being, PERSUASIVE 2007, held in Palo Alto, CA, USA, in April 2007. The 37 revised full papers presented were carefully reviewed and selected from numerous submissions for inclusion in the book. The papers are organized in topical sections and cover a broad range of subjects.
(source: Nielsen Book Data)

• A Note on the Ontology of Mathematics
• Boolean Functional Synthesis: From Under the Hood of Solvers
• Labelled Calculi for Lattice-based Modal Logics
• Two Ways to Scare a Gruffalo
• Determinacy Axioms and Large Cardinals
• Big ideas from logic for mathematics and computing education
• Modal Logic of Generalized Separated Topological Spaces
• Multiple-valued Semantics for Metric Temporal Logic
• Segment transit function of the induced path function of graphs and its first-order definability
• Fuzzy Free Logic with Dual Domain Semantics
• A New Dimension of Imperative Logic. -Quasi-Boolean based models in Rough Set theory: A case of Covering
• Labelled calculi for the logics of rough concepts
• An Infinity of Intuitionistic Connexive Logics
• Relational Semantics for Normal Topological Quasi-Boolean Logic.

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.

• Background on STIT and related logics.- Agency and counterfactuals.- Causal responsibility: A first refinement of STIT.- STIT semantics for choice-driven counterfactuals.- Counterfactuals grounded in voluntary imagination.- Norms.- From ideal to actual prescriptions in dynamic deontic logic.- Normative conflicts in a dynamic logic of norms and codes.
• (source: Nielsen Book Data)

This book presents the Ph.D. dissertation of Ilaria Canavotto. The thesis won the E.W. Beth Dissertation Prize in 2021 for outstanding dissertations in the fields of logic, language, and information. It combines modal logics of agency, counterfactuals, and norms in order to study the reasoning underlying ascriptions of causal responsibility, the responsibility an agent is subject to because of the states of affairs they have brought about. Ascriptions of causal responsibility involve both causal reasoning and normative reasoning. In order to provide a logical analysis of these components, the dissertation brings together two mainstream logics of actions, STIT (seeing to it that) logic and Propositional Dynamic Logic, and extends them with an analysis of causality, a Lewis-Stalnaker style analysis of counterfactuals, subject matter semantics, and deontic logic. The author uses the resulting logics to investigate a number of philosophical issues underlying ascriptions of causal responsibility and technical issues emerging from the unification of the above-mentioned formal frameworks.
(source: Nielsen Book Data)

This book constitutes the proceedings of the Third International Congress on Tools for Teaching Logic, TICTTL 2011, held in Salamanca, Spain, in June 2011. The 30 papers presented were carefully reviewed and selected from 62 submissions.¡ The congress focusses on a variety of topics including: logic teaching software, teaching formal methods, logic in the humanities, dissemination of logic courseware and logic textbooks, methods for teaching logic at different levels of instruction, presentation of postgraduate programs in logic, e-learning, logic games, teaching argumentation theory and informal logic, and pedagogy of logic.

• From Habits to Standards: Towards Systematic Design of Emotion Models and Affective Architectures
• Creating a World for Socio-Cultural Agents
• FAtiMA Modular: Towards an Agent Architecture with a Generic Appraisal Framework
• Programming Agents with Emotions
• Utilizing Emotions in Autonomous Robots: An Enactive Approach
• The Effect of Dominance Manipulation on the Perception and Believability of an Emotional Expression
• Modelling Two Emotion Regulation Strategies as Key Features of Therapeutic Empathy
• Social Support Strategies for Embodied Conversational Agents
• Affective Processes as Network Hubs.

Emotion modeling has been an active area of research for almost two decades now. In spite of the growing and diverse body of work in emotion modeling, designing and developing emotion models remains an art, with few standards and systematic guidelines available to guide the design process, and to validate the resulting models. This state-of-the-art volume includes extended versions of eight papers presented at two workshops: Standards in Emotion Modeling, SEM 2011, held in Leiden, The Netherlands, in August 2011, which focused on the challenges, progress and open questions regarding emotion modeling standards, and Emotional and Empathic Agents, EEA 2012, held in conjunction with AAMAS 2012, in Valencia, Spain, in June 2012, which focused on strategies for reducing the complexity of affective models and model re-use. The papers have been organized into two sections: generic models and frameworks, and evaluations of specific models. They represent a sampling of the current efforts toward the development of more systematic methods for emotion modeling, toward the development of standards in emotion model design and validation, and toward more pragmatic approaches to model development, including model component sharing and re-use. The topics range from efforts to define minimum functionalities for agent emotion models and provide tools for systematic comparisons of alternative approaches through approaches to integrating multiple processing levels within an agent architecture to papers exploring the best means of generating empathy and supportive behavior in virtual agents and attempts to address the requirements for realistic modeling of affective expressions across multiple types of social interaction (individual, group and cultural).

• Agency.- Argumentation and Agreement.- Belief Revision and Belief Merging.- Belief Representation.- Cooperation, Decision Making and Planning.- Natural Language.- Philosophy and Philosophical Logic.- Strategic Reasoning.
• (source: Nielsen Book Data)

This LNCS volume is part of FoLLI book serie and contains the papers presented at the 6th International Workshop on Logic, Rationality and Interaction/ (LORI-VI), held in September 2017 in Sapporo, Japan. The focus of the workshop is on following topics: Agency, Argumentation and Agreement, Belief Revision and Belief Merging, Belief Representation, Cooperation, Decision making and Planning, Natural Language, Philosophy and Philosophical Logic, and Strategic Reasoning. .
(source: Nielsen Book Data)

• Full Papers
• Boolean Games with Epistemic Goals / Thomas Ågotnes, Paul Harrenstein, Wiebe van der Hoek and Michael Wooldridge
• Minimal Preference Change / Natasha Alechina, Fenrong Liu and Brian Logan
• The Topology of Belief, Belief Revision and Defeasible Knowledge / Alexandru Baltag, Nick Bezhanishvili, Aybüke Özgün and Sonja Smets
• Plan Recognition, Indefinites, and the Semantics-Pragmatics Boundary / Hsiang-Yun Chen
• A Semantic Model for Interrogatives Based on Generalized Quantifiers and Bilattices / Ka-Fat Chow
• A Two-Tiered Formalization of Social Influence / Zoé Christoff and Jens Ulrik Hansen
• A Unified Epistemic Analysis of Iterated Elimination Algorithms from Regret Viewpoint / Jianying Cui and Xudong Luo
• Listen to Me! Public Announcements to Agents That Pay Attention -- or Not / Hans van Ditmarsch, Andreas Herzig, Emiliano Lorini and François Schwarzentruber
• An Offer You Cannot Refuse: Obtaining Efficiency and Fairness in Preplay Negotiation Games with Conditional Offers / Valentin Goranko and Paolo Turrini.

• Sequent Calculi for Multi-modal Logic with Interaction / Norbert Gratzl
• Dynamic Epistemic Logic Displayed / Giuseppe Greco, Alexander Kurz and Alessandra Palmigiano
• Cellular Games, Nash Equilibria, and Fibonacci Numbers / Kristine Harjes and Pavel Naumov
• Reasoning about Actions Meets Strategic Logics / Andreas Herzig, Emiliano Lorini and Dirk Walther
• A Dynamic Deontic Logic Based on Histories / Fengkui Ju and Li Liang
• Sequent Systems for Nondeterministic Propositional Logics without Reflexivity / Louwe B. Kuijer
• How to Update Neighborhood Models / Minghui Ma and Katsuhiko Sano
• The Logic of Priori and a Posteriori Rationality in Strategic Games / Meiyun Guo and Jeremy Seligman
• Proof Theory, Semantics and Algebra for Normative Systems / Xin Sun
• Explicit and Implicit Knowledge in Neighbourhood Models / Fernando R. Velázquez-Quesada
• Expressivity Hierarchy of Languages for Epistemic Awareness Models / Fernando R. Velázquez-Quesada.

• Public Announcements, Private Actions and Common Knowledge in S5 Structures / Yì N. Wáng and Thomas Ågotnes
• Logic Aggregation / Xuefeng Wen and Hu Liu
• The Task Model of Court Investigation in a Multi-agent System of Argumentation in Court / Qiaoting Zhong, Xudong Luo, Frans H. van Eemeren and Fan Huang
• Short Papers
• A Deontic Action Logic for Complex Actions / Huimin Dong and Xiaowu Li
• Planning Using Dynamic Epistemic Logic: Correspondence and Complexity / Martin Holm Jensen
• Judgment Aggregation with Abstentions: A Hierarchical Approach / Guifei Jiang, Dongmo Zhang and Xiaojia Tang
• A Note on Bayesian Games / Yang Liu
• A Logic for Extensive Games with Short Sight / Chanjuan Liu, Fenrong Liu and Kaile Su
• Aggregated Beliefs and Informational Cascades / Rasmus K. Rendsvig
• Dynamic Attitudes, Fixed Points and Minimal Change / Ben Rodenhäuser
• Logic of Evidence-based Knowledge / Chenwei Shi
• Backward Induction Is PTIME-complete / Jakub Szymanik
• On Fuzzy Propositional Logic with Different Negations / Shengli Zhang.

This book collects the papers presented at the 4th International Workshop on Logic, Rationality and Interaction/ (LORI-4), held in October 2013 at the /Center for the Study of Language and Cognition, Zhejiang University, Hangzhou, China. LORI is a series that brings together researchers from a variety of logic-related fields: Game and Decision Theory, Philosophy, Linguistics, Computer Science and AI. This year had a special emphasis on Norms and Argumentation. Out of 42 submissions, 23 full papers and 11 short contributions have been selected through peer-review for inclusion in the workshop program and in this volume. The quality and diversity of these contributions witnesses a lively, fast-growing, and interdisciplinary community working at the intersection of logic and rational interaction.

• Intro; Preface; Organization; Abstract of Invited Talks; The Dynamics of Group Knowledge and Belief; Argument-Based Paraconsistent Logics; Realism, Simplicity, and Topology; Reasoning in Dynamic Games: From Rationality to Rationalization; Understanding Equilibrium Properties of Multi-agent Systems; Beyond Knowing that: A New Generation of Epistemic Logics; Contents; On the Right Path: A Modal Logic for Supervised Learning; 1 Introduction; 2 Modal Logic of Supervised Learning (SLL); 2.1 Language and Semantics; 2.2 Application: Winning Strategies in SLG; 2.3 Preliminary Observations

• 3 Expressive Power of SLL3.1 First-Order Translation; 3.2 Bisimulation and Characterization for SLL; 4 Model Checking and Satisfiability for SLL; 5 Conclusion and Future Work; References; Elementary Iterated Revision and the Levi Identity; 1 Introduction; 2 Preliminaries; 2.1 Single-Step Change; 2.2 Iterated Change; 3 Elementary Revision Operators; 4 Extending the Levi Identity; 4.1 A Proposal Involving Rational Closure; 4.2 Nayak et al.'s `New Levi Identity'; 4.3 Rational Closure and the New Levi Identity; 5 Is Iterated Revision Reducible to Iterated Contraction?

• 6 Conclusions and Further WorkReferences; Undefinability in Inquisitive Logic with Tensor; 1 Introduction; 2 Definability and Eliminability; 3 Inquisitive Logic with Tensor Disjunction; 4 Eliminability; 5 Independence of the Connectives; 5.1 Undefinability of; 5.2 Undefinability of; 6 Conclusion; References; Minimal-Change Counterfactuals in Intuitionistic Logic; 1 Introduction; 2 Counterfactuals in Intuitionistic Kripke Semantics; 3 Minimal Change Conditions; 4 Axiomatization; 5 Canonical Model Construction; 6 Conclusion and Outlook; References

• Consolidation of Belief in Two Logics of Evidence1 Introduction; 2 A Multi-agent Logic of Evidence; 3 A Consolidation Operation; 3.1 Definitions; 3.2 Examples; 3.3 Properties; 3.4 A Unified Language for Evidence and Beliefs; 4 Equivalence Between Evidence Models; 4.1 From B & P to FVEL Models; 4.2 From FVEL to B & P Models; 4.3 Evaluating the Conversions; 5 Comparing Consolidations; 6 Conclusion; References; From Classical to Non-monotonic Deontic Logic Using ASPIC+; 1 Using ASPIC+ to Design Non-monotonic Deontic Logics; 2 Running Example: Free-Choice Permission

• 3 Step
• 1: Arguments Based on Two Monotonic Logics4 Step
• 2: Preferences Among Arguments; 5 Step
• 3: Designing Non-monotonic Logics; 6 Related Work; 7 Summary and Concluding Remarks; References; A Discrete Representation of Lattice Frames; 1 Introduction; 2 Notation and First Definitions; 3 Urquhart's Lattice Representation; 4 Modal Definability of Doubly Ordered Frames; 5 Representability of Lattice Frames; 6 Summary and Outlook; References; Group Announcement Logic with Distributed Knowledge; 1 Introduction; 2 Background; 2.1 Languages; 2.2 Models and Bisimulation; 2.3 Semantics of GALD

This LNCS book is part of the FOLLI book series and constitutes the proceedings of the 7th International Workshop on Logic, Rationality, and Interaction, LORI 2019, held in Chongqing, China, in October 2019. The 31 papers presented in this book were carefully reviewed and selected from 56 submissions. They focus on the following topics: agency; argumentation and agreement; belief revision and belief merging; belief representation; cooperation; decision making and planning; natural language; philosophy and philosophical logic; and strategic reasoning. -- Provided by publisher.

• Logic
• Rationality
• Epistemology
• Cognitive Science
• Causality
• Game Theory
• Voting Theory
• Philosophy of Logic.

This LNCS book is part of the FOLLI book series and constitutes the proceedings of the 8th International Workshop on Logic, Rationality, and Interaction, LORI 2021, held in Xi`an, China, in October 2021. The 15 full papers presented together with 7 short papers in this book were carefully reviewed and selected from 40 submissions. The workshop covers a wide range on the following topics such as doxastic and epistemic logics, deontic logic, intuitionistic and subsstructural logics, voting theory, and (a new theme emphasized this year) causal inference.

• Logic
• Rationality
• Epistemology
• Cognitive Science
• Causality
• Game Theory
• Voting Theory
• Philosophy of Logic