Sciweavers

DAGSTUHL
2007
13 years 9 months ago
Discovering Knowledge from Local Patterns with Global Constraints
It is well known that local patterns are at the core of a lot of knowledge which may be discovered from data. Nevertheless, use of local patterns is limited by their huge number an...
Bruno Crémilleux, Arnaud Soulet
DAGSTUHL
2007
13 years 9 months ago
BiCEP - Benchmarking Complex Event Processing Systems
BiCEP is a new project being started at the University of Coimbra to benchmark Complex Event Processing systems (CEP). Although BiCEP is still in the early stages, we list here som...
Pedro Bizarro
DAGSTUHL
2007
13 years 9 months ago
Approximating min-max k-clustering
We consider the problems of set partitioning into k clusters with minimum total cost and minimum of the maximum cost of a cluster. The cost function is given by an oracle, and we ...
Asaf Levin
DAGSTUHL
2007
13 years 9 months ago
Nonlinear Approximation and Image Representation using Wavelets
We address the problem of finding sparse wavelet representations of high-dimensional vectors. We present a lower-bounding technique and use it to develop an algorithm for computi...
Sudipto Guha, Boulos Harb
DAGSTUHL
2007
13 years 9 months ago
Ten Philosophical Problems in Deontic Logic
Jörg Hansen, Gabriella Pigozzi, Leendert W. N...
DAGSTUHL
2007
13 years 9 months ago
What is Input/Output Logic? Input/Output Logic, Constraints, Permissions
We explain the raison d’ˆetre and basic ideas of input/output logic, sketching the central elements with pointers to other publications for detailed developments. The motivation...
David Makinson, Leendert W. N. van der Torre
DAGSTUHL
2007
13 years 9 months ago
On the Logic of Constitutive Rules
Abstract. The paper proposes a logical systematization of the notion of countsas which is grounded on a very simple intuition about what counts-as statements actually mean, i.e., f...
Davide Grossi, John-Jules Ch. Meyer, Frank Dignum
DAGSTUHL
2007
13 years 9 months ago
Aligning Models of Normative Systems and Artificial Societies: Towards norm-governed behavior in virtual enterprises
The purpose is to explore how norm-governed behavior within agent societies can be achieved in the context of Virtual Enterprises. We analyze a number of formal models from the age...
Paul Davidsson, Andreas Jacobsson