Sciweavers

1143 search results - page 194 / 229
» Prospective Logic Agents
Sort
View
IJCAI
2003
15 years 7 months ago
The Concurrent, Continuous FLUX
FLUX belongs to the high-level programming languages for cognitive agents that have been developed in recent years. Based on the established, general action representation formali...
Yves Martins
IJVR
2008
333views more  IJVR 2008»
15 years 6 months ago
Applying Virtual and Augmented Reality in Cultural Computing
We are exploring a new application of virtual and augmented reality for a novel direction in human-computer interaction named `cultural computing', which aims to provide a new...
Christoph Bartneck, Jun Hu, Ben Salem, Razvan Cris...
JCS
2006
118views more  JCS 2006»
15 years 6 months ago
Language based policy analysis in a SPKI Trust Management System
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...
Arun K. Eamani, A. Prasad Sistla
AROBOTS
1998
113views more  AROBOTS 1998»
15 years 5 months ago
Grounding Mundane Inference in Perception
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...
Ian Horswill
DIS
2009
Springer
16 years 23 days ago
A Dialectic Approach to Problem-Solving
We analyze the dynamics of problem-solving in a framework which captures two key features of that activity. The first feature is that problem-solving is a social game where a numb...
Éric Martin, Jean Sallantin