Logic programming for context-aware pervasive computing: Language support, characterizing situations, and integration with the web

Proceedings - IEEE/WIC/ACM International Conference on Web Intelligence, WI 2004

Volumn , Issue , 2004, Pages 44-50

  Loke, Seng W ^a  

^a MONASH UNIVERSITY   (Australia)

Author keywords

[No Author keywords available]

Indexed keywords

CONTEXT-AWARE PERVASIVE COMPUTING; CONTEXTUAL INFORMATION; RULE-BASED PROGRAMMING; SEMANTIC WEB;

ABSTRACTING; CONTEXT FREE LANGUAGES; INFORMATION ANALYSIS; INFORMATION RETRIEVAL; INTELLIGENT AGENTS; MOBILE COMPUTING; OPTIMIZATION; SEMANTICS; WORLD WIDE WEB;

LOGIC PROGRAMMING;

EID: 15544383871     PISSN: None     EISSN: None     Source Type: Conference Proceeding    
DOI: 10.1109/WI.2004.10035     Document Type: Conference Paper

References (18)

1. G. Biegel and V. Cahill. A Framework for Developing Mobile, Context-Aware Applications. In 2nd IEEE Conf. on Pervasive Computing and Communications (to appear), March 2004. Available at http://www.dsg.cs.tcd.ie/biegelg/research/ publications/TCDCS-2004-04.pdf.
2. G. Chen and D. Kotz. A Survey of Context-Aware Mobile Computing Research. Technical Report TR2000-381, Dept. of Computer Science, Dartmouth College, November 2000.
3. H. Chen, T. Finin, and A. Joshi. An Ontology for Context-Aware Pervasive Computing Environments. In Workshop on Ontologies and Distributed Systems, IJCAI-2003, August 2003.
4. A. Dey. Providing Architecture Support for Building Context-Aware Applications. PhD thesis, Georgia Institute of Technology, 2000.
5. A. Dey. Understanding and Using Context. Personal and Ubiquitous Computing Journal, 5(1):5-7, 2001.
6. G. Gupta, E. Pontelli, K. Ali, M. Carlsson, and M. Hermenegildo. Parallel Execution of Prolog Programs: a Survey. ACM Transactions on Programming Languages and Systems, 23(4):472-602, July 2001.
7. K. Henricksen. A Framework for Context-Aware Pervasive Computing Applications. PhD thesis, University of Queensland, 2003.
8. J. Hong and J. Landay. An Infrastructure Approach to Context-Aware Computing. Human-Computer Interaction, 16, 2001. Available at http://guir.berkeley.edu/projects/confab/pubs/context-essay-final.pdf.
9. E. Katsiri and A. Mycroft. Knowledge Representation and Scalable Abstract Reasoning for Sentient Computing Using First-Order Logic. In Proc. Challenges and Novel Applications for Automated Reasoning (CADE-19 Workshop), July 2003. Available at http://www.cl.cam.ac.uk/users/am/papers/nads03.pdf.
10. S. Loke and A. Davison. Logic Web: Enhancing the Web with Logic Programming. Journal of Logic Programming, 36(3):195-240, 1998.
11. K. Mitchell. A Survey of Context-Aware Computing. Technical report, Lancaster University, March 2002. Available at http://www.comp.lancs.ac.uk/~km/ papers/ContextAwarenessSurvey.pdf.
12. F. Pinheiro. Preliminary Thoughts on Using Situation Theory for Scenario Modelling. In Workshop on IDEAS 2002, La Habana, Cuba, 2002.
13. A. Ranganathan and R. Campbell. An Infrastructure for Context-Awareness Based on First Order Logic. Personal and Ubiquitous Computing Journal, 7:353-364, 2003.
14. T. Sohn and A. Dey. iCAP: An Informal Tool for Interactive Prototyping of Context-Aware Applications. In Interactive Poster in the ACM Conf. on Human Factors in Computing Systems, pages 974-975, April 2003.
15. L. Sterling and E. Shapiro. The Art of Prolog (2nd ed.): Advanced Programming Techniques. MIT Press, 1994.
16. E. Syukur, D. Cooney, S. Loke, and P. Stanski. Hanging Services: An Investigation of Context-Sensitivity and Mobile Code for Localised Services. In IEEE Int. Conf. on Mobile Data Management, pages 62-73, January 2004.
17. S. Tazari. Context-Awareness and Knowledge Representation D11. Technical report, MUMMY (IST-2001-37365), 2003. Available at http://mummy.intranet.gr/ includes/docs/MUMMY-D11y1-ZGDV-CtxtAwr-v02.pdf.
18. E. Tin and V. Akman. Computational Situation Theory. SIGART Bulletin, 5(4):4-17, 1994.