{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2025,10,21]],"date-time":"2025-10-21T15:25:39Z","timestamp":1761060339673,"version":"3.41.0"},"reference-count":52,"publisher":"Association for Computing Machinery (ACM)","issue":"2","license":[{"start":{"date-parts":[[2017,4,27]],"date-time":"2017-04-27T00:00:00Z","timestamp":1493251200000},"content-version":"vor","delay-in-days":0,"URL":"https:\/\/www.acm.org\/publications\/policies\/copyright_policy#Background"}],"content-domain":{"domain":["dl.acm.org"],"crossmark-restriction":true},"short-container-title":["ACM Trans. Comput.-Hum. Interact."],"published-print":{"date-parts":[[2017,4,30]]},"abstract":"<jats:p>The realization and deployment of the Internet of Things require providing to non-programmers some level of programmatic control for tailoring system behaviour to their context and needs. We introduce a simple context-range semantics (CRS) and a context-range editor (CoRE) that support end users formulate and understand logical expressions regarding context. The editor builds on two key ideas (a) contextual information is used to evaluate and minimize logical expressions; (b) logical expressions are presented in a disjunctive normal form (DNF) thus applying a principle established in mental model theory. User tests reveal situations in which the theory regarding the intuitiveness of the DNF needs to be extended with a new element: Logical terms are easier to comprehend and formulate when grouped according to their semantic affinity. We report two experiments that demonstrate the intuitiveness of this approach and how it improves performance of non-programmers in specifying context sensitive system behaviour.<\/jats:p>","DOI":"10.1145\/3057860","type":"journal-article","created":{"date-parts":[[2017,4,28]],"date-time":"2017-04-28T12:38:23Z","timestamp":1493383103000},"page":"1-36","update-policy":"https:\/\/doi.org\/10.1145\/crossmark-policy","source":"Crossref","is-referenced-by-count":14,"title":["Natural Contextual Reasoning for End Users"],"prefix":"10.1145","volume":"24","author":[{"given":"Georgios","family":"Metaxas","sequence":"first","affiliation":[{"name":"Ambianti B.V., Eindhoven, The Netherlands"}],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Panos","family":"Markopoulos","sequence":"additional","affiliation":[{"name":"Eindhoven University of Technology, Eindhoven, The Netherlands"}],"role":[{"role":"author","vocabulary":"crossref"}]}],"member":"320","published-online":{"date-parts":[[2017,4,27]]},"reference":[{"key":"e_1_2_1_1_1","unstructured":"G. Abowd Russell Beale A. Dix and J. Finlay. 1996. Human-Computer Interaction. Graduate computer science course offered at Georgia tech winter.  G. Abowd Russell Beale A. Dix and J. Finlay. 1996. Human-Computer Interaction. Graduate computer science course offered at Georgia tech winter."},{"key":"e_1_2_1_2_1","doi-asserted-by":"publisher","DOI":"10.1145\/344949.344988"},{"key":"e_1_2_1_3_1","doi-asserted-by":"publisher","DOI":"10.1016\/j.jvlc.2013.12.004"},{"key":"e_1_2_1_4_1","first-page":"4","article-title":"User-driven visual composition of service-based interactive spaces","volume":"25","author":"Carmelo Ardito","year":"2014","journal-title":"J. Vis. Lang. Comput."},{"key":"e_1_2_1_5_1","doi-asserted-by":"publisher","DOI":"10.1007\/978-3-540-39653-6_12"},{"key":"e_1_2_1_6_1","first-page":"2","article-title":"Intelligibility and accountability: Human considerations in context-aware systems. Hum.--Comput","volume":"16","author":"Bellotti Victoria","year":"2001","journal-title":"Interact."},{"key":"e_1_2_1_7_1","doi-asserted-by":"publisher","DOI":"10.1109\/HCC.2002.1046334"},{"key":"e_1_2_1_8_1","doi-asserted-by":"publisher","DOI":"10.1109\/HCC.2001.995253"},{"key":"e_1_2_1_9_1","doi-asserted-by":"publisher","DOI":"10.1080\/14640749208401317"},{"key":"e_1_2_1_10_1","doi-asserted-by":"publisher","DOI":"10.1007\/s11257-005-1269-8"},{"volume-title":"Retrieved","year":"2009","author":"Christensen Eric","key":"e_1_2_1_11_1"},{"key":"e_1_2_1_12_1","doi-asserted-by":"publisher","DOI":"10.5555\/1622519.1622528"},{"key":"e_1_2_1_13_1","doi-asserted-by":"publisher","DOI":"10.1016\/j.jvlc.2014.03.005"},{"key":"e_1_2_1_14_1","doi-asserted-by":"publisher","DOI":"10.1145\/985692.985697"},{"key":"e_1_2_1_15_1","doi-asserted-by":"publisher","DOI":"10.1007\/11748625_16"},{"key":"e_1_2_1_16_1","doi-asserted-by":"publisher","DOI":"10.1007\/3-540-45427-6_22"},{"key":"e_1_2_1_17_1","doi-asserted-by":"publisher","DOI":"10.1145\/570645.570680"},{"key":"e_1_2_1_18_1","doi-asserted-by":"publisher","DOI":"10.1017\/S135132490600427X"},{"key":"e_1_2_1_19_1","doi-asserted-by":"publisher","DOI":"10.1016\/j.ijhcs.2015.10.008"},{"volume-title":"Retrieved","year":"2009","key":"e_1_2_1_20_1"},{"key":"e_1_2_1_21_1","doi-asserted-by":"publisher","DOI":"10.1007\/978-3-540-39653-6_20"},{"key":"e_1_2_1_22_1","first-page":"999","article-title":"Mental models, deductive reasoning, and the brain","volume":"65","author":"Johnson-Laird Philip N.","year":"1995","journal-title":"Cogn. Neurosci."},{"volume-title":"Mental Models: Towards a Cognitive Science of Language, Inference, and Consciousness","year":"1983","author":"Johnson-Laird Philip N.","key":"e_1_2_1_23_1"},{"volume-title":"How We Reason","author":"Nicholas Philip","key":"e_1_2_1_24_1"},{"key":"e_1_2_1_25_1","doi-asserted-by":"publisher","DOI":"10.1145\/1556460.1556489"},{"key":"e_1_2_1_26_1","doi-asserted-by":"publisher","DOI":"10.1007\/s007990050048"},{"key":"e_1_2_1_27_1","doi-asserted-by":"publisher","DOI":"10.1016\/j.ijhcs.2008.09.006"},{"key":"e_1_2_1_28_1","doi-asserted-by":"publisher","DOI":"10.3115\/1614049.1614053"},{"volume-title":"Proceedings of the 11th International Conference on Ubiquitous Computing (UbiComp\u201909)","year":"2054","author":"Brian","key":"e_1_2_1_29_1"},{"key":"e_1_2_1_30_1","doi-asserted-by":"publisher","DOI":"10.1145\/1518701.1519023"},{"key":"e_1_2_1_31_1","first-page":"5","article-title":"Ambient intelligence: Vision, research, and life","volume":"8","author":"Markopoulos Panos","year":"2016","journal-title":"J. Ambient Intell. Smart Environ."},{"key":"e_1_2_1_32_1","doi-asserted-by":"publisher","DOI":"10.1007\/1-84628-089-3_8"},{"key":"e_1_2_1_33_1","doi-asserted-by":"publisher","DOI":"10.1007\/978-3-540-30473-9_23"},{"key":"e_1_2_1_34_1","doi-asserted-by":"publisher","DOI":"10.1007\/s00779-004-0286-7"},{"key":"e_1_2_1_35_1","doi-asserted-by":"publisher","DOI":"10.1007\/1-4020-5386-X_17"},{"key":"e_1_2_1_37_1","doi-asserted-by":"publisher","DOI":"10.1007\/978-3-642-05408-2_11"},{"key":"e_1_2_1_38_1","doi-asserted-by":"publisher","DOI":"10.1007\/978-3-540-74800-7_34"},{"key":"e_1_2_1_39_1","doi-asserted-by":"publisher","DOI":"10.1007\/978-3-540-39653-6_24"},{"volume-title":"G. de Vooght, Vandierendonckt, and G. d","year":"2000","author":"Ormerod Thomas C.","key":"e_1_2_1_40_1"},{"key":"e_1_2_1_41_1","doi-asserted-by":"publisher","DOI":"10.1109\/VL.2000.874379"},{"key":"e_1_2_1_42_1","doi-asserted-by":"publisher","DOI":"10.1006\/ijhc.2000.0410"},{"volume-title":"Proceedings of the EMNLP-CoNLL. 717--727","year":"2007","author":"Patwardhan Siddharth","key":"e_1_2_1_43_1"},{"key":"e_1_2_1_44_1","doi-asserted-by":"publisher","DOI":"10.3115\/1614025.1614037"},{"key":"e_1_2_1_45_1","doi-asserted-by":"publisher","DOI":"10.1109\/SURV.2013.042313.00197"},{"volume-title":"Proceedings of the ECAI. 677--681","year":"1998","author":"Power Richard","key":"e_1_2_1_46_1"},{"key":"e_1_2_1_47_1","doi-asserted-by":"publisher","DOI":"10.1145\/1083231.1083232"},{"key":"e_1_2_1_48_1","doi-asserted-by":"publisher","DOI":"10.1109\/MC.2010.54"},{"key":"e_1_2_1_49_1","doi-asserted-by":"publisher","DOI":"10.1080\/02724980343000413"},{"key":"e_1_2_1_50_1","doi-asserted-by":"publisher","DOI":"10.1145\/2702123.2702504"},{"key":"e_1_2_1_51_1","doi-asserted-by":"publisher","DOI":"10.1007\/978-3-540-30119-6_9"},{"key":"e_1_2_1_52_1","doi-asserted-by":"publisher","DOI":"10.1109\/IE.2010.56"},{"key":"e_1_2_1_53_1","doi-asserted-by":"publisher","DOI":"10.1109\/MIC.2008.114"}],"container-title":["ACM Transactions on Computer-Human Interaction"],"original-title":[],"language":"en","link":[{"URL":"https:\/\/dl.acm.org\/doi\/10.1145\/3057860","content-type":"unspecified","content-version":"vor","intended-application":"text-mining"},{"URL":"https:\/\/dl.acm.org\/doi\/pdf\/10.1145\/3057860","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2025,6,18]],"date-time":"2025-06-18T04:24:03Z","timestamp":1750220643000},"score":1,"resource":{"primary":{"URL":"https:\/\/dl.acm.org\/doi\/10.1145\/3057860"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2017,4,27]]},"references-count":52,"journal-issue":{"issue":"2","published-print":{"date-parts":[[2017,4,30]]}},"alternative-id":["10.1145\/3057860"],"URL":"https:\/\/doi.org\/10.1145\/3057860","relation":{},"ISSN":["1073-0516","1557-7325"],"issn-type":[{"type":"print","value":"1073-0516"},{"type":"electronic","value":"1557-7325"}],"subject":[],"published":{"date-parts":[[2017,4,27]]},"assertion":[{"value":"2016-04-01","order":0,"name":"received","label":"Received","group":{"name":"publication_history","label":"Publication History"}},{"value":"2017-01-01","order":1,"name":"accepted","label":"Accepted","group":{"name":"publication_history","label":"Publication History"}},{"value":"2017-04-27","order":2,"name":"published","label":"Published","group":{"name":"publication_history","label":"Publication History"}}]}}