2651 search results - page 410 / 531 » Beliefs in Agent Implementation |
CORR
2007
Springer
13 years 10 months ago
2007
Springer
This paper presents experiments on common knowledge logic, conducted with the help of the proof assistant Coq. The main feature of common knowledge logic is the eponymous modality...
JCS
2006
13 years 10 months ago
2006
Abstract-- SPKI/SDSI is a standard for issuing authorization and name certificates. SPKI/SDSI can be used to implement a Trust Management System, where the policy for resource acce...
AROBOTS
1998
13 years 10 months ago
1998
We describe a uniform technique for representing both sensory data and the attentional state of an agent using a subset of modal logic with indexicals. The resulting representation...
IJIGS
2002
13 years 10 months ago
2002
In this paper we describe a fully implemented prototype for interactive storytelling using the UnrealTM engine. We describe the important mechanisms involved in the variability of...
IEAAIE
2010
Springer
13 years 8 months ago
2010
Springer
Abstract. In this paper, we describe a framework for integrating workflow modelling techniques with a knowledge management approach that enables us to represent the problem-solving...