Sciweavers

274 search results - page 34 / 55
» Agent Programming with Declarative Goals
Sort
View
ATAL
2005
Springer
14 years 1 months ago
Verifying Norm Compliancy of Protocols
There is a wide agreement on the use of norms in order to specify the expected behaviour of agents in open MAS. However, in highly regulated domains, where norms dictate what can a...
Huib Aldewereld, Javier Vázquez-Salceda, Fr...
WRAC
2005
Springer
14 years 1 months ago
Autonomy Without Independence: Animal Training as a Model for Robot Design
A classic autonomous robot is an autonomous agent for open, unpredictable environments. Such an agent is inherently autonomous but not independent. Independence implies unpredictab...
David C. Wyland
WOA
2004
13 years 9 months ago
A Game-Theoretic Operational Semantics
Abstract-- In this paper we present the communication architecture of the DALI Logic Programming Agent-Oriented language and we discuss its semantics. We have designed a meta-level...
Arianna Tocchio, Stefania Costantini, Alessia Vert...
PLDI
2006
ACM
14 years 1 months ago
A microkernel virtual machine: : building security with clear interfaces
In this paper we propose a novel microkernel-based virtual machine (µKVM), a new code-based security framework with a simple and declarative security architecture. The main desig...
Xiaoqi Lu, Scott F. Smith
ACSC
2006
IEEE
14 years 1 months ago
CASO: a framework for dealing with objectives in a constraint-based extension to AgentSpeak(L)
Incorporating constraints into a reactive BDI agent programming language can lead to better expressive capabilities as well as more efficient computation (in some instances). More...
Aniruddha Dasgupta, Aditya K. Ghose