Sciweavers

6931 search results - page 913 / 1387
» Context and Design Agents
Sort
View
RULEML
2009
Springer
16 years 1 months ago
The Making of SPINdle
We present the design and implementation of SPINdle – an open source Java based defeasible logic reasoner capable to perform efficient and scalable reasoning on defeasible logic...
Ho-Pun Lam, Guido Governatori
TARK
2009
Springer
16 years 1 months ago
A logic of propositional control for truthful implementations
We introduce a logic designed to support reasoning about social choice functions. The logic includes operators to capture strategic ability, and operators to capture agent prefere...
Nicolas Troquard, Wiebe van der Hoek, Michael Wool...
ACSAC
2007
IEEE
16 years 1 months ago
Centralized Security Labels in Decentralized P2P Networks
This paper describes the design of a peer-to-peer network that supports integrity and confidentiality labeling of shared data. A notion of data ownership privacy is also enforced...
Nathalie Tsybulnik, Kevin W. Hamlen, Bhavani M. Th...
CEC
2007
IEEE
16 years 1 months ago
Convergence and rate of convergence of a foraging ant model
— We present an ant model that solves a discrete foraging problem. We describe simulations and provide a complete convergence analysis: we show that the ant population computes t...
Amine M. Boumaza, Bruno Scherrer
ICRA
2007
IEEE
117views Robotics» more  ICRA 2007»
16 years 1 months ago
Techniques and Applications for Persistent Backgrounding in a Humanoid Torso Robot
— One of the most basic capabilities for an agent with a vision system is to recognize its own surroundings. Yet surprisingly, despite the ease of doing so, many robots store lit...
David Walker Duhon, Jerod J. Weinman, Erik G. Lear...