A contraction algorithm for finding small cycle cutsets
Journal of Algorithms
Towards a theory of declarative knowledge
Foundations of deductive databases and logic programming
On the declarative semantics of deductive databases and logic programs
Foundations of deductive databases and logic programming
Logic programming and databases
Logic programming and databases
Graph theoretical structures in logic programs and default theories
Theoretical Computer Science
Prioritized conflict handing for logic programs
ILPS '97 Proceedings of the 1997 international symposium on Logic programming
Introduction to Algorithms
ConChat: A Context-Aware Chat Program
IEEE Pervasive Computing
A Middleware Infrastructure for Active Spaces
IEEE Pervasive Computing
Device Independence and the Web
IEEE Internet Computing
Conflict Resolution Using Logic Programming
IEEE Transactions on Knowledge and Data Engineering
Middleware '01 Proceedings of the IFIP/ACM International Conference on Distributed Systems Platforms Heidelberg
Storing and Accessing User Context
MDM '03 Proceedings of the 4th International Conference on Mobile Data Management
Artificial Intelligence: A Modern Approach
Artificial Intelligence: A Modern Approach
WWW '03 Proceedings of the 12th international conference on World Wide Web
Semantic Web in the Context Broker Architecture
PERCOM '04 Proceedings of the Second IEEE International Conference on Pervasive Computing and Communications (PerCom'04)
A framework for compiling preferences in logic programs
Theory and Practice of Logic Programming
An ECA-P Policy-based Framework for Managing Ubiquitous Computing Environments
MOBIQUITOUS '05 Proceedings of the The Second Annual International Conference on Mobile and Ubiquitous Systems: Networking and Services
Loosely Coupling Ontological Reasoning with an Efficient Middleware for Context-awareness
MOBIQUITOUS '05 Proceedings of the The Second Annual International Conference on Mobile and Ubiquitous Systems: Networking and Services
Context-aware Provision of Advanced Internet Services
PERCOMW '06 Proceedings of the 4th annual IEEE international conference on Pervasive Computing and Communications Workshops
Context-aware Web Services for Distributed Retrieval of Points of Interest
ICIW '07 Proceedings of the Second International Conference on Internet and Web Applications and Services
Context-Aware Middleware for Resource Management in the Wireless Internet
IEEE Transactions on Software Engineering
Developing context-aware pervasive computing applications: Models and approach
Pervasive and Mobile Computing
A scalable framework for the support of advanced edge services
HPCC'05 Proceedings of the First international conference on High Performance Computing and Communications
Hybrid reasoning in the CARE middleware for context awareness
International Journal of Web Engineering and Technology
A survey of context modelling and reasoning techniques
Pervasive and Mobile Computing
OWL 2 modeling and reasoning with complex human activities
Pervasive and Mobile Computing
Petri net-based context modeling for context-aware systems
Artificial Intelligence Review
On the complexity of aggregating information for authentication and profiling
DPM'11 Proceedings of the 6th international conference, and 4th international conference on Data Privacy Management and Autonomous Spontaneus Security
Context provenance to enhance the dependability of ambient intelligence systems
Personal and Ubiquitous Computing
Review: Mobile guides: Taxonomy of architectures, context awareness, technologies and applications
Journal of Network and Computer Applications
MIMOSA: context-aware adaptation for ubiquitous web access
Personal and Ubiquitous Computing
A survey on ontologies for human behavior recognition
ACM Computing Surveys (CSUR)
Hi-index | 0.01 |
There is a large consensus on the need for a middleware to efficiently support adaptation in pervasive and mobile computing. Advanced forms of adaptation require the aggregation of context data and the evaluation of policy rules that are typically provided by multiple sources. This paper addresses the problem of designing the reasoning core of a middleware that supports these tasks, while guaranteeing very low response times as required by mobile applications. Technically, the paper presents strategies to deal with conflicting rules, algorithms that implement the strategies, and algorithms that detect and solve potential rule cycles. A detailed experimental analysis supports the theoretical results and shows the applicability of the resulting middleware in large-scale applications.