Lu, Z.; Augusto, J.; Liu, J.; Wang, H.

A linguistic truth-value temporal reasoning (LTR) system and its application to the design of an intelligent environment

Article

Lu, Z., Augusto, J., Liu, J. and Wang, H. 2012. A linguistic truth-value temporal reasoning (LTR) system and its application to the design of an intelligent environment. International Journal of Computational Intelligence Systems. 5 (1), pp. 173-196. https://doi.org/10.1080/18756891.2012.670529

Publication dates
Type	Article
Title	A linguistic truth-value temporal reasoning (LTR) system and its application to the design of an intelligent environment
Authors	Lu, Z., Augusto, J., Liu, J. and Wang, H.
Abstract	This paper focuses on a linguistic-valued temporal logic based reasoning formalism for dynamically modelling and merging information under uncertainty in some real world systems where the state of a system evolves over time and the transition through states depends on uncertain conditions. We provide forward and backward reasoning algorithms which, respectively, support simulation and query answering. These algorithms are then explained through several examples based on Smart Homes applications.
Research Group	Research Group on Development of Intelligent Environments
Publisher	Atlantis Press
Journal	International Journal of Computational Intelligence Systems
ISSN	1875-6891
Print	2012
Publication process dates
Deposited	26 Mar 2013
Output status	Published
Digital Object Identifier (DOI)	https://doi.org/10.1080/18756891.2012.670529
Language	English

Permalink -

https://repository.mdx.ac.uk/item/83y4z

Log in to edit

Fetching citation counts from Clarivate.

100
total views
0
total downloads
3
views this month
0
downloads this month

Export as

Related outputs

Generating data in an intelligent environment and systematically predicting user activity via bluetooth low energy beacons and machine learning

Benedict. S., Augusto, J. and Kacar. O. 2024. Generating data in an intelligent environment and systematically predicting user activity via bluetooth low energy beacons and machine learning. Hornos, M., Slapničar, G. and Yu, J. (ed.) 20th International Conference on Intelligent Environments (IE2024). Ljubljana, Slovenia 17 - 20 Jun 2024 IOS Press. pp. 158-163 https://doi.org/10.3233/AISE240030

Gaining insight into user behaviour and systematically determing user location via Bluetooth low energy beacon optimisation

Benedict, S., Augusto, J. and Kacar. O. 2024. Gaining insight into user behaviour and systematically determing user location via Bluetooth low energy beacon optimisation. 20th International Conference on Intelligent Environments (IE2024). Ljubljana, Slovenia 17 - 20 Jun 2024 IEEE. https://doi.org/10.1109/IE61493.2024.10599920

Towards engineering higher quality intelligent environments: a multi case study approach

Santokhee, A., Augusto, J. and Brodie, L. 2024. Towards engineering higher quality intelligent environments: a multi case study approach. Software Quality Journal. 32 (3), pp. 1075-1135. https://doi.org/10.1007/s11219-024-09678-0

Taxonomy and software architecture for real-time context-aware collaborative smart environments

Bazan-Muñoz, A., Ortiz, G., Augusto, J. C. and Garcia-de-Prado, A. 2024. Taxonomy and software architecture for real-time context-aware collaborative smart environments. Internet of Things. 26. https://doi.org/10.1016/j.iot.2024.101160

Applying motivational techniques for user adherence to adopt a healthy lifestyle in a gamified application

Fatima, S., Augusto, J., Moseley, R., Urbonas, P., Elliott, A. and Payne, N. 2023. Applying motivational techniques for user adherence to adopt a healthy lifestyle in a gamified application. Entertainment Computing. 46. https://doi.org/10.1016/j.entcom.2023.100571

A user-guided personalization methodology to facilitate new smart home occupancy

Ali, S.M.M., Augusto, J., Windridge, D. and Ward, E. 2023. A user-guided personalization methodology to facilitate new smart home occupancy. Universal Access in the Information Society. 22 (3), pp. 869-891. https://doi.org/10.1007/s10209-022-00883-x

Quality traceability for user-centric context-aware systems in intelligent environments

Sakanga, N., Augusto, J., Brodie, L. and Marzano, L. 2022. Quality traceability for user-centric context-aware systems in intelligent environments. Work-07: Digital Innovation for people well-being: Healthcare and Agriculture perspectives . Yokohama, Japan 07 Nov 2022 IEEE. https://doi.org/10.1109/WF-IoT54382.2022.10152209

Gamification for healthier lifestyle – user retention

Fatima, S., Augusto, J., Moseley, R. and Urbonas, P. 2022. Gamification for healthier lifestyle – user retention. 3rd Workshop on Smart Data Integration and Processing on Service Based Environments (STRAPS 2021). Dubai, UAE 22 Nov 2021 Springer. pp. 217-227 https://doi.org/10.1007/978-3-031-14135-5_17

Introduction to the Proceedings of WoRIE’22

Rodríguez-Domínguez, C., Santokhee, A., Hornos, M. and Augusto, J. 2022. Introduction to the Proceedings of WoRIE’22. in: Alvarez Valera, H. and Luštrek, M. (ed.) Intelligent Environments 2022: Workshops at 18th International Conference on Intelligent Environments (IE2022) IOS Press.

