{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2025,10,30]],"date-time":"2025-10-30T18:02:07Z","timestamp":1761847327990,"version":"build-2065373602"},"reference-count":51,"publisher":"IEEE","license":[{"start":{"date-parts":[[2025,9,17]],"date-time":"2025-09-17T00:00:00Z","timestamp":1758067200000},"content-version":"stm-asf","delay-in-days":0,"URL":"https:\/\/doi.org\/10.15223\/policy-029"},{"start":{"date-parts":[[2025,9,17]],"date-time":"2025-09-17T00:00:00Z","timestamp":1758067200000},"content-version":"stm-asf","delay-in-days":0,"URL":"https:\/\/doi.org\/10.15223\/policy-037"}],"content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":[],"published-print":{"date-parts":[[2025,9,17]]},"DOI":"10.1109\/ds-rt68115.2025.11186011","type":"proceedings-article","created":{"date-parts":[[2025,10,28]],"date-time":"2025-10-28T17:31:15Z","timestamp":1761672675000},"page":"1-8","source":"Crossref","is-referenced-by-count":0,"title":["The Interactive Retroduction Cycle: Amplifying Cognitive Focus in Complex Simulations"],"prefix":"10.1109","author":[{"given":"Anne","family":"Vetter","sequence":"first","affiliation":[{"name":"University of Würzburg,Games Engineering,Germany"}],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Sebastian","family":"von Mammen","sequence":"additional","affiliation":[{"name":"University of Würzburg,Games Engineering,Germany"}],"role":[{"role":"author","vocabulary":"crossref"}]}],"member":"263","reference":[{"key":"ref1","first-page":"771","article-title":"Organising insights into simulation practice","volume-title":"2007 Winter Simulation Conference","author":"Pidd"},{"issue":"3503","key":"ref2","doi-asserted-by":"crossref","first-page":"1037","DOI":"10.1038\/1381037c0","article-title":"Collected Papers of Charles Sanders Peirce","volume":"138","author":"G.","year":"1936","journal-title":"Nature"},{"key":"ref3","doi-asserted-by":"publisher","DOI":"10.1007\/s11229-019-02127-7"},{"key":"ref4","doi-asserted-by":"publisher","DOI":"10.1093\/cercor\/bhab174"},{"key":"ref5","doi-asserted-by":"publisher","DOI":"10.1162\/jocn_a_01311"},{"key":"ref6","doi-asserted-by":"publisher","DOI":"10.7551\/mitpress\/9780262514620.001.0001"},{"key":"ref7","doi-asserted-by":"publisher","DOI":"10.1016\/B978-0-12-407187-2.00001-0"},{"volume-title":"When nomenclature matters: Is the \u201cnew paradigm\u201d really a new paradigm for the psychology of reasoning?","year":"2020","author":"Knauff","key":"ref8"},{"key":"ref9","doi-asserted-by":"publisher","DOI":"10.1115\/detc2005-85334"},{"key":"ref10","article-title":"Reasoning Types in An Industrial Engineering\/Operations Management","volume-title":"Proceedings of the 9th International Conference on Industrial Engineering and Operations Management (IEOM)","volume":"9","author":"Oral"},{"issue":"9","key":"ref11","doi-asserted-by":"crossref","first-page":"495","DOI":"10.3390\/educsci11090495","article-title":"Modeling as Scientific Reasoning-The Role of Abductive Reasoning for Modeling Competence","volume":"11","author":"Upmeier","year":"2021","journal-title":"Education Sciences"},{"issue":"29","key":"ref12","first-page":"267","article-title":"TOULMIN\u2019S MODEL OF ARGUMENT AND THE \u2018LOGIC\u2019 OF SCIENTIFIC DISCOVERY","volume":"16","author":"Zarebski","year":"2009","journal-title":"Studies in Logic, Grammar and Rhetoric"},{"key":"ref13","doi-asserted-by":"crossref","first-page":"3","DOI":"10.1002\/9780470403563.ch1","article-title":"What Is Modeling and Simulation?","volume-title":"Principles of Modeling and Simulation","author":"Banks","year":"2009"},{"key":"ref14","first-page":"216","article-title":"Towards simulation-based robust computational scientific discovery systems","volume-title":"Proceedings of the 2011 Summer Computer Simulation Conference","author":"Yilmaz"},{"volume-title":"Simulation Intelligence: Towards a New Generation of Scientific Methods","year":"2022","author":"Lavin","key":"ref15"},{"volume-title":"Knowledge Graph Based Agent for Complex, Knowledge-Intensive QA in Medicine","year":"2024","author":"Su","key":"ref16"},{"key":"ref17","doi-asserted-by":"publisher","DOI":"10.1109\/ACSOSC56246.2022.00044"},{"key":"ref18","doi-asserted-by":"publisher","DOI":"10.1016\/j.ecoinf.2007.02.002"},{"article-title":"Bridging qualitative and quantitative modeling with fuzzx","volume-title":"Italian Conference on Theoretical Computer Science","author":"Spolaor","key":"ref19"},{"volume-title":"Abductive Reasoning with the GPT -4 Language Model: Case studies from criminal investigation, medical practice, scientific research","year":"2023","author":"Pareschi","key":"ref20"},{"issue":"7","key":"ref21","doi-asserted-by":"crossref","first-page":"1209","DOI":"10.3390\/math13071209","article-title":"An Anomaly Detection Method for Multivariate Time Series Data Based on Variational Autoencoders and Association Discrepancy","volume":"13","author":"Wang","year":"2025","journal-title":"Mathematics"},{"issue":"1-3","key":"ref22","doi-asserted-by":"crossref","first-page":"129","DOI":"10.1016\/S0743-1066(99)00075-8","article-title":"ACLP: Abductive Constraint Logic Programming","volume":"44","author":"Kakas","year":"2000","journal-title":"The Journal of Logic Programming"},{"volume-title":"Toward a Computational Theory of Evidence-Based Reasoning for Instructable Cognitive Agents","year":"2019","author":"Tecuci","key":"ref23"},{"key":"ref24","first-page":"117","article-title":"Hypothesis Generation with Large Language Models","volume-title":"Proceedings of the 1st Workshop on NLP for Science (NLP4Science)","author":"Zhou"},{"volume-title":"Large Language Model in Ideation for Product Innovation: An Exploratory Comparative Study","year":"2024","author":"Zheng","key":"ref25"},{"issue":"Long Papers","key":"ref26","first-page":"1312","article-title":"Advancing Abductive Reasoning in Knowledge Graphs through Complex Logical Hypothesis Generation","volume-title":"Proceedings of the 62nd Annual Meeting of the Association for Computational Linguistics","volume":"1","author":"Bai","year":"2024"},{"issue":"1","key":"ref27","doi-asserted-by":"crossref","first-page":"39","DOI":"10.3233\/AIC-1994-7104","article-title":"Case-Based Reasoning: Foundational Issues, Methodological Variations, and System Approaches","volume":"7","author":"Aamodt","year":"1994","journal-title":"AI Communications"},{"key":"ref28","doi-asserted-by":"publisher","DOI":"10.1007\/springerreference_178809"},{"issue":"11","key":"ref29","doi-asserted-by":"crossref","first-page":"6146","DOI":"10.3390\/su13116146","article-title":"An Improved Case-Based Reasoning Model for Simulating Urban Growth","volume":"13","author":"Ye","year":"2021","journal-title":"Sustainability"},{"key":"ref30","doi-asserted-by":"publisher","DOI":"10.1007\/s10586-024-04514-3"},{"key":"ref31","doi-asserted-by":"crossref","first-page":"26","DOI":"10.1109\/VIS55277.2024.00013","article-title":"Guided statistical workflows with interactive explanations and assumption checking","author":"Zhang","year":"2024","journal-title":"2024 IEEE Visualization and Visual Analytics (VIS)"},{"key":"ref32","doi-asserted-by":"crossref","first-page":"168814","DOI":"10.1016\/j.scitotenv.2023.168814","article-title":"Physics-informed neural networks as surrogate models of hydro-dynamic simulators","volume":"912","author":"Donnelly","year":"2024","journal-title":"Science of The Total Environment"},{"key":"ref33","doi-asserted-by":"publisher","DOI":"10.1177\/154851290500200405"},{"key":"ref34","doi-asserted-by":"publisher","DOI":"10.1007\/s44196-024-00646-x"},{"key":"ref35","doi-asserted-by":"publisher","DOI":"10.1007\/b105236"},{"key":"ref36","doi-asserted-by":"publisher","DOI":"10.1145\/3182657"},{"key":"ref37","doi-asserted-by":"publisher","DOI":"10.2172\/1892155"},{"key":"ref38","doi-asserted-by":"publisher","DOI":"10.3389\/fninf.2018.00032"},{"key":"ref39","doi-asserted-by":"publisher","DOI":"10.1007\/s11704-023-2691-y"},{"key":"ref40","doi-asserted-by":"publisher","DOI":"10.1145\/3514228"},{"key":"ref41","doi-asserted-by":"publisher","DOI":"10.1162\/isal_a_00636"},{"key":"ref42","doi-asserted-by":"publisher","DOI":"10.1007\/978-3-642-19167-1_3"},{"key":"ref43","doi-asserted-by":"crossref","first-page":"686","DOI":"10.1016\/j.jcp.2018.10.045","article-title":"Physics-informed neural networks: A deep learning framework for solving forward and inverse problems involving nonlinear partial differential equations","volume":"378","author":"Raissi","year":"2019","journal-title":"Journal of Computational Physics"},{"volume-title":"Geometric Deep Learning: Grids, Groups, Graphs, Geodesics, and Gauges","year":"2021","author":"Bronstein","key":"ref44"},{"volume-title":"A path towards autonomous machine intelligence","year":"2022","author":"LeCun","key":"ref45"},{"key":"ref46","doi-asserted-by":"publisher","DOI":"10.1111\/cgf.13092"},{"volume-title":"Visualization for Human-Centered AI Tools","year":"2024","author":"Hoque","key":"ref47"},{"key":"ref48","first-page":"45","article-title":"Towards meaning-making with interactive visualisations","volume-title":"Proceedings of the 2023 ASCILITE Conference: People, Partnerships and Pedagogies","author":"Canizares"},{"key":"ref49","doi-asserted-by":"publisher","DOI":"10.1002\/ecm.1628"},{"key":"ref50","doi-asserted-by":"crossref","first-page":"113092","DOI":"10.1016\/j.knosys.2025.113092","article-title":"Towards consistency of rule-based explainer and black box model- fusion of rule induction and XAI-based feature importance","volume":"311","author":"Kozielski","year":"2025","journal-title":"Knowledge-Based Systems"},{"key":"ref51","doi-asserted-by":"publisher","DOI":"10.1109\/TVCG.2024.3372103"}],"event":{"name":"2025 29th International Symposium on Distributed Simulation and Real Time Applications (DS-RT)","start":{"date-parts":[[2025,9,17]]},"location":"Prague, Czech Republic","end":{"date-parts":[[2025,9,19]]}},"container-title":["2025 29th International Symposium on Distributed Simulation and Real Time Applications (DS-RT)"],"original-title":[],"link":[{"URL":"http:\/\/xplorestaging.ieee.org\/ielx8\/11185057\/11185078\/11186011.pdf?arnumber=11186011","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2025,10,30]],"date-time":"2025-10-30T17:57:26Z","timestamp":1761847046000},"score":1,"resource":{"primary":{"URL":"https:\/\/ieeexplore.ieee.org\/document\/11186011\/"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2025,9,17]]},"references-count":51,"URL":"https:\/\/doi.org\/10.1109\/ds-rt68115.2025.11186011","relation":{},"subject":[],"published":{"date-parts":[[2025,9,17]]}}}