01203nam a2200289 i 450099100016761970753620020506110040.0990624s1990 uk ||| | eng 052137202Xb1004002x-39ule_instLE02614329ExLDip.to Ingegneria dell'Innovazioneita004.019Harrison, Michael47573Formal methods in human computer interaction /edited by Michael Harrison and Harold ThimbleblyCambridge [etc] :Cambridge University Press,1990xi, 323 p. ;26 cmCambridge. Series on human computer interaction ;2Informatica - Interazione uomo-macchinaInterazione uomo-macchinaThimblebly, Harold.b1004002x17-02-1731-05-02991000167619707536LE026 004.019 HAR 01.01 199012026000005850le026Testo collocato sopra gli scaffali della SEZIONE-INFORMATICA-E0.00-ls 40000.i1004565x31-05-02Formal methods in human computer interaction177111UNISALENTOle02601-01-99ma -enguk 0105221nam 22006615 450 99669167780331620251225175024.03-032-12408-510.1007/978-3-032-12408-1(MiAaPQ)EBC32433139(Au-PeEL)EBL32433139(CKB)43914510200041(DE-He213)978-3-032-12408-1(EXLCZ)994391451020004120251201d2026 u| 0engurcnu||||||||txtrdacontentcrdamediacrrdacarrierInteractive Storytelling 18th International Conference on Interactive Digital Storytelling, ICIDS 2025, Saint Julian, Malta, December 1–5, 2025, Proceedings, Part I /edited by María Cecilia Reyes, Frank Nack1st ed. 2026.Cham :Springer Nature Switzerland :Imprint: Springer,2026.1 online resource (591 pages)Lecture Notes in Computer Science,1611-3349 ;163743-032-12407-7 -- Understanding the Kaleidoscopic Nature of Interactive Digital Narratives through Repeat Experience. -- An Architecture for Interactive Storytelling in the Domain of Care Training. -- A Critical View on the Need for Adaptation and AI Services in IDN Authoring. -- On Neuro-Game Design: A Connectionist Paradigm Shift. -- What We Talk About When We Talk About Insights from Interactive Digital Narratives. -- Interactive Digital Narratives to Represent Complexity: A Review. -- A Distant Reading-Based Framework for the Evaluation of Screenplays. -- Combining Experiential and Spatial Data for Immersive AR Narrative Creation: a Phased Methodology. -- Killer on Board: Addressing the Narrative Paradox by Utilizing LLM-driven NPCs. -- Level Up with a Story: A Scoping Review on Narratives in Serious Games for Children and Adolescents’ Health. -- Hierarchical Knowledge Graphs for Story Understanding in Visual Narratives. -- Quantifying the Subjective- The Digital Character Believability Comparator Framework for NPC evaluation. -- How do I respond? Evaluating Uncertainty representation in IDNs. -- Iterative, Contextualized, AI-assisted Benchmarking of Generative AI Tools for the Design of Interactive Digital Narratives in 2025. -- Distant Coding and the Future of Interactive Digital Narrative Pedagogy. -- The Winged Kingdom: Interactive Storytelling for Biodiversity Awareness Through VR and AR Experiences inColombia. -- Hacking Twine as a System: Implications of Extending State-Based Tracking Elements and Application Packag-ing for HTML-Based IDNs. -- How Political Expression is Taking Place in Virtual Worlds: the case of Roblox. -- Towards An Understanding of Materiality in Tangible Interactive Narratives. -- Developing a Ludonarrative Engine for a Historical Site using Locative AR and Music: Psychogeography for Battle of the Boyne. -- Kaleidoscopic AI: Hallucinations on the Verge of Creativity. -- Interactive Digital Narrative and Structured Debate for Learning Ethics. -- Dotyk´aˇce: Autoteatro-Inspired Digital Storytelling for Teenage Mobile Phone Use Reflection. -- Immersive Storytelling for Co-Creation in XR: A Four-Dimension Framework. -- Project Phoenix– Resurrecting ASAPS, an Obsolete IDN Authoring System Using Generative AI. -- Neolithic experiences: Approaching a complex topic through IDNs using GenAI. -- Designing Multispecies Futures through Speculative Fiction and Interactive Narratives.This two-volume set constitutes the refereed proceedings of the 18th International Conference on Interactive Digital Storytelling, ICIDS 2025, held in Saint Julian, Malta, during December 1–5, 2025. The 31 full papers, 4 short papers and 19 Late Breaking Works included in this book were carefully reviewed and selected from 110 submissions.This year, the thematic areas of the conference were organized into five main sections: Theory, History and Foundations; Methods, Tools and Updates; Applications and Case Studies; Social, Cultural and Critical Perspectives; and the Late Breaking works.Lecture Notes in Computer Science,1611-3349 ;16374ComputersComputer engineeringComputer networksArtificial intelligenceDigital humanitiesComputing MilieuxComputer Engineering and NetworksArtificial IntelligenceDigital HumanitiesComputer Communication NetworksComputers.Computer engineering.Computer networks.Artificial intelligence.Digital humanities.Computing Milieux.Computer Engineering and Networks.Artificial Intelligence.Digital Humanities.Computer Communication Networks.004Reyes María Cecilia1782622MiAaPQMiAaPQMiAaPQBOOK996691677803316Interactive Storytelling4466416UNISA