We consider the problem of counting the number of lattice vectors of a given length and prove several results regarding its computational complexity. We show that the problem is ā...
We study the computational complexity of ļ¬nding stable outcomes in symmetric additively-separable hedonic games. These coalition formation games are speciļ¬ed by an undirected e...
The theory of intersection homology was developed to study the singularities of a topologically stratiļ¬ed space. This paper incorporates this theory into the already developed f...
We establish a declarative theory of forgetting for disjunctive logic programs. The suitability of this theory is justified by a number of desirable properties. In particular, one...
This paper investigates decision-theoretic planning in sophisticated autonomous agents operating in environments of real-world complexity. An example might be a planetary rover ex...