15754 search results - page 419 / 3151 » Programs are Knowledge Bases |
160
Voted
IVA
2009
Springer
16 years 1 months ago
2009
Springer
This paper describes the design and implementation of a virtual agent that is capable of providing customers in a 3D online shop with advice. Based on a product knowledge base, a c...
181
Voted
AI
2005
Springer
15 years 6 months ago
2005
Springer
We consider the problem of how an agent's knowledge can be updated. We propose a formal method of knowledge update on the basis of the semantics of modal logic S5. In our met...
184
Voted
CSFW
2008
IEEE
16 years 1 months ago
2008
IEEE
DKAL is a new declarative authorization language for distributed systems. It is based on existential fixed-point logic and is considerably more expressive than existing authoriza...
157
click to vote
TABLETOP
2008
IEEE
16 years 1 months ago
2008
IEEE
To better understand the potential for horizontal surfaces in day-to-day work, we conducted a field study. We collected and analyzed over a month of use data from eight participan...
148
Voted
IUI
2005
ACM
16 years 13 days ago
2005
ACM
Annotating a document with an interpretation of its contents raises a number of challenges that we are hoping to address via the creation of a supporting environment. We present t...