Distributed defeasible contextual reasoning in ambient computing

Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics)

Volumn 5355 LNCS, Issue , 2008, Pages 308-325

  Bikakis, Antonis ^a   Antoniou, Grigoris ^a  

^a INSTITUTE OF COMPUTER SCIENCE   (Greece)

Author keywords

[No Author keywords available]

Indexed keywords

AMBIENT INTELLIGENCE; COMPUTATION THEORY; MAPPING; MULTI AGENT SYSTEMS; PEER TO PEER NETWORKS;

CONTEXTUAL REASONING; DISTRIBUTED ARTIFICIAL INTELLIGENCE; DISTRIBUTED REASONINGS; MULTI-CONTEXT SYSTEMS; PERVASIVE COMPUTING SYSTEMS; PREFERENCE RELATION; REASONING APPROACH; RESEARCH CHALLENGES;

IODINE COMPOUNDS;

EID: 58049088736     PISSN: 03029743     EISSN: 16113349     Source Type: Book Series    
DOI: 10.1007/978-3-540-89617-3_20     Document Type: Conference Paper

References (33)

1. Henricksen, K., Indulska, J.: Modelling and Using Imperfect Context Information. In: Proceedings of PERCOMW 2004, Washington, DC, USA, pp. 33-37. IEEE Computer Society, Los Alamitos (2004)
2. Chen, H., Finin, T., Joshi, A.: Semantic Web in a Pervasive Context-Aware Architecture. Artificial Intelligence in Mobile System 2003, 33-40 (2003)
3. Forstadius, J., Lassila, O., Seppanen, T.: RDF-based model for context-aware reasoning in rich service environment. In: PerCom 2005 Workshops, pp. 15-19 (2005)
4. Patkos, T., Bikakis, A., Antoniou, G., Plexousakis, D., Papadopouli, M.: A Semantics-based Framework for Context-Aware Services: Lessons Learned and Challenges. In: Indulska, J., Ma, J., Yang, L.T., Ungerer, T., Cao, J. (eds.) UIC 2007. LNCS, vol. 4611, pp. 839-848. Springer, Heidelberg (2007)
5. Gu, T., Pung, H.K., Zhang, D.Q.: A Middleware for Building Context-Aware Mobile Services. In: Proceedings of the IEEE Vehicular Technology Conference (VTC 2004), Milan, Italy (2004)
6. Wang, X.H., Dong, J.S., Chin, C.Y., Hettiarachchi, S.R., Zhang, D.: Semantic Space: an infrastructure for smart spaces. IEEE Pervasive Computing 3(3), 32-39 (2004)
7. Ranganathan, A., Campbell, R.H.: An infrastructure for context-awareness based on first order logic. Personal Ubiquitous Comput. 7(6), 353-364 (2003)
8. Gandon, F.L., Sadeh, N.M.: Semantic web technologies to reconcile privacy and context awareness. Journal of Web Semantics 1, 241-260 (2004)
9. Toninelli, A., Montanari, R., Kagal, L., Lassila, O.: A Semantic Context-Aware Access Control Framework for Secure Collaborations in Pervasive Computing Environments. In: Proc. of 5th International Semantic Web Conference, pp. 5-9 (2006)
10. Kofod-Petersen, A., Mikalsen, M.: Representing and Reasoning about Context in a Mobile Environment. Revue d'Intelligence Artificielle 19(3), 479-498 (2005)
11. Hatala, M., Wakkary, R., Kalantari, L.: Ontologies and rules in support of real-time ubiquitous application. Journal of Web Semantics, Special Issue on Rules and ontologies for Semantic Web 3(1), 5-22 (2005)
12. Khushraj, D., Lassila, O., Finin, T.: sTuples: Semantic Tuple Spaces. In: First Annual International Conference on Mobile and Ubiquitous Systems: Networking and Services (MobiQuitous 2004), pp. 267-277 (2004)
13. Krummenacher, R., Kopecký, J., Strang, T.: Sharing Context Information in Semantic Spaces. In: OTM Workshops, pp. 229-232 (2005)
14. Korpipaa, P., Mantyjarvi, J., Kela, J., Keranen, H., Malm, E.J.: Managing Context Information in Mobile Devices. IEEE Pervasive Computing 02(3), 42-51 (2003)
15. Benerecetti, M., Bouquet, P., Ghidini, C.: Contextual reasoning distilled. JETAI 12(3), 279-305 (2000)
16. McCarthy, J.: Generality in Artificial Intelligence. Communications of the ACM 30(12), 1030-1035 (1987)
17. Buvac, S., Mason, I.A.: Prepositional Logic of Context. In: AAAI, pp. 412-419 (1993)
18. McCarthy, J., Buvač, S.: Formalizing Context (Expanded Notes). In: Aliseda, A., van Glabbeek, R., Westerståhl, D. (eds.) Computing Natural Language, pp. 13-50. CSLI Publications, Stanford (1998)
19. Giunchiglia, F., Serafini, L.: Multilanguage hierarchical logics, or: how we can do without modal logics. Artificial Intelligence 65(1) (1994)
20. Ghidini, C., Giunchiglia, F.: Local Models Semantics, or contextual reasoning=locality+compatibility. Artificial Intelligence 127(2), 221-259 (2001)
21. Roelofsen, F., Serafini, L.: Minimal and Absent Information in Contexts. In: IJCAI, pp. 558-563 (2005)
22. Brewka, G., Roelofsen, F., Serafini, L.: Contextual Default Reasoning. In: IJCAI, pp. 268-273 (2007)
23. Bernstein, P.A., Giunchiglia, F., Kementsietsidis, A., Mylopoulos, J., Serafini, L., Zaihrayeu, I.: Data Management for Peer-to-Peer Computing: A Vision. In: WebDB, pp. 89-94 (2002)
24. Halevy, A.Y., Ives, Z.G., Suciu, D., Tatarinov, I.: Schema Mediation in Peer Data Management Systems. In: ICDE, p. 505 (2003)
25. Calvanese, D., De Giacomo, G., Lenzerini, M., Rosati, R.: Logical Foundations of Peer-To-Peer Data Integration, pp. 241-251. ACM, New York (2004)
26. Franconi, E., Kuper, G.M., Lopatenko, A., Serafini, L.: A Robust Logical and Computational Characterisation of Peer-to-Peer Database Systems. In: DBISP2P, pp. 64-76 (2003)
27. Calvanese, D., De Giacomo, G., Lembo, D., Lenzerini, M., Rosati, R.: Inconsistency Tolerance in P2P Data Integration: an Epistemic Logic Approach. In: Bierman, G., Koch, C. (eds.) DBPL 2005. LNCS, vol. 3774, pp. 90-105. Springer, Heidelberg (2005)
28. Chatalic, P., Nguyen, G.H., Rousset, M.C.: Reasoning with Inconsistencies in Prepositional Peer-to-Peer Inference Systems. In: ECAI, pp. 352-356 (2006)
29. Adjiman, P., Chatalic, P., Goasdoue, F., Rousset, M.C., Simon, L.: Distributed Reasoning in a Peer-to-Peer Setting: Application to the Semantic Web. Journal of Artificial Intelligence Research 25, 269-314 (2006)
30. Antoniou, G., Billington, D., Governatori, G., Maher, M.J.: Representation results for defeasible logic. ACM Transactions on Computational Logic 2(2), 255-287 (2001)
31. Governatori, G., Maher, M.J., Billington, D., Antoniou, G.: Argumentation Semantics for Defeasible Logics. Journal of Logic and Computation 14(5), 675-702 (2004)
32. Maher, M.J.: A Model-Theoretic Semantics for Defeasible Logic. In: Paraconsistent Computational Logic, pp. 67-80 (2002)
33. Antoniou, G., Billington, D., Governatori, G., Maher, M.J.: Embedding defeasible logic into logic programming. Theory Pract. Log. Program. 6(6), 703-735 (2006)