256 search results - page 41 / 52 » An Implementation for Abductive Logic Agents |
CIMCA
2005
IEEE
14 years 1 months ago
2005
IEEE
This paper describes a Rule Based Service Level Agreement language called RBSLA which is based on RuleML. With this language SLAs can be implemented in a machine readable syntax w...
IJCAI
2003
13 years 9 months ago
2003
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...
JCS
2006
13 years 7 months 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...
AROBOTS
1998
13 years 7 months 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...
LPNMR
2007
Springer
14 years 1 months ago
2007
Springer
We describe BE, an implemented system for solving belief change problems in the presence of actions. We illustrate how we can use BE to compute the result of belief progression, be...