Published: 2015-01-01

On the Subexponential-Time Complexity of CSP

Ronald de Haan, Iyad Kanj, Stefan Szeider

203-234

Lazy Model Expansion: Interleaving Grounding with Search

Broes De Cat, Marc Denecker, Maurice Bruynooghe, Peter Stuckey

235-286

Revision by History

Paolo Liberatore

287-329

Computing Convex Coverage Sets for Faster Multi-objective Coordination

Diederik Marijn Roijers, Shimon Whiteson, Frans A. Oliehoek

399-443

Modeling the Lifespan of Discourse Entities with Application to Coreference Resolution

Marie-Catherine de Marneffe, Marta Recasens, Christopher Potts

445-475

Weighted Electoral Control

Piotr Faliszewski, Edith Hemaspaandra, Lane A. Hemaspaandra

507-542

Distributed Evaluation of Nonmonotonic Multi-context Systems

Minh Dao-Tran, Thomas Eiter, Michael Fink, Thomas Krennwallner

543-600