4211 search results - page 389 / 843 » Types as Abstract Interpretations |
189
click to vote
PAKDD
2005
ACM
16 years 9 days ago
2005
ACM
Abstract. In this paper we present a novel and general framework based on concepts of relational algebra for kernel-based learning over relational schema. We exploit the notion of ...
190
click to vote
SPIN
2005
Springer
16 years 9 days ago
2005
Springer
Abstract. Software model checking problems generally contain two different types of non-determinism: 1) non-deterministically chosen values; 2) the choice of interleaving among th...
151
click to vote
ACOM
2004
Springer
16 years 6 days ago
2004
Springer
Abstract. In this paper we propose to regard an Agent Communication Language (ACL) as a set of conventions to act on a fragment of institutional reality, defined in the context of...
159
click to vote
ARGMAS
2004
Springer
16 years 6 days ago
2004
Springer
Abstract. Communication between agents needs to be flexible enough to encompass together a variety of different aspects such as, conformance to society protocols, private tactics ...
189
click to vote
EKAW
2004
Springer
16 years 6 days ago
2004
Springer
Abstract. In this paper we present an overview of the principle components of GIPO, an environment to support knowledge acquisition for AI Planning. GIPO assists in the knowledge f...