2651 search results - page 410 / 531 » Beliefs in Agent Implementation |
114
Voted
CORR
2007
Springer
15 years 24 days 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...
102
click to vote
JCS
2006
15 years 24 days 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...
103
click to vote
AROBOTS
1998
15 years 16 days 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...
90
Voted
IJIGS
2002
15 years 15 days 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...
110
Voted
IEAAIE
2010
Springer
14 years 10 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...