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
tu Prolog: A Light-Weight Prolog for Internet Applications and Infrastructures
PADL '01 Proceedings of the Third International Symposium on Practical Aspects of Declarative Languages
TRIPLE - A Query, Inference, and Transformation Language for the Semantic Web
ISWC '02 Proceedings of the First International Semantic Web Conference on The Semantic Web
Experiences in Using CC/PP in Context-Aware Systems
MDM '03 Proceedings of the 4th International Conference on Mobile Data Management
CAPEUS: An Architecture for Context-Aware Selection and Execution of Services
Proceedings of the IFIP TC6 / WG6.1 Third International Working Conference on New Developments in Distributed Applications and Interoperable Systems
Description logic programs: combining logic programs with description logic
WWW '03 Proceedings of the 12th international conference on World Wide Web
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
A Software Engineering Framework for Context-Aware Pervasive Computing
PERCOM '04 Proceedings of the Second IEEE International Conference on Pervasive Computing and Communications (PerCom'04)
A proposal for an owl rules language
Proceedings of the 13th international conference on World Wide Web
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
Pushing Doors for Modeling Contexts with OWL DL a Case Study
PERCOMW '06 Proceedings of the 4th annual IEEE international conference on Pervasive Computing and Communications Workshops
The DLV system for knowledge representation and reasoning
ACM Transactions on Computational Logic (TOCL)
Embedding defeasible logic into logic programming
Theory and Practice of Logic Programming
DR-Prolog: A System for Defeasible Reasoning with Rules and Ontologies on the Semantic Web
IEEE Transactions on Knowledge and Data Engineering
A context-aware meeting alert using semantic web and rule technology
International Journal of Metadata, Semantics and Ontologies
A data-oriented survey of context models
ACM SIGMOD Record
Local and Distributed Defeasible Reasoning in Multi-Context Systems
RuleML '08 Proceedings of the International Symposium on Rule Representation, Interchange and Reasoning on the Web
Distributed Defeasible Contextual Reasoning in Ambient Computing
AmI '08 Proceedings of the European Conference on Ambient Intelligence
Contextual Argumentation in Ambient Intelligence
LPNMR '09 Proceedings of the 10th International Conference on Logic Programming and Nonmonotonic Reasoning
A survey of context modelling and reasoning techniques
Pervasive and Mobile Computing
ISWC'06 Proceedings of the 5th international conference on The Semantic Web
A reasoning framework for ambient intelligence
SETN'10 Proceedings of the 6th Hellenic conference on Artificial Intelligence: theories, models and applications
A rule-based contextual reasoning platform for ambient intelligence environments
RuleML'13 Proceedings of the 7th international conference on Theory, Practice, and Applications of Rules on the Web
Inferring ECA-based rules for ambient intelligence using evolutionary feature extraction
Journal of Ambient Intelligence and Smart Environments
| Hi-index | 0.00 |
Context, Context Representation and Contextual Reasoning constitute central notions in the Ambient Intelligence vision to transform our living and working environments into 'intelligent spaces'. Ontology-based models have been argued to satisfy all demands concerning context representation. Rule-based reasoning has already been successfully integrated in ontology-based applications for domains with similar requirements (e.g. the Web), while it offers significant advantages concerning its deployment in the Ambient Intelligence domain. In this paper, we analyze the general challenges of contextual reasoning, argue about the suitability of rule-based reasoning, and describe the deployment of such methods in two different settings; in a centralized semantics-based context management framework for Ambient Intelligence, and in a totally distributed system of logic-based abient agents.