In this paper, we address the problem of supporting more exibility on the schema of object-oriented databases. We describe a general framework based on an object-oriented data mode...
Logic programming provides a uniform framework in which all aspects of explanation-based generalization and learning may be defined and carried out, but first-order Horn logic i...
: The problem of view updatesin deductive databasesis studiedby casting this in anaturally associatedabductive framework.It is shownthat this abductiveapproachdeals successfully, i...
We study the problem of allocating a set of indivisible items to players having additive utility functions over the items. We consider allocations in which no player envies the bun...
Ioannis Caragiannis, Christos Kaklamanis, Panagiot...
Several recent control applications consider the coordination of subsystems through local interaction. Often the interaction has a symmetry in state space, e.g. invariance with res...