1667 search results - page 62 / 334 » Extended clause learning |
CORR
2011
Springer
13 years 4 months ago
2011
Springer
We present an iterative algorithm for enforcing policies represented in a first-order logic, which can, in particular, express all transmission-related clauses in the HIPAA Priva...
TACAS
2012
Springer
12 years 4 months ago
2012
Springer
Abstract. Automated verification of multi-threaded programs is difficult. Direct treatment of all possible thread interleavings by reasoning about the program globally is a prohib...
ENC
2004
IEEE
14 years 23 days ago
2004
IEEE
Despite the relevance of the belief-desire-intention (BDI) model of rational agency, little work has been done to deal with its two main limitations: the lack of learning competen...
ATAL
2008
Springer
13 years 11 months ago
2008
Springer
This paper presents the dynamics of multi-agent reinforcement learning in multiple state problems. We extend previous work that formally modelled the relation between reinforcemen...
ITRE
2005
IEEE
14 years 2 months ago
2005
IEEE
This work proposes concepts, designs, experiences and lessons learned from some studies of ad hoc learning supported by wireless and mobile technologies. The ad hoc learning activi...