{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2025,6,18]],"date-time":"2025-06-18T04:19:28Z","timestamp":1750220368044,"version":"3.41.0"},"publisher-location":"New York, NY, USA","reference-count":37,"publisher":"ACM","license":[{"start":{"date-parts":[[2020,9,2]],"date-time":"2020-09-02T00:00:00Z","timestamp":1599004800000},"content-version":"vor","delay-in-days":0,"URL":"https:\/\/creativecommons.org\/licenses\/by\/4.0\/"}],"content-domain":{"domain":["dl.acm.org"],"crossmark-restriction":true},"short-container-title":[],"published-print":{"date-parts":[[2020,9,2]]},"DOI":"10.1145\/3462172.3462188","type":"proceedings-article","created":{"date-parts":[[2021,7,23]],"date-time":"2021-07-23T22:06:52Z","timestamp":1627078012000},"page":"23-32","update-policy":"https:\/\/doi.org\/10.1145\/crossmark-policy","source":"Crossref","is-referenced-by-count":0,"title":["End-user feedback in multi-user workflow systems"],"prefix":"10.1145","author":[{"given":"Nico","family":"Naus","sequence":"first","affiliation":[{"name":"Open University, The Netherlands"}],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Johan","family":"Jeuring","sequence":"additional","affiliation":[{"name":"Open University and Utrecht University, The Netherlands"}],"role":[{"role":"author","vocabulary":"crossref"}]}],"member":"320","published-online":{"date-parts":[[2021,7,23]]},"reference":[{"key":"e_1_3_2_1_1_1","volume-title":"van\u00a0der Aalst","author":"Wil M.","year":"2011","unstructured":"Wil M. P. van\u00a0der Aalst . 2011 . Process Mining - Discovery, Conformance and Enhancement of Business Processes. Springer . Wil M. P. van\u00a0der Aalst. 2011. Process Mining - Discovery, Conformance and Enhancement of Business Processes. Springer."},{"key":"e_1_3_2_1_2_1","doi-asserted-by":"publisher","DOI":"10.1023\/A:1022883727209"},{"key":"e_1_3_2_1_3_1","doi-asserted-by":"publisher","DOI":"10.1080\/1355800950320102"},{"key":"e_1_3_2_1_4_1","doi-asserted-by":"publisher","DOI":"10.1287\/isre.11.1.17.11787"},{"volume-title":"Clinical decision support systems","author":"Berner S","key":"e_1_3_2_1_5_1","unstructured":"Eta\u00a0 S Berner and Tonya\u00a0 J La\u00a0Lande . 2007. Overview of clinical decision support systems . In Clinical decision support systems . Springer , 3\u201322. Eta\u00a0S Berner and Tonya\u00a0J La\u00a0Lande. 2007. Overview of clinical decision support systems. In Clinical decision support systems. Springer, 3\u201322."},{"key":"e_1_3_2_1_6_1","doi-asserted-by":"publisher","DOI":"10.1016\/0004-3702(94)90081-7"},{"key":"e_1_3_2_1_7_1","doi-asserted-by":"publisher","DOI":"10.1145\/351240.351266"},{"key":"e_1_3_2_1_8_1","doi-asserted-by":"publisher","DOI":"10.5555\/1622876.1622939"},{"key":"e_1_3_2_1_9_1","first-page":"255","article-title":"Problem description language SITPLAN","volume":"15","author":"Galagan N.I.","year":"1979","unstructured":"N.I. Galagan . 1979 . Problem description language SITPLAN . Cybernetics and Systems Analysis 15 , 2 (1979), 255 \u2013 266 . N.I. Galagan. 1979. Problem description language SITPLAN. Cybernetics and Systems Analysis 15, 2 (1979), 255\u2013266.","journal-title":"Cybernetics and Systems Analysis"},{"key":"e_1_3_2_1_10_1","doi-asserted-by":"publisher","DOI":"10.1016\/j.scico.2014.02.021"},{"key":"e_1_3_2_1_11_1","doi-asserted-by":"publisher","DOI":"10.1007\/s11786-010-0027-4"},{"key":"e_1_3_2_1_12_1","volume-title":"Proceedings of the 1st International Joint Conference on Artificial Intelligence. 295\u2013302","author":"Hewitt Carl","year":"1969","unstructured":"Carl Hewitt . 1969 . PLANNER: A Language for Proving Theorems in Robots . In Proceedings of the 1st International Joint Conference on Artificial Intelligence. 295\u2013302 . Carl Hewitt. 1969. PLANNER: A Language for Proving Theorems in Robots. In Proceedings of the 1st International Joint Conference on Artificial Intelligence. 295\u2013302."},{"key":"e_1_3_2_1_13_1","volume-title":"Planning and Acting in Partially Observable Stochastic Domains.Artificial Intelligence 101, 1-2","author":"Kaelbling Leslie\u00a0Pack","year":"1998","unstructured":"Leslie\u00a0Pack Kaelbling , Michael\u00a0 L. Littman , and Anthony\u00a0 R. Cassandra . 1998. Planning and Acting in Partially Observable Stochastic Domains.Artificial Intelligence 101, 1-2 ( 1998 ), 99\u2013134. Leslie\u00a0Pack Kaelbling, Michael\u00a0L. Littman, and Anthony\u00a0R. Cassandra. 1998. Planning and Acting in Partially Observable Stochastic Domains.Artificial Intelligence 101, 1-2 (1998), 99\u2013134."},{"key":"e_1_3_2_1_14_1","unstructured":"Daniel\u00a0L. Kovacs. 2011. BNF definition of PDDL 3.1. (2011).  Daniel\u00a0L. Kovacs. 2011. BNF definition of PDDL 3.1. (2011)."},{"key":"e_1_3_2_1_15_1","volume-title":"A Multi-Agent Extension of PDDL3.WS-IPC 2012","author":"Kovacs L.","year":"2012","unstructured":"Daniel\u00a0 L. Kovacs . 2012. A Multi-Agent Extension of PDDL3.WS-IPC 2012 ( 2012 ), 19. Daniel\u00a0L. Kovacs. 2012. A Multi-Agent Extension of PDDL3.WS-IPC 2012 (2012), 19."},{"key":"e_1_3_2_1_16_1","doi-asserted-by":"publisher","DOI":"10.3102\/0034654315581420"},{"key":"e_1_3_2_1_17_1","volume-title":"Proceedings of ISCRAM.","author":"Lijnse Bas","year":"2012","unstructured":"Bas Lijnse , Jan\u00a0Martin Jansen , and Rinus Plasmeijer . 2012 . Incidone: A Task-Oriented Incident Coordination Tool . In Proceedings of ISCRAM. Bas Lijnse, Jan\u00a0Martin Jansen, and Rinus Plasmeijer. 2012. Incidone: A Task-Oriented Incident Coordination Tool. In Proceedings of ISCRAM."},{"key":"e_1_3_2_1_18_1","volume-title":"PDDL-the planning domain definition language. AIPS-98 planning committee 3","author":"McDermott Drew","year":"1998","unstructured":"Drew McDermott , Malik Ghallab , Adele Howe , Craig Knoblock , Ashwin Ram , Manuela Veloso , Daniel Weld , and David Wilkins . 1998. PDDL-the planning domain definition language. AIPS-98 planning committee 3 ( 1998 ), 14. Drew McDermott, Malik Ghallab, Adele Howe, Craig Knoblock, Ashwin Ram, Manuela Veloso, Daniel Weld, and David Wilkins. 1998. PDDL-the planning domain definition language. AIPS-98 planning committee 3 (1998), 14."},{"key":"e_1_3_2_1_19_1","volume-title":"Trends in Functional Programming - 17th International Symposium, TFP","author":"Naus Nico","year":"2016","unstructured":"Nico Naus and Johan Jeuring . 2017. Building a generic feedback system for rule-based problems . In Trends in Functional Programming - 17th International Symposium, TFP 2016 . Springer . Nico Naus and Johan Jeuring. 2017. Building a generic feedback system for rule-based problems. In Trends in Functional Programming - 17th International Symposium, TFP 2016. Springer."},{"volume-title":"Trends in Functional Programming - 21st International Conference, TFP\u201920.","author":"Naus Nico","key":"e_1_3_2_1_20_1","unstructured":"Nico Naus and Tim Steenvoorden . 2020. Generating next step hints for task oriented programs using symbolic execution . In Trends in Functional Programming - 21st International Conference, TFP\u201920. Nico Naus and Tim Steenvoorden. 2020. Generating next step hints for task oriented programs using symbolic execution. In Trends in Functional Programming - 21st International Conference, TFP\u201920."},{"key":"e_1_3_2_1_21_1","doi-asserted-by":"crossref","unstructured":"Nico Naus Tim Steenvoorden and Markus Klinik. 2019. A symbolic execution semantics for Tophat. In IFL\u201919 (accepted for publication).  Nico Naus Tim Steenvoorden and Markus Klinik. 2019. A symbolic execution semantics for Tophat. In IFL\u201919 (accepted for publication).","DOI":"10.1145\/3412932.3412933"},{"key":"e_1_3_2_1_22_1","doi-asserted-by":"crossref","unstructured":"Judea Pearl. 1989. Probabilistic reasoning in intelligent systems - networks of plausible inference. Morgan Kaufmann.  Judea Pearl. 1989. Probabilistic reasoning in intelligent systems - networks of plausible inference. Morgan Kaufmann.","DOI":"10.1016\/B978-0-08-051489-5.50008-4"},{"key":"e_1_3_2_1_23_1","volume-title":"\u00a0M. Koopman","author":"Plasmeijer Rinus","year":"2012","unstructured":"Rinus Plasmeijer , Bas Lijnse , Steffen Michels , Peter Achten , and Pieter W . \u00a0M. Koopman . 2012 . Task-oriented programming in a pure functional language. In Principles and Practice of Declarative Programming, PPDP\u2019 12. 195\u2013206. Rinus Plasmeijer, Bas Lijnse, Steffen Michels, Peter Achten, and Pieter W.\u00a0M. Koopman. 2012. Task-oriented programming in a pure functional language. In Principles and Practice of Declarative Programming, PPDP\u201912. 195\u2013206."},{"volume-title":"Decision support systems: concepts and resources for managers","author":"Power J","key":"e_1_3_2_1_24_1","unstructured":"Daniel\u00a0 J Power . 2002. Decision support systems: concepts and resources for managers . Greenwood Publishing Group . Daniel\u00a0J Power. 2002. Decision support systems: concepts and resources for managers. Greenwood Publishing Group."},{"key":"e_1_3_2_1_25_1","doi-asserted-by":"publisher","DOI":"10.1016\/j.envsoft.2003.10.006"},{"key":"e_1_3_2_1_26_1","volume-title":"Russell and Peter Norvig","author":"J.","year":"2010","unstructured":"Stuart\u00a0 J. Russell and Peter Norvig . 2010 . Artificial Intelligence - A Modern Approach (3. internat. ed.). Pearson Education . Stuart\u00a0J. Russell and Peter Norvig. 2010. Artificial Intelligence - A Modern Approach (3. internat. ed.). Pearson Education."},{"key":"e_1_3_2_1_27_1","doi-asserted-by":"publisher","DOI":"10.1080\/13558000210161043"},{"key":"e_1_3_2_1_28_1","volume-title":"Decision support system effectiveness: a review and an empirical test. Management science 34, 2","author":"Sharda Ramesh","year":"1988","unstructured":"Ramesh Sharda , Steve\u00a0 H Barr , and James\u00a0 C MC Donnell . 1988. Decision support system effectiveness: a review and an empirical test. Management science 34, 2 ( 1988 ), 139\u2013159. Ramesh Sharda, Steve\u00a0H Barr, and James\u00a0C MCDonnell. 1988. Decision support system effectiveness: a review and an empirical test. Management science 34, 2 (1988), 139\u2013159."},{"key":"e_1_3_2_1_29_1","doi-asserted-by":"publisher","DOI":"10.1016\/S0167-9236(01)00139-7"},{"key":"e_1_3_2_1_30_1","doi-asserted-by":"publisher","DOI":"10.1145\/3354166.3354182"},{"key":"e_1_3_2_1_31_1","doi-asserted-by":"crossref","unstructured":"Jurri\u00ebn Stutterheim Peter Achten and Rinus Plasmeijer. 2015. Static and Dynamic Visualisations of Monadic Programs. In Implementation and Application of Functional Languages IFL\u201915. 1\u201313.  Jurri\u00ebn Stutterheim Peter Achten and Rinus Plasmeijer. 2015. Static and Dynamic Visualisations of Monadic Programs. In Implementation and Application of Functional Languages IFL\u201915. 1\u201313.","DOI":"10.1145\/2897336.2897337"},{"key":"e_1_3_2_1_32_1","unstructured":"Jurri\u00ebn Stutterheim Peter Achten and Rinus Plasmeijer. 2016. C2 Demo. (2016).  Jurri\u00ebn Stutterheim Peter Achten and Rinus Plasmeijer. 2016. C2 Demo. (2016)."},{"key":"e_1_3_2_1_33_1","volume-title":"Tonic: An Infrastructure to Graphically Represent the Definition and Behaviour of Tasks. In Trends in Functional Programming - 15th International Symposium, TFP\u201914. 122\u2013141.","author":"Stutterheim Jurri\u00ebn","year":"2014","unstructured":"Jurri\u00ebn Stutterheim , Rinus Plasmeijer , and Peter Achten . 2014 . Tonic: An Infrastructure to Graphically Represent the Definition and Behaviour of Tasks. In Trends in Functional Programming - 15th International Symposium, TFP\u201914. 122\u2013141. Jurri\u00ebn Stutterheim, Rinus Plasmeijer, and Peter Achten. 2014. Tonic: An Infrastructure to Graphically Represent the Definition and Behaviour of Tasks. In Trends in Functional Programming - 15th International Symposium, TFP\u201914. 122\u2013141."},{"volume-title":"Decision support and expert systems: Managerial perspectives","author":"Turban Efraim","key":"e_1_3_2_1_34_1","unstructured":"Efraim Turban . 1988. Decision support and expert systems: Managerial perspectives . Macmillan . Efraim Turban. 1988. Decision support and expert systems: Managerial perspectives. Macmillan."},{"key":"e_1_3_2_1_35_1","doi-asserted-by":"publisher","DOI":"10.1145\/289423.289425"},{"key":"e_1_3_2_1_36_1","volume-title":"FLOPS 2020, Akita, Japan, September 14-16, 2020, Proceedings. 179\u2013197","author":"Westphal Oliver","year":"2020","unstructured":"Oliver Westphal and Janis Voigtl\u00e4nder . 2020 . Implementing, and Keeping in Check, a DSL Used in E-Learning. In Functional and Logic Programming - 15th International Symposium , FLOPS 2020, Akita, Japan, September 14-16, 2020, Proceedings. 179\u2013197 . https:\/\/doi.org\/10.1007\/978-3-030-59025-3_11 10.1007\/978-3-030-59025-3_11 Oliver Westphal and Janis Voigtl\u00e4nder. 2020. Implementing, and Keeping in Check, a DSL Used in E-Learning. In Functional and Logic Programming - 15th International Symposium, FLOPS 2020, Akita, Japan, September 14-16, 2020, Proceedings. 179\u2013197. https:\/\/doi.org\/10.1007\/978-3-030-59025-3_11"},{"volume-title":"Proc. International Planning Competition.","author":"S.","key":"e_1_3_2_1_37_1","unstructured":"Hakan\u00a0L. S. Younes and Michael\u00a0L. Littman. 2004. PPDDL1. 0: The language for the probabilistic part of IPC-4 . In Proc. International Planning Competition. Hakan\u00a0L.S. Younes and Michael\u00a0L. Littman. 2004. PPDDL1. 0: The language for the probabilistic part of IPC-4. In Proc. International Planning Competition."}],"event":{"name":"IFL 2020: 32nd Symposium on Implementation and Application of Functional Languages","acronym":"IFL 2020","location":"Canterbury United Kingdom"},"container-title":["Proceedings of the 32nd Symposium on Implementation and Application of Functional Languages"],"original-title":[],"link":[{"URL":"https:\/\/dl.acm.org\/doi\/10.1145\/3462172.3462188","content-type":"unspecified","content-version":"vor","intended-application":"text-mining"},{"URL":"https:\/\/dl.acm.org\/doi\/pdf\/10.1145\/3462172.3462188","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2025,6,17]],"date-time":"2025-06-17T20:17:34Z","timestamp":1750191454000},"score":1,"resource":{"primary":{"URL":"https:\/\/dl.acm.org\/doi\/10.1145\/3462172.3462188"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2020,9,2]]},"references-count":37,"alternative-id":["10.1145\/3462172.3462188","10.1145\/3462172"],"URL":"https:\/\/doi.org\/10.1145\/3462172.3462188","relation":{},"subject":[],"published":{"date-parts":[[2020,9,2]]},"assertion":[{"value":"2021-07-23","order":2,"name":"published","label":"Published","group":{"name":"publication_history","label":"Publication History"}}]}}