Workflow, transactions and datalog
PODS '99 Proceedings of the eighteenth ACM SIGMOD-SIGACT-SIGART symposium on Principles of database systems
Proceedings of the 1999 international conference on Logic programming
Extending and implementing the stable model semantics
Artificial Intelligence
Logic programs with stable model semantics as a constraint programming paradigm
Annals of Mathematics and Artificial Intelligence
Extending Datalog with Declarative Updates
Journal of Intelligent Information Systems
The DLV system for knowledge representation and reasoning
ACM Transactions on Computational Logic (TOCL)
Rules and Ontologies for the Semantic Web
Reasoning Web
Managing Context Information in Mobile Devices
IEEE Pervasive Computing
Reactors: A data-oriented synchronous/asynchronous programming model for distributed applications
Theoretical Computer Science
Cross-Domain Interoperability: A Case Study
NEW2AN '09 and ruSMART '09 Proceedings of the 9th International Conference on Smart Spaces and Next Generation Wired/Wireless Networking and Second Conference on Smart Spaces
Anonymous Agent Coordination in Smart Spaces: State-of-the-Art
NEW2AN '09 and ruSMART '09 Proceedings of the 9th International Conference on Smart Spaces and Next Generation Wired/Wireless Networking and Second Conference on Smart Spaces
Smart Spaces for Ubiquitously Smart Buildings
UBICOMM '09 Proceedings of the 2009 Third International Conference on Mobile Ubiquitous Computing, Systems, Services and Technologies
Clasp: a conflict-driven answer set solver
LPNMR'07 Proceedings of the 9th international conference on Logic programming and nonmonotonic reasoning
A coordination model for triplespace computing
COORDINATION'07 Proceedings of the 9th international conference on Coordination models and languages
Sharing context information in semantic spaces
OTM'05 Proceedings of the 2005 OTM Confederated international conference on On the Move to Meaningful Internet Systems
OWL web ontology language as a scripting language for smart space applications
RuleML'2011 Proceedings of the 5th international conference on Rule-based reasoning, programming, and applications
Distributed deadlock handling for resource allocation in smart spaces
NEW2AN'11/ruSMART'11 Proceedings of the 11th international conference and 4th international conference on Smart spaces and next generation wired/wireless networking
Meta programming with answer sets for smart spaces
RR'12 Proceedings of the 6th international conference on Web Reasoning and Rule Systems
Situation-based and self-adaptive applications for the smart environment
Journal of Ambient Intelligence and Smart Environments
Hi-index | 0.00 |
The background for this work lies in the visions of ubiquitous systems and semantic web. To realize this vision in embedded domains we have implemented an interoperability platform called Smart-M3, which allows sharing of RDF information. In this paper we investigate integrating reasoning capabilities to this platform for solving problems arising from resource allocation and conflict resolution under preferences in dynamic context sensitive environments. Additional goals for our work is to take into account requirements for efficiency, scalability and localized reasoning. For this we are investigating Answer Set Programming (ASP) techniques in particular. We present an integration framework for using an ASP solver Smodels with Smart-M3 and we demonstrate its use within a use case. Both the framework and the rules described in this paper are available for trial.