3733 search results - page 122 / 747 » Logics of communication and change |
106
click to vote
SACMAT
2009
ACM
15 years 7 months ago
2009
ACM
A number of research systems have demonstrated the benefits of accompanying each request with a machine-checkable proof that the request complies with access-control policy — a...
136
click to vote
ILP
2004
Springer
15 years 6 months ago
2004
Springer
For the last ten years a lot of work has been devoted to propositionalization techniques in relational learning. These techniques change the representation of relational problems t...
116
click to vote
IJCAI
1993
15 years 2 months ago
1993
objects, like elements of (abstract) data types in ordinary programming languages In the theory of abstract data types most often one only considers algebraic structures where all ...
106
click to vote
WIDM
2005
ACM
15 years 6 months ago
2005
ACM
In this paper we investigate the problem of XML Schema evolution. We first discuss the different kinds of changes that may be needed on an XML Schema. Then, we investigate how to...
101
click to vote
ECAI
2004
Springer
15 years 6 months ago
2004
Springer
A critical aspect of an agent system is the ability to deal with unexpected situations to determine an appropriate course of action in a changing environment. In this paper, we inv...