Engineering context updates

Augusto, J. 2022. Engineering context updates. 5th Citizen-Centric Smart Cities Services (CCSCS'2022) Workshop. Biarritz, France 20 - 21 Jun 2022 IOS Press. pp. 293-301 https://doi.org/10.3233/aise220056

Contexts and context-awareness revisited from an intelligent environments perspective

Augusto, J. 2022. Contexts and context-awareness revisited from an intelligent environments perspective. Applied Artificial Intelligence. 36 (1), pp. 694-725. https://doi.org/10.1080/08839514.2021.2008644

AnAbEL: Towards empowering people living with dementia in ambient assisted living

Gimenez Manuel, J., Augusto, J. and Stewart, J. 2022. AnAbEL: Towards empowering people living with dementia in ambient assisted living. Universal Access in the Information Society. 21 (2), pp. 457-476. https://doi.org/10.1007/s10209-020-00760-5

The Life-cycle of artificial contexts

Augusto, J. and Dickins, T. 2021. The Life-cycle of artificial contexts. Modeling and Using Context. 4 (Sp Iss), pp. 1-7. https://doi.org/10.21494/ISTE.OP.2021.0685

Smart cities: state of the art and future challenges

Augusto, J. 2021. Smart cities: state of the art and future challenges. in: Augusto, J. (ed.) Handbook of Smart Cities Cham, Switzerland Springer Nature. pp. 1693-1702

Context-aware support for cardiac health monitoring using federated machine learning

Ogbuabor, G., Augusto, J., Moseley, R. and Van Wyk, A. 2021. Context-aware support for cardiac health monitoring using federated machine learning. Bramer, M. and Ellis, R. (ed.) 41st SGAI International Conference on Artificial Intelligence (AI-2021). Cambridge, England [Online] 14 - 16 Dec 2021 Springer. pp. 267-281 https://doi.org/10.1007/978-3-030-91100-3_22

Introduction to the Proceedings of WoRIE’21

Rodríguez-Domínguez, C., Santokhee, A., Hornos, M. and Augusto, J. 2021. Introduction to the Proceedings of WoRIE’21. Bashir, E. and Luštrek, M. (ed.) 10th International Workshop on the Reliability of Intelligent Environments. Virtual 22 Jun 2021 IOS Press. https://doi.org/10.3233/aise210072

A smart campus template

Augusto, J. 2021. A smart campus template. Bashir, E. and Luštrek, M. (ed.) 3rd International Workshop on Intelligent Environments and Buildings. Virtual 21 Jun 2021 IOS Press. pp. 71-80 https://doi.org/10.3233/aise210083

Using argumentation to solve conflicting situations in users' preferences in ambient assisted living

Oguego, C., Augusto, J., Springett, M., Quinde, M. and James-Reynolds, C. 2021. Using argumentation to solve conflicting situations in users' preferences in ambient assisted living. Applied Artificial Intelligence. 35 (15), pp. 2327-2369. https://doi.org/10.1080/08839514.2021.1966986

Using technology to encourage a healthier lifestyle in people with Down's syndrome

Mohammedi, A. and Augusto, J. 2021. Using technology to encourage a healthier lifestyle in people with Down's syndrome. Universal Access in the Information Society. 20 (2), pp. 343-358. https://doi.org/10.1007/s10209-020-00721-y

Context-aware systems architecture (CaSA)

Augusto, J., Quinde, M., Oguego, C. and Gimenez Manuel, J. 2022. Context-aware systems architecture (CaSA). Cybernetics and Systems. 53 (4), pp. 319-345. https://doi.org/10.1080/01969722.2021.1985226

Achieving multi-user capabilities through an indoor positioning system based on BLE beacons

Quinde, M., Gimenez Manuel, J., Oguego, C. and Augusto, J. 2020. Achieving multi-user capabilities through an indoor positioning system based on BLE beacons. IE2020: Intelligent Environments. Madrid, Spain 20 - 23 Jul 2020 Institute of Electrical and Electronics Engineers (IEEE). pp. 13-20

Context-aware approach for cardiac rehabilitation monitoring

Ogbuabor, G., Augusto, J., Moseley, R. and Van Wyk, A. 2020. Context-aware approach for cardiac rehabilitation monitoring. Iglesias, C., Novella, J., Ricci, A., Pinto, D. and Roman, D. (ed.) 4th International Workshop on Citizen-Centric Smart Cities Services (CCSCS 2020). Madrid, Spain 22 - 23 Jun 2020 IOS Press. pp. 167-176 https://doi.org/10.3233/AISE200039

Managing preference profiles in multi-user intelligent environments

Augusto, J. and Muñoz, A. 2020. Managing preference profiles in multi-user intelligent environments. Iglesias, C., Novella, J., Ricci, A., Pinto, D. and Roman, D. (ed.) 4th International Workshop on Citizen-Centric Smart Cities Services (CCSCS 2020). Madrid, Spain 22 - 23 Jun 2020 IOS Press. pp. 217-226 https://doi.org/10.3233/AISE200044

Context-aware system for cardiac condition monitoring and management: a survey

Ogbuabor, G., Augusto, J., Moseley, R. and Van Wyk, A. 2020. Context-aware system for cardiac condition monitoring and management: a survey. Behaviour and Information Technology. 41 (4), pp. 759-776. https://doi.org/10.1080/0144929X.2020.1836255

ADAPT: Approach to Develop context-Aware solutions for Personalised asthma managemenT

Quinde, M., Augusto, J., Khan, N. and Van Wyk, A. 2020. ADAPT: Approach to Develop context-Aware solutions for Personalised asthma managemenT. Journal of Biomedical Informatics. 111, pp. 1-20. https://doi.org/10.1016/j.jbi.2020.103586

5G smart and innovative healthcare services: opportunities, challenges and prospective solutions

Bekaroo, G., Santokhee, A. and Augusto, J. 2020. 5G smart and innovative healthcare services: opportunities, challenges and prospective solutions. in: Bojkovic, Z., Milovanovic, D. and Fowdur, T. (ed.) 5G Multimedia Communication Technology, Multiservices, and Deployment Boca Raton CRC Press. pp. 279-297

A smart environments architecture (Search)

Augusto, J., Gimenez Manuel, J., Quinde, M., Oguego, C., Ali, M. and James-Reynolds, C. 2020. A smart environments architecture (Search). Applied Artificial Intelligence. 34 (2), pp. 155-186. https://doi.org/10.1080/08839514.2020.1712778

Context-aware solutions for asthma condition management: a survey

Quinde, M., Khan, N., Augusto, J., Van Wyk, A. and Stewart, J. 2020. Context-aware solutions for asthma condition management: a survey. Universal Access in the Information Society. 19 (3), pp. 571-593. https://doi.org/10.1007/s10209-018-0641-5

Assessing vulnerabilities in IoT-based ambient assisted living systems

Cristescu, I., Gimenez Manuel, J. and Augusto, J. 2020. Assessing vulnerabilities in IoT-based ambient assisted living systems. in: Hernaandez Ramos, J. and Skarmeta, A. (ed.) Security and privacy in Internet of Things: challenges and solutions IOS Press.

Managing multi-user smart environments through BLE based system

Sora, D. and Augusto, J. 2018. Managing multi-user smart environments through BLE based system. Chatzigiannakis, I., Tobe, Y., Novais, P. and Amft, O. (ed.) 3rd International Workshop on Smart Sensing Systems (IWSSS'18). Rome, Italy 25 - 28 Jun 2018 IOS Press. pp. 234-244 https://doi.org/10.3233/978-1-61499-874-7-234

Context-aware systems testing and validation

Augusto, J., Quinde, M. and Oguego, C. 2019. Context-aware systems testing and validation. 10th International Conference Dependable Systems, Services and Technologies. Leeds, United Kingdom 05 - 07 Jun 2019 IEEE. pp. 7-12 https://doi.org/10.1109/DESSERT.2019.8770048

Using formal methods to guide the development of an asthma management system

Augusto, J., Quinde, M. and Khan, N. 2019. Using formal methods to guide the development of an asthma management system. 10th International Conference Dependable Systems, Services and Technologies. Leeds, United Kingdom 05 - 07 Jun 2019 IEEE. pp. 57-62 https://doi.org/10.1109/DESSERT.2019.8770017

The SEArch smart environments architecture

Augusto, J., Quinde, M., Gimenez Manuel, J., Ali, M., Oguego, C. and James-Reynolds, C. 2019. The SEArch smart environments architecture. 15th International Conference on Intelligent Environments. Rabat, Morocco 24 - 27 Jun 2019 Institute of Electrical and Electronics Engineers (IEEE). pp. 60-63 https://doi.org/10.1109/IE.2019.00010

Evaluation of crowdsourcing Wi-Fi radio map creation in a real scenario for AAL applications

Belmonte-Fernandez, O., Gasco-Compte, A., Sansano-Sansano, E., Quinde, M., Gimenez Manuel, J. and Augusto, J. 2019. Evaluation of crowdsourcing Wi-Fi radio map creation in a real scenario for AAL applications. 15th International Conference on Intelligent Environments. Rabat, Morocco 24 - 27 Jun 2019 Institute of Electrical and Electronics Engineers (IEEE). pp. 30-36 https://doi.org/10.1109/IE.2019.00005

An interface for managing users' preferences in AmI

Oguego, C., Augusto, J., Springett, M., Quinde, M. and James-Reynolds, C. 2019. An interface for managing users' preferences in AmI. 15th International Conference on Intelligent Environments. Rabat, Morocco 24 - 27 Jun 2019 Institute of Electrical and Electronics Engineers (IEEE). pp. 56-59 https://doi.org/10.1109/IE.2019.00009

Context in Mobile learning: the point of view of the learners

Chouchane, K., Ali, A., Augusto, J. and Okba, K. 2019. Context in Mobile learning: the point of view of the learners. Symposium on Future Intelligent Educational Environments (SOFIEE'19). Rabat, Morocco IOS Press. pp. 280-289 https://doi.org/10.3233/AISE190053

Preface to the 10th anniversary issue of the Journal on Ambient Intelligence and Smart Environments

Augusto, J. and Aghajan, H. 2019. Preface to the 10th anniversary issue of the Journal on Ambient Intelligence and Smart Environments. Journal of Ambient Intelligence and Smart Environments. 11 (1), pp. 1-3. https://doi.org/10.3233/AIS-180511

Improving the adaptation process for a new smart home user

Ali, S., Augusto, J. and Windridge, D. 2019. Improving the adaptation process for a new smart home user. Bramer, M. and Petridis, M. (ed.) 39th SGAI International Conference on Artificial Intelligence. Cambridge, UK 17 - 19 Dec 2019 Springer. https://doi.org/10.1007/978-3-030-34885-4_32

User preferences in intelligent environments

Augusto, J. and Muñoz, A. 2019. User preferences in intelligent environments. Applied Artificial Intelligence. 33 (12), pp. 1069-1091. https://doi.org/10.1080/08839514.2019.1661596

Collaborative educational environments incorporating mixed reality technologies: a systematic mapping study

Ali, A., Dafoulas, G. and Augusto, J. 2019. Collaborative educational environments incorporating mixed reality technologies: a systematic mapping study. IEEE Transactions on Learning Technologies. 12 (3), pp. 321-332. https://doi.org/10.1109/TLT.2019.2926727

Case-based reasoning for context-aware solutions supporting personalised asthma management

Quinde, M., Khan, N. and Augusto, J. 2019. Case-based reasoning for context-aware solutions supporting personalised asthma management. 18th International Conference on Artificial Intelligence and Soft Computing. Zakopane, Poland 16 - 20 Jun 2019 Cham Springer. https://doi.org/10.1007/978-3-030-20915-5_24

A Human-in-The-Loop context-aware system allowing the application of case-based reasoning for asthma management

Quinde, M., Khan, N., Augusto, J. and Van Wyk, A. 2019. A Human-in-The-Loop context-aware system allowing the application of case-based reasoning for asthma management. Duffy, V. (ed.) 21st International Conference on Human-Computer Interaction (HCI International 2019). Orlando, USA 26 - 31 Jul 2019 Springer. pp. 125-140 https://doi.org/10.1007/978-3-030-22219-2_10

Towards a general framework for evaluating intelligent environments methodologies

Santokhee, A., Augusto, J. and Brodie, L. 2019. Towards a general framework for evaluating intelligent environments methodologies. 3rd International Worrkshop on Citizen-Centric Smart Cities Services (CCSCS'2019). Rabat, Morocco 24 - 27 Jun 2019 IOS Press. pp. 17-25 https://doi.org/10.3233/AISE190018

A survey of user-centred approaches for smart home transfer learning and new user home automation adaptation

Ali, M., Augusto, J. and Windridge, D. 2019. A survey of user-centred approaches for smart home transfer learning and new user home automation adaptation. Applied Artificial Intelligence. 33 (8), pp. 747-774. https://doi.org/10.1080/08839514.2019.1603784

Context aware virtual assistant with case-based conflict resolution in multi-user smart home environment

Ospan, B., Khan, N., Augusto, J., Quinde, M. and Nurgaliyev, K. 2018. Context aware virtual assistant with case-based conflict resolution in multi-user smart home environment. 2018 International Conference on Computing and Network Communications (CoCoNet). Astana, Kazakhstan 15 - 17 Aug 2018 IEEE Computer Society. pp. 36-44 https://doi.org/10.1109/CoCoNet.2018.8476898

RC-ASEF: An open-source tool-supported requirements elicitation framework for context-aware systems development

Alegre, U., Augusto, J. and Evans, C. 2018. RC-ASEF: An open-source tool-supported requirements elicitation framework for context-aware systems development. Annals of Computer Science and Information Systems. 15, pp. 829-838. https://doi.org/10.15439/2018F136

Collecting sensor-generated data for assessing teamwork and individual contributions in computing student teams

Dafoulas, G., Cardoso Maia, C., Ali, A. and Augusto, J. 2018. Collecting sensor-generated data for assessing teamwork and individual contributions in computing student teams. EDULEARN18: 10th annual International Conference on Education and New Learning Technologies. Palma de Mallorca, Spain 02 - 04 Jul 2018 IATED. pp. 11156-11162 https://doi.org/10.21125/edulearn.2018.2759

Personalisation of context-aware solutions supporting asthma management

Quinde, M., Khan, N. and Augusto, J. 2018. Personalisation of context-aware solutions supporting asthma management. 16th International Conference on Computers Helping People with Special Needs. University of Linz, Austria 11 - 13 Jul 2018 Springer. pp. 510-519 https://doi.org/10.1007/978-3-319-94274-2_75

A survey on the evolution of the notion of context-awareness

Augusto, J., Aztiria, A., Kramer, D. and Alegre, U. 2017. A survey on the evolution of the notion of context-awareness. Applied Artificial Intelligence. 31 (7-8), pp. 613-642. https://doi.org/10.1080/08839514.2018.1428490

Interaction patterns for smart spaces: a confident interaction design solution for pervasive sensitive IoT services

Vega-Barbas, M., Pau, I., Augusto, J. and Seoane, F. 2018. Interaction patterns for smart spaces: a confident interaction design solution for pervasive sensitive IoT services. IEEE Access. 6, pp. 1126-1136. https://doi.org/10.1109/ACCESS.2017.2777999

Sensorial computing

Varsani, P., Moseley, R., Jones, S., James-Reynolds, C., Chinellato, E. and Augusto, J. 2018. Sensorial computing. in: Filimowicz, M. and Tzankova, V. (ed.) New Directions in Third Wave Human-Computer Interaction: Volume 1 - Technologies Cham, Switzerland Springer. pp. 265-284

Investigating the role of biometrics in education – the use of sensor data in collaborative learning

Dafoulas, G., Cardoso Maia, C., Samuels-Clarke, J., Ali, A. and Augusto, J. 2018. Investigating the role of biometrics in education – the use of sensor data in collaborative learning. 12th International Conference on e-Learning. Madrid, Spain 17 - 19 Jul 2018 IADIS. pp. 115-123

Engineering intelligent environments: preliminary findings of a systematic review

Santokhee, A., Augusto, J. and Evans, C. 2018. Engineering intelligent environments: preliminary findings of a systematic review. Chatzigiannakis, I., Tobe, Y., Novais, P. and Amft, O. (ed.) 2nd Workshop on Citizen Centric Smart Cities Solutions (CCSCS'18), The 14th International Conference on Intelligent Environments. Rome, Italy 25 - 28 Jun 2018 IOS Press. pp. 57-66 https://doi.org/10.3233/978-1-61499-874-7-57

Perspectives on engineering more usable context-aware systems

Alegre, U., Augusto, J. and Evans, C. 2018. Perspectives on engineering more usable context-aware systems. Journal of Ambient Intelligence and Humanized Computing. 9 (5), pp. 1593-1609. https://doi.org/10.1007/s12652-018-0863-7

Using argumentation to manage users' preferences

Oguego, C., Augusto, J., Muñoz, A. and Springett, M. 2018. Using argumentation to manage users' preferences. Future Generation Computer Systems. 81, pp. 235-243. https://doi.org/10.1016/j.future.2017.09.040

A survey on managing users' preferences in ambient intelligence

Oguego, C., Augusto, J., Muñoz Ortega, A. and Springett, M. 2018. A survey on managing users' preferences in ambient intelligence. Universal Access in the Information Society. 17 (1), pp. 97-114. https://doi.org/10.1007/s10209-017-0527-y

The user-centred intelligent environments development process as a guide to co-create smart technology for people with special needs

Augusto, J., Kramer, D., Alegre, U., Covaci, A. and Santokhee, A. 2018. The user-centred intelligent environments development process as a guide to co-create smart technology for people with special needs. Universal Access in the Information Society. 17 (1), pp. 115-130. https://doi.org/10.1007/s10209-016-0514-8

Understanding collaboration in Global Software Engineering (GSE) teams with the use of sensors: introducing a multi-sensor setting for observing social and human aspects in project management

Dafoulas, G., Cardoso Maia, C., Ali, A., Augusto, J. and Lopez, V. 2017. Understanding collaboration in Global Software Engineering (GSE) teams with the use of sensors: introducing a multi-sensor setting for observing social and human aspects in project management. IE 2017 - 13th International Conference on Intelligent Environments (IE’17). Seoul, Korea (South) 21 - 25 Aug 2017 Institute of Electrical and Electronics Engineers (IEEE). pp. 114-121 https://doi.org/10.1109/IE.2017.40

Improved multi-user interaction in a smart environment through a preference-based conflict resolution virtual assistant

Nurgaliyev, K., Di Mauro, D., Khan, N. and Augusto, J. 2017. Improved multi-user interaction in a smart environment through a preference-based conflict resolution virtual assistant. 13th International Conference on Intelligent Environments (IE’17). Seoul, South Korea 23 - 25 Aug 2017 Institute of Electrical and Electronics Engineers (IEEE). pp. 100-107 https://doi.org/10.1109/IE.2017.21

New methods for stress assessment and monitoring at the workplace

Carneiro, D., Novais, P., Augusto, J. and Payne, N. 2019. New methods for stress assessment and monitoring at the workplace. IEEE Transactions on Affective Computing. 10 (2), pp. 237-254. https://doi.org/10.1109/TAFFC.2017.2699633

Is Context-aware Reasoning = Case-based Reasoning?

Khan, N., Alegre, U., Kramer, D. and Augusto, J. 2017. Is Context-aware Reasoning = Case-based Reasoning? Tenth Interdisciplinary Conference on Modelling and Using Context. Paris, France 20 - 23 Jun 2017 Springer. pp. 418-431 https://doi.org/10.1007/978-3-319-57837-8_35

A framework for distributed interaction in intelligent environments

DiMauro, D., Augusto, J., Origlia, A. and Cutugno, F. 2017. A framework for distributed interaction in intelligent environments. AmI 2017: 2017 European Conference on Ambient Intelligence. Malaga, Spain 26 - 28 Apr 2017 Springer. pp. 136-151 https://doi.org/10.1007/978-3-319-56997-0_11

Supporting context-aware engineering based on stream reasoning

Kramer, D. and Augusto, J. 2017. Supporting context-aware engineering based on stream reasoning. CONTEXT'17: 10th International and Interdisciplinary Conference on Modeling and Using Context. Paris, France 20 - 23 Jun 2017 Springer. pp. 440-453 https://doi.org/10.1007/978-3-319-57837-8_37

Security and privacy requirements engineering for human centric IoT systems using eFRIEND and Isabelle

Kammueller, F., Augusto, J. and Jones, S. 2017. Security and privacy requirements engineering for human centric IoT systems using eFRIEND and Isabelle. IEEE/ACIS 15th International Conference on Software Engineering Research, Management and Application, SERA2017. University of Greenwich, London, United Kingdom 07 - 09 Jun 2017 Institute of Electrical and Electronics Engineers (IEEE). https://doi.org/10.1109/SERA.2017.7965758

A formal methodology to design and deploy dependable wireless sensor networks

Testa, A., Cinque, M., Coronato, A. and Augusto, J. 2017. A formal methodology to design and deploy dependable wireless sensor networks. Sensors. 17 (1). https://doi.org/10.3390/s17010019

A stigmergic approach to indoor localization using bluetooth low energy beacons

Palumbo, F., Barsocchi, P., Chessa, S. and Augusto, J. 2015. A stigmergic approach to indoor localization using bluetooth low energy beacons. 3rd Workshop on Activity Monitoring by Multiple Distributed Sensing (AMMDS). Karslrhue, Germany 25 - 28 Aug 2015 IEEE. pp. 1-6 https://doi.org/10.1109/AVSS.2015.7301734

Engineering context-aware systems and applications: a survey

Alegre, U., Augusto, J. and Clark, T. 2016. Engineering context-aware systems and applications: a survey. Journal of Systems and Software. 117, pp. 55-83. https://doi.org/10.1016/j.jss.2016.02.010

The heuristic strategies for assessing wireless sensor network: an event-based formal approach

Testa, A., Cinque, M., Coronato, A., De Pietro, G. and Augusto, J. 2015. The heuristic strategies for assessing wireless sensor network: an event-based formal approach. Journal of Heuristics. 21 (2), pp. 145-175. https://doi.org/10.1007/s10732-014-9258-x

Flexible context aware interface for ambient assisted living

McNaull, J., Augusto, J., Mulvenna, M. and McCullagh, P. 2014. Flexible context aware interface for ambient assisted living. Human-centric Computing and Information Sciences. 4 (1). https://doi.org/10.1186/2192-1962-4-1

An investigation into the efficacy of avatar-based systems for student advice

Currie, E., Harvey, P., Daryanani, P., Augusto, J., Arif, R. and Ali, A. 2016. An investigation into the efficacy of avatar-based systems for student advice. EAI Endorsed Transactions on e-Learning. 3 (11). https://doi.org/10.4108/eai.15-6-2016.151450

Co-creation of smart technology with (and for) people with special needs

Augusto, J., Kramer, D., Alegre, U., Covaci, A. and Santokhee, A. 2016. Co-creation of smart technology with (and for) people with special needs. 7th International Conference on Software Development and Technologies for Enhancing Accessibility and Fighting Info-exclusion. Vila Real, Portugal 01 - 03 Dec 2016 Association for Computing Machinery (ACM). pp. 39-46 https://doi.org/10.1145/3019943.3019950

Enhancing student support with a virtual assistant

Harvey, P., Currie, E., Daryanani, P. and Augusto, J. 2016. Enhancing student support with a virtual assistant. Vincenti, G., Bucciero, A. and Vaz de Carvalho, C. (ed.) eLEOT 2015: 2nd EAI International Conference on e-Learning e-Education and Online Training. Novedrate, Italy 16 - 18 Sep 2015 Springer. pp. 101-109 https://doi.org/10.1007/978-3-319-28883-3_13

Temporal reasoning for intuitive specification of context-awareness

Alegre, U., Augusto, J. and Aztiria, A. 2014. Temporal reasoning for intuitive specification of context-awareness. 10th International Conference on Intelligent Environments - IE'14. Shanghai, China 30 Jun - 04 Jul 2014 Institute of Electrical and Electronics Engineers (IEEE). pp. 234-241

Advancing ambient assisted living with caution

Huyck, C., Augusto, J., Gao, X. and Botia, J. 2015. Advancing ambient assisted living with caution. in: Helfert, M., Holzinger, A., Ziefle, M., Fred, A., O'Donoghue, J. and Röcker, C. (ed.) Information and Communication Technologies for Ageing Well and e-Health: First International Conference, ICT4AgeingWell 2015, Lisbon, Portugal, May 20-22, 2015. Revised Selected Papers Springer.

Assessing real world imagery in virtual environments for people with cognitive disabilities

Covaci, A., Kramer, D., Augusto, J., Rus, S. and Braun, A. 2015. Assessing real world imagery in virtual environments for people with cognitive disabilities. Intelligent Environments 2015. Prague, Czech Republic 15 - 17 Jul 2015 Institute of Electrical and Electronics Engineers (IEEE). pp. 41-48

Spatial health systems: the state of the art

Gottfried, B., Aghajan, H., Wong, K., Augusto, J., Guesgen, H., Kirste, T. and Lawo, M. 2014. Spatial health systems: the state of the art. in: Holzinger, A., Ziefle, M. and Roecker, C. (ed.) Smart health. State of the art Springer Verlag. pp. 41-70

Developing navigational services for people with Down's Syndrome

Kramer, D., Covaci, A. and Augusto, J. 2015. Developing navigational services for people with Down's Syndrome. 2015 International Conference on Intelligent Environments. Prague, Czech Republic 15 - 17 Jul 2015 Institute of Electrical and Electronics Engineers (IEEE). pp. 128-131 https://doi.org/10.1109/IE.2015.26

Context-awareness to increase inclusion of people with DS in society

Kramer, D., Augusto, J. and Clark, T. 2014. Context-awareness to increase inclusion of people with DS in society. AAAI 14: Workshop on Artificial Intelligence Applied to Assistive Technologies and Smart Environments (ATSE 2014). Quebec City, Quebec, Canada 27 - 31 Jul 2014 Association for the Advancement of Artificial Intelligence (AAAI). pp. 27-31

Night optimised care technology for users needing assisted lifestyles

Augusto, J., Mulvenna, M., Zheng, H., Wang, H., Martin, S., McCullagh, P. and Wallace, J. 2014. Night optimised care technology for users needing assisted lifestyles. Behaviour and Information Technology. 33 (12), pp. 1261-1277. https://doi.org/10.1080/0144929X.2013.816773

Personalized smart environments to increase inclusion of people with Down's Syndrome

Augusto, J., Grimstad, T., Wichert, R., Schulze, E., Braun, A., Rødevand, G. and Ridley, V. 2013. Personalized smart environments to increase inclusion of people with Down's Syndrome. Augusto, J., Wichert, R., Collier, R., Keyson, D., Salah, A. and Tan, A. (ed.) International Joint Conference on Ambient Intelligence. Dublin, Ireland Springer International. https://doi.org/10.1007/978-3-319-03647-2_16

Reflections on ambient intelligence systems handling of user preferences and needs

Augusto, J. 2014. Reflections on ambient intelligence systems handling of user preferences and needs. The 10th International Conference on Intelligent Environments (IE'14). Shanghai, P.R. China 29 Jun - 04 Jul 2014 Institute of Electrical and Electronics Engineers (IEEE). pp. 369-371

AAL4DS (Can AAL technology help people with Down’s Syndrome to live better lives?)

Augusto, J. 2012. AAL4DS (Can AAL technology help people with Down’s Syndrome to live better lives?). Proceedings of AALForum2012 (Tomorrow in Sight: from Design to Delivery). Eindhoven, The Netherlands 26 Sep 2012 pp. 79-83

A group decision making model for partially ordered preference under uncertainty

Chen, S., Liu, J., Wang, H. and Augusto, J. 2015. A group decision making model for partially ordered preference under uncertainty. Information Fusion. 25, pp. 32-41. https://doi.org/10.1016/j.inffus.2014.11.001

eFRIEND: an ethical framework for intelligent environments development

Jones, S., Hara, S. and Augusto, J. 2015. eFRIEND: an ethical framework for intelligent environments development. Ethics and Information Technology. 17 (1), pp. 11-25. https://doi.org/10.1007/s10676-014-9358-1

Requirements for context-aware systems

Evans, C., Brodie, L. and Augusto, J. 2014. Requirements for context-aware systems. 20th International Working Conference on Requirements Engineering: Foundations for Software Quality (REFSQ). Essen, Germany 07 - 10 Apr 2014 pp. 137-138

Requirements engineering for intelligent environments

Evans, C., Brodie, L. and Augusto, J. 2014. Requirements engineering for intelligent environments. The 10th International Conference on Intelligent Environments. Shanghai, China 29 Jun - 04 Jul 2014 pp. 154-161

A user-centric software development process

Augusto, J. 2014. A user-centric software development process. The 10th International Conference on Intelligent Environments (IE'14). Shanghai, P.R. China 29 Jun - 04 Jul 2014 pp. 252-255

Sensors for Ambient Assisted Living (AAL) and smart homes

Martinez Madrid, N., Martinez Fernandez, J., Seepold, R. and Augusto, J. 2013. Sensors for Ambient Assisted Living (AAL) and smart homes. in: Filippini, D. (ed.) Autonomous Sensor Networks: Collective Sensing Strategies for Analytical Purposes Springer.

Context-aware discovery of human frequent behaviours through sensor information interpretation

Aztiria, A. and Augusto, J. 2013. Context-aware discovery of human frequent behaviours through sensor information interpretation. in: Guesgen, H. and Marsland, S. (ed.) Human Behavior Recognition Technologies: Intelligent Applications for Monitoring and Security IGI Global. pp. 14-32

A hierarchical human activity recognition framework based on automated reasoning

Chen, S., Liu, J., Wang, H. and Augusto, J. 2013. A hierarchical human activity recognition framework based on automated reasoning. IEEE International Conference on Systems, Man and Cybernetics (SMC2013). Manchester, UK 13 - 16 Oct 2013

A linguistic multi-criteria decision making approach based on logical reasoning

Chen, S., Liu, J., Wang, H. and Augusto, J. 2014. A linguistic multi-criteria decision making approach based on logical reasoning. Information Sciences. 258, pp. 266-276. https://doi.org/10.1016/j.ins.2013.08.040

Participatory research to design a novel system to support the night-time needs of people with dementia; NOCTURNAL

Martin, S., Augusto, J., McCullagh, P., Carswell, W., Zheng, H., Wang, H., Wallace, J. and Mulvenna, M. 2013. Participatory research to design a novel system to support the night-time needs of people with dementia; NOCTURNAL. International Journal of Environmental Research and Public Health. 10 (12), pp. 6764-6782. https://doi.org/10.3390/ijerph10126764

Self-aware trader: a new approach to safer trading

Martínez Fernández, J., Augusto, J., Trombino, G., Seepold, R. and Martinez Madrid, N. 2013. Self-aware trader: a new approach to safer trading. Journal of Universal Computer Science. 19 (15), pp. 2292-2319.

Learning frequent behaviours of the users in intelligent environments

Aztiria, A., Augusto, J., Basagoiti, R., Izaguirre, A. and Cook, D. 2013. Learning frequent behaviours of the users in intelligent environments. IEEE Transactions on Systems Man and Cybernetics: Systems. 43 (6), pp. 1265-1278. https://doi.org/10.1109/TSMC.2013.2252892

Intelligent environments: a manifesto

Augusto, J., Callaghan, V., Kameas, A., Cook, D. and Satoh, I. 2013. Intelligent environments: a manifesto. Human-centric Computing and Information Sciences. 3 (12). https://doi.org/10.1186/2192-1962-3-12

eFRIEND: an ethical framework for intelligent environment development

Jones, S., Augusto, J. and Hara, S. 2014. eFRIEND: an ethical framework for intelligent environment development. The 7th ACM International Conference on Pervasive Technologies Related to Assistive Environments: PETRA 2014. Rhodes, Greece 27 - 30 May 2014 Association for Computing Machinery (ACM). https://doi.org/10.1145/2674396.2674410

Visualization of data for ambient assisted living services

Mulvenna, M., Carswell, W., McCullagh, P., Augusto, J., Zheng, H., Jeffers, P., Wang, H. and Martin, S. 2011. Visualization of data for ambient assisted living services. IEEE Communications Magazine. 49 (1), pp. 110-117. https://doi.org/10.1109/MCOM.2011.5681023

Mass function derivation and combination in multivariate data spaces

Wang, H., Liu, J. and Augusto, J. 2010. Mass function derivation and combination in multivariate data spaces. Information Sciences. 180 (6), pp. 813-819. https://doi.org/10.1016/j.ins.2009.08.027

Design and evaluation of an ambient assisted living system based on an argumentative multi-agent system

Muñoz, A., Augusto, J., Villa, A. and Botía, J. 2011. Design and evaluation of an ambient assisted living system based on an argumentative multi-agent system. Personal and Ubiquitous Computing. 15 (4), pp. 377-387. https://doi.org/10.1007/s00779-010-0361-1

Ordering based decision making: a survey

Chen, S., Liu, J., Wang, H. and Augusto, J. 2013. Ordering based decision making: a survey. Information Fusion. 14 (4), pp. 521-531. https://doi.org/10.1016/j.inffus.2012.10.005

Software simulation and verification to increase the reliability of intelligent environments

Augusto, J. and Hornos, M. 2013. Software simulation and verification to increase the reliability of intelligent environments. Advances in Engineering Software. 58, pp. 18-34. https://doi.org/10.1016/j.advengsoft.2012.12.004

Using patterns position distribution for software failure detection

Li, C., Chen, Z., Du, H., Wang, H., Wilkie, G., Augusto, J. and Liu, J. 2013. Using patterns position distribution for software failure detection. International Journal of Computational Intelligence Systems. 6 (2), pp. 234-243. https://doi.org/10.1080/18756891.2013.768442

A sensor technology survey for a stress aware trading process

Fernandez, J., Augusto, J., Seepold, R. and Madrid, N. 2012. A sensor technology survey for a stress aware trading process. Transactions on Systems, Man and Cybernetics - Part C. 42 (6), pp. 809-824. https://doi.org/10.1109/TSMCC.2011.2179028

Discovering frequent user-environment interactions in intelligent environments

Aztiria, A., Augusto, J., Basagoiti, R., Izaguirre, A. and Cook, D. 2012. Discovering frequent user-environment interactions in intelligent environments. Personal and Ubiquitous Computing. 16 (1), pp. 91-103. https://doi.org/10.1007/s00779-011-0471-4

Static verification of wireless sensor networks with formal methods

Testa, A., Coronato, A., Cinque, M. and Augusto, J. 2012. Static verification of wireless sensor networks with formal methods. 8th International Conference on Signal Image Technology and Internet Based Systems (SITIS 2012). Naples, Italy 25 - 29 Nov 2012 pp. 587-594

Modeling eating disorders of cognitive impaired people

Coronato, A., De Pietro, G. and Augusto, J. 2012. Modeling eating disorders of cognitive impaired people. HumanCom'2012. Gwangju, South Korea pp. 165-172

An evidential reasoning based approach for decision making with partially ordered preference under uncertainty

Chen, S., Liu, J., Wang, H. and Augusto, J. 2013. An evidential reasoning based approach for decision making with partially ordered preference under uncertainty. 2013 International Conference on Machine Learning and Cybernetics. Tianjin, China 14 - 17 Jul 2013 IEEE. pp. 1712-1717 https://doi.org/10.1109/ICMLC.2013.6890874