Multilanguage hierarchical logics, or: how we can do without modal logics
Artificial Intelligence
Representation results for defeasible logic
ACM Transactions on Computational Logic (TOCL)
Local models semantics, or contextual reasoning = locality + compatibility
Artificial Intelligence
The Power of Events: An Introduction to Complex Event Processing in Distributed Enterprise Systems
The Power of Events: An Introduction to Complex Event Processing in Distributed Enterprise Systems
An infrastructure for context-awareness based on first order logic
Personal and Ubiquitous Computing
Modelling and Using Imperfect Context Information
PERCOMW '04 Proceedings of the Second IEEE Annual Conference on Pervasive Computing and Communications Workshops
Experience Report: Ontological Reasoning for Context-aware Internet Services
PERCOMW '06 Proceedings of the 4th annual IEEE international conference on Pervasive Computing and Communications Workshops
A context-aware meeting alert using semantic web and rule technology
International Journal of Metadata, Semantics and Ontologies
Managing Context Information in Mobile Devices
IEEE Pervasive Computing
Review: Ambient intelligence: Technologies, applications, and opportunities
Pervasive and Mobile Computing
Taming Dynamically Adaptive Systems using models and aspects
ICSE '09 Proceedings of the 31st International Conference on Software Engineering
A Logical Approach to Home Healthcare with Intelligent Sensor-Network Support
The Computer Journal
Defeasible Contextual Reasoning with Arguments in Ambient Intelligence
IEEE Transactions on Knowledge and Data Engineering
Rule-based contextual reasoning in ambient intelligence
RuleML'10 Proceedings of the 2010 international conference on Semantic web rules
Strategies for contextual reasoning with conflicts in ambient intelligence
Knowledge and Information Systems
Partial preferences and ambiguity resolution in contextual defeasible logic
LPNMR'11 Proceedings of the 11th international conference on Logic programming and nonmonotonic reasoning
Standards for complex event processing and reaction rules
RuleML'11 Proceedings of the 5th international conference on Rule-based modeling and computing on the semantic web
Sharing context information in semantic spaces
OTM'05 Proceedings of the 2005 OTM Confederated international conference on On the Move to Meaningful Internet Systems
ISWC'06 Proceedings of the 5th international conference on The Semantic Web
A dynamic component model for cyber physical systems
Proceedings of the 15th ACM SIGSOFT symposium on Component Based Software Engineering
An eclipse modelling framework alternative to meet the models@runtime requirements
MODELS'12 Proceedings of the 15th international conference on Model Driven Engineering Languages and Systems
Hi-index | 0.00 |
The special characteristics and requirements of intelligent environments impose several challenges to the reasoning processes of Ambient Intelligence systems. Such systems must enable heterogeneous entities operating in open and dynamic environments to collectively reason with imperfect context information. Previously we introduced Contextual Defeasible Logic (CDL) as a contextual reasoning model that addresses most of these challenges using the concepts of context, mappings and contextual preferences. In this paper, we present a platform integrating CDL with Kevoree, a component-based software framework for Dynamically Adaptive Systems. We explain how the capabilities of Kevoree are exploited to overcome several technical issues, such as communication, information exchange and detection, and explain how the reasoning methods may be further extended. We illustrate our approach with a running example from Ambient Assisted Living.