-
1
-
-
34250841010
-
-
E. Giunchiglia and F. Giunchinglia, and Ideal and Real Belief about Belief, Proc. FAPR'96, Bonn, Germany, 1996. pp. 261-275.
-
E. Giunchiglia and F. "Giunchinglia, and Ideal and Real Belief about Belief", Proc. FAPR'96, Bonn, Germany, 1996. pp. 261-275.
-
-
-
-
2
-
-
34250853889
-
-
F. Giunchiglia F, Contextual Reasoning, Epistemologia, special issue on I Linguaggi e le Machine, XVI pp. 345-364, 1993.
-
F. Giunchiglia F, "Contextual Reasoning, Epistemologia", special issue on I Linguaggi e le Machine, Vol.XVI pp. 345-364, 1993.
-
-
-
-
4
-
-
0001733633
-
Prolegomena to Theory of Mechanized Formal Reasoning
-
R. Weyhrauch, "Prolegomena to Theory of Mechanized Formal Reasoning", Artificial Intelligence, Vol. 13 No. 1, pp. 133-176, 1980.
-
(1980)
Artificial Intelligence
, vol.13
, Issue.1
, pp. 133-176
-
-
Weyhrauch, R.1
-
5
-
-
0001928537
-
Notes on Formalizing Context
-
Chambéry, France, pp
-
J. McCarthy, "Notes on Formalizing Context", Proc. 13th IJCAI'93, Chambéry, France, pp. 555-560, 1993.
-
(1993)
Proc. 13th IJCAI'93
, pp. 555-560
-
-
McCarthy, J.1
-
6
-
-
1542492241
-
Towards a Better Understanding of Context and Context-Awareness
-
The Hague, The Netherlands
-
A. Dey and G. Abowd, "Towards a Better Understanding of Context and Context-Awareness", Proc.CHI'00, The Hague, The Netherlands, 2000.
-
(2000)
Proc.CHI'00
-
-
Dey, A.1
Abowd, G.2
-
7
-
-
0035310960
-
Local Models Semantics, or Contextual Reasoning = Locality + Compatibility
-
C. Ghidini and F. Giunchiglia, "Local Models Semantics, or Contextual Reasoning = Locality + Compatibility", Artificial Intelligence, Vol. 127, No. 2, pp. 221-259, 2001.
-
(2001)
Artificial Intelligence
, vol.127
, Issue.2
, pp. 221-259
-
-
Ghidini, C.1
Giunchiglia, F.2
-
8
-
-
1642543786
-
Foundations for the situation calculus
-
H. Levesque, F. Pirri, and R. Reiter, "Foundations for the situation calculus", Electronic Transactions on Artificial Intelligence, Vol. 2, No. 3-4, pp. 159-178, 1998.
-
(1998)
Electronic Transactions on Artificial Intelligence
, vol.2
, Issue.3-4
, pp. 159-178
-
-
Levesque, H.1
Pirri, F.2
Reiter, R.3
-
9
-
-
0003727420
-
-
Cambridge, Cambridge University Press
-
F. Baader, D. Calvanese, D. McGiuness, D. Nardi, and P Patel-Schneider, The Description Logic Handbook - Theory, Implementation, and Applications, Cambridge, Cambridge University Press, 2003.
-
(2003)
The Description Logic Handbook - Theory, Implementation, and Applications
-
-
Baader, F.1
Calvanese, D.2
McGiuness, D.3
Nardi, D.4
Patel-Schneider, P.5
-
10
-
-
33746997314
-
Context in Categorization
-
Paris, France
-
D. Grossi, F. Dignum, and J. Meyer, "Context in Categorization" , Proc. CRR'05, Paris, France, 2005.
-
(2005)
Proc. CRR'05
-
-
Grossi, D.1
Dignum, F.2
Meyer, J.3
-
11
-
-
0038442697
-
Foundations for a theory of contextor
-
J. Coutaz and G. Rey, "Foundations for a theory of contextor", CLIPS-IMAG, BP Vol. 53, pp. 283-302, 2000.
-
(2000)
CLIPS-IMAG, BP
, vol.53
, pp. 283-302
-
-
Coutaz, J.1
Rey, G.2
-
12
-
-
34250848909
-
An architecture for Context Aware Observation of Human Activity
-
France
-
J. Crowley and P. Reigner, "An architecture for Context Aware Observation of Human Activity", Project PRIMA, INRIA, France.
-
Project PRIMA, INRIA
-
-
Crowley, J.1
Reigner, P.2
-
13
-
-
0038178032
-
Activities, Context and Ubiquitous Computing
-
P. Prekop and M. Burnett, "Activities, Context and Ubiquitous Computing", Computer Communications, Vol. 26, pp. 1168-1176, 2003.
-
(2003)
Computer Communications
, vol.26
, pp. 1168-1176
-
-
Prekop, P.1
Burnett, M.2
-
14
-
-
34250845714
-
-
Zurich, Switzerland, pp
-
K. Henricksen, J. Indulska and A. Rakotonirainy, Modeling Context Information in Pervasive Competing Systems, Proc. Pervasive 2002, Zurich, Switzerland, pp. 169-180, 2002.
-
(2002)
Pervasive 2002, Modeling Context Information in Pervasive Competing Systems, Proc
, pp. 169-180
-
-
Henricksen, K.1
Indulska, J.2
Rakotonirainy, A.3
-
15
-
-
34250801930
-
-
IOS Widgets, [http://mdp.artcenter.edu/ ~vanallen/ios1/2004sp/iosl_wk02d. html].
-
-
-
Widgets, I.O.S.1
-
16
-
-
0029273868
-
Towards Quality Data: An Attribute-Based Approach
-
R. Wang, M. Reddy, and H. Kon, Towards Quality Data: An Attribute-Based Approach, Decision Support System, Vol. 13, pp. 349-372, 1995.
-
(1995)
Decision Support System
, vol.13
, pp. 349-372
-
-
Wang, R.1
Reddy, M.2
Kon, H.3
-
17
-
-
0011273416
-
RDF Vocabulary Description Language 1.0: RDF Schema
-
W3C Working Draft, schema visited April
-
D. Brickley, and Guha, "RDF Vocabulary Description Language 1.0: RDF Schema", W3C Working Draft. http://www.w3.org/TR/PR-rdf-schema (visited April 2004).
-
(2004)
-
-
Brickley, D.1
Guha2
-
18
-
-
15744362188
-
RDQL - A Query Language for RDF
-
W3C Member Submission, 20040109/ visited February 6th
-
A. Seaborne, "RDQL - A Query Language for RDF". W3C Member Submission, http://www.w3.org/ Submission/ 2004/ SUBM-RDQL-20040109/ (visited February 6th 2004).
-
(2004)
-
-
Seaborne, A.1
-
19
-
-
0026483978
-
The Active Badge Location System
-
R. Want, A. Hopper, V. Falcao, and J. Gibbons, "The Active Badge Location System", ACM Transactions on Information Systems, Vol. 10, No. 1, pp. 91-201, 1992.
-
(1992)
ACM Transactions on Information Systems
, vol.10
, Issue.1
, pp. 91-201
-
-
Want, R.1
Hopper, A.2
Falcao, V.3
Gibbons, J.4
-
20
-
-
0035281717
-
MediaCups: Experience with Design and Use of Computer-Augmented Everyday Objects
-
M. Beigl, H.W. Gellersen, and A. Schmidt, "MediaCups: Experience with Design and Use of Computer-Augmented Everyday Objects", Computer Networks, Vol. 35, No. 4, pp. 401-409, 2001.
-
(2001)
Computer Networks
, vol.35
, Issue.4
, pp. 401-409
-
-
Beigl, M.1
Gellersen, H.W.2
Schmidt, A.3
-
21
-
-
0742293892
-
Smart-Its Friends: A Technique for Users to Easily Establish Connections between Smart Artefacts
-
California, USA
-
E. Holmquist, F. Mattern, B. Schiele, P. Alahuhta, M. Beigl, and H.W. Gellersen. "Smart-Its Friends: A Technique for Users to Easily Establish Connections between Smart Artefacts", Proc. UBICOMP, California, USA, 2001.
-
(2001)
Proc. UBICOMP
-
-
Holmquist, E.1
Mattern, F.2
Schiele, B.3
Alahuhta, P.4
Beigl, M.5
Gellersen, H.W.6
-
22
-
-
0036382773
-
Exploiting Information Access Patterns for Context-Based Retrieval
-
Florida, USA, pp
-
T. Bauer and B. Leake, "Exploiting Information Access Patterns for Context-Based Retrieval", Proc. IUI'02, Florida, USA, pp. 176-177, 2002.
-
(2002)
Proc. IUI'02
, pp. 176-177
-
-
Bauer, T.1
Leake, B.2
-
23
-
-
34250871466
-
-
J. Cooperstock, Making the User Interface Disappear: the Reactive Room, Proc. Centre for Advanced Studies on Collaborative research, Toronto, Canada, 1995.
-
J. Cooperstock, "Making the User Interface Disappear: the Reactive Room", Proc. Centre for Advanced Studies on Collaborative research, Toronto, Canada, 1995.
-
-
-
-
24
-
-
34250881402
-
Smart CAPS for Smart Its - Context Detection for Mobile Users
-
Lille, France
-
F. Michachelles and M. Samulowitz, "Smart CAPS for Smart Its - Context Detection for Mobile Users", Proc. IHM-HCI, Lille, France, 2001.
-
(2001)
Proc. IHM-HCI
-
-
Michachelles, F.1
Samulowitz, M.2
-
25
-
-
0742293892
-
Smart-Its Friends: A Technique for Users to Easily Establish Connections between Smart Artefacts
-
California, USA
-
E. Holmquist, F. Mattern, B. Schiele, P. Alahuhta, M. Beigl, and H.W. Gellersen, "Smart-Its Friends: A Technique for Users to Easily Establish Connections between Smart Artefacts", Proc. UBICOMP, California, USA, 2001.
-
(2001)
Proc. UBICOMP
-
-
Holmquist, E.1
Mattern, F.2
Schiele, B.3
Alahuhta, P.4
Beigl, M.5
Gellersen, H.W.6
-
26
-
-
34250812945
-
-
M. Samulowitz, F. Michahelles, and C. Linnhoff-Popien, Adaptive Interaction for Enabling Pervasive Service, In:MobiDE01,USA, 2001.
-
M. Samulowitz, F. Michahelles, and C. Linnhoff-Popien, "Adaptive Interaction for Enabling Pervasive Service", In:MobiDE01",USA, 2001.
-
-
-
-
27
-
-
34250814331
-
-
B. Kummerfeld, A. Quigley, C. Johnson, and R. Hexel, Merino: Towards an intelligent environment architecture for multi-granularity context description, Proc. User Modeling for Ubiquitous Computing, Johnstown, USA, 2003.
-
B. Kummerfeld, A. Quigley, C. Johnson, and R. Hexel, Merino: "Towards an intelligent environment architecture for multi-granularity context description", Proc. User Modeling for Ubiquitous Computing, Johnstown, USA, 2003.
-
-
-
-
28
-
-
35248833451
-
An Architecture for Context-Aware Selection and Execution of Services Distributed Applications and Interoperable Systems
-
CAPEUS:, Krakau, Poland
-
M. Samulowitz, F. Michahelles, and C. Linnhoff-Popien, CAPEUS: "An Architecture for Context-Aware Selection and Execution of Services Distributed Applications and Interoperable Systems", Proc.DAIS, 23-40, Krakau, Poland, 2001.
-
(2001)
Proc.DAIS
, pp. 23-40
-
-
Samulowitz, M.1
Michahelles, F.2
Linnhoff-Popien, C.3
-
29
-
-
33749011792
-
Pervasive Servers: A Framework for Creating a Society of Appliances
-
T. Nakajima, "Pervasive Servers: A Framework for Creating a Society of Appliances", Personal and Ubiquitous Computing, Vol. 7, No. 3-4, pp. 182-188, 2003.
-
(2003)
Personal and Ubiquitous Computing
, vol.7
, Issue.3-4
, pp. 182-188
-
-
Nakajima, T.1
-
30
-
-
34250801929
-
-
Distributed Multimedia Research Group, Lancaster University
-
C. Efstratiou, K. Cheverst, N. Davies, and A. Friday, An Architecture for the Effective Support of Adaptive Context Aware Applications, Distributed Multimedia Research Group, Lancaster University.
-
An Architecture for the Effective Support of Adaptive Context Aware Applications
-
-
Efstratiou, C.1
Cheverst, K.2
Davies, N.3
Friday, A.4
-
31
-
-
84876523972
-
A Personal Agent Supporting Ubiquitous Interaction accepted to Workshop on User Modelling for Ubiquitous Computing
-
Johnstown, USA
-
B. De Carolis, S. Pizzutilo, I. Palmisano, and A. Cavalluzzi, "A Personal Agent Supporting Ubiquitous Interaction accepted to Workshop on User Modelling for Ubiquitous Computing", Proc. UM03, Johnstown, USA, 2003.
-
(2003)
Proc. UM03
-
-
De Carolis, B.1
Pizzutilo, S.2
Palmisano, I.3
Cavalluzzi, A.4
-
32
-
-
34250799527
-
-
WASP Project
-
WASP Project, [http://www.freeband.nl/kennisimpuls/projecten/wasp/].
-
-
-
-
33
-
-
2942585067
-
An Ontology for Context-Aware Pervasive Computing Environments, Special Issue on Ontologies for Distributed Systems
-
H. Chen, T. Finin, and A. Joshi, "An Ontology for Context-Aware Pervasive Computing Environments, Special Issue on Ontologies for Distributed Systems", Knowledge Engineering Review, Vol. 11, Issue: 3, pp. 197-207, 2003.
-
(2003)
Knowledge Engineering Review
, vol.11
, Issue.3
, pp. 197-207
-
-
Chen, H.1
Finin, T.2
Joshi, A.3
-
34
-
-
34250796612
-
-
S. Nath, Y. Ke, P. Gibbons, B. Karp, and S. Seshan, IrisNet: An Architecture for Enabling Sensor-Enriched Internet Service, Intel Research Pittsburgh, Carnegie Mellon University, IRPTR-02-10, Bologna, Italy, 2002.
-
S. Nath, Y. Ke, P. Gibbons, B. Karp, and S. Seshan, IrisNet: An Architecture for Enabling Sensor-Enriched Internet Service, Intel Research Pittsburgh, Carnegie Mellon University, IRPTR-02-10, Bologna, Italy, 2002.
-
-
-
-
35
-
-
1542801456
-
MyCampus: An Agent-Based Environment for Context-Aware Mobile Services
-
N. Sadeh, E. Chan, and L. Van, "MyCampus: An Agent-Based Environment for Context-Aware Mobile Services". Proc. UBIAGENTS, pp. 34-39, 2002.
-
(2002)
Proc. UBIAGENTS
, pp. 34-39
-
-
Sadeh, N.1
Chan, E.2
Van, L.3
-
36
-
-
68149119385
-
The PARCTAB Mobile Computing System
-
B. N. Schilit, N. Adams, R. Gold, M. Tso, and R. Want, The PARCTAB Mobile Computing System, In: Workshop on Workstation Operating Systems, pp. 34-39, 1993.
-
(1993)
Workshop on Workstation Operating Systems
, pp. 34-39
-
-
Schilit, B.N.1
Adams, N.2
Gold, R.3
Tso, M.4
Want, R.5
-
37
-
-
3042542693
-
A Location Model for Communicating and Processing of Context
-
M. Beigl, T. Zimmer, and C. Decker, "A Location Model for Communicating and Processing of Context", Personal and Ubiquitous Computing, Vol. 6, 5-6, pp. 341-357, 2002.
-
(2002)
Personal and Ubiquitous Computing
, vol.6
, Issue.5-6
, pp. 341-357
-
-
Beigl, M.1
Zimmer, T.2
Decker, C.3
-
38
-
-
0035281717
-
-
M., Beigl, H.-W. Gellersen, A. Schmidt, 2002. MediaCups: Experience with Design and Use of Computer-Augmented Everyday Objects. Computer Networks, 35, No. 4, Special Issue on Pervasive Computing, Elsevier, Amsterdam, pp. 401-409, March 2001.
-
M., Beigl, H.-W. Gellersen, A. Schmidt, 2002. "MediaCups: Experience with Design and Use of Computer-Augmented Everyday Objects". Computer Networks, Vol. 35, No. 4, Special Issue on Pervasive Computing, Elsevier, Amsterdam, pp. 401-409, March 2001.
-
-
-
-
39
-
-
3042640767
-
On Data Management in Pervasive Computing Environments
-
F. Perich, "On Data Management in Pervasive Computing Environments", IEEE Transactions on Knowledge and Data Engineering, Vol. 16, No. 5, pp. 621-634, 2004.
-
(2004)
IEEE Transactions on Knowledge and Data Engineering
, vol.16
, Issue.5
, pp. 621-634
-
-
Perich, F.1
|