Sciweavers

1114 search results - page 83 / 223
» An Architecture for Peer-to-peer Reasoning
Sort
View
LOGCOM
1998
126views more  LOGCOM 1998»
15 years 6 months ago
Engineering AgentSpeak(L): A Formal Computational Model
Perhaps the most successful agent architectures, and certainly the best known, are those based on the Belief-Desire-Intention (BDI) framework. Despite the wealth of research that ...
Mark d'Inverno, Michael Luck
POPL
2007
ACM
16 years 6 months ago
Implementing deterministic declarative concurrency using sieves
The predominant thread-based approach to concurrent programming is bug-prone, difficult to reason about, and does not scale well to large numbers of processors. Sieves provide a s...
Sam Lindley
COSIT
2009
Springer
114views GIS» more  COSIT 2009»
16 years 28 days ago
Spatio-terminological Inference for the Design of Ambient Environments
We present an approach to assist the smart environment design process by means of automated validation of work-in-progress designs. The approach facilitates validation of not only ...
Mehul Bhatt, Frank Dylla, Joana Hois
ICCBR
2007
Springer
16 years 15 days ago
A Case-Based Framework for Collaborative Semantic Search in Knowledge Sifter
This paper addresses the role of case-based reasoning in semantic search, and in particular, as it applies to Knowledge Sifter, an agent-based ontology-driven search system based o...
Larry Kerschberg, Hanjo Jeong, Yong Uk Song, Wooju...
IVA
2005
Springer
15 years 12 months ago
Social Situated Agents in Virtual, Real and Mixed Reality Environments
Abstract. This paper details a framework for explicit deliberative control of socially and physically situated agents in virtual, real and mixed reality environments. The objective...
Mauro Dragone, Thomas Holz, Brian R. Duffy, Gregor...