Published: 2013-10-01

A Survey of Multi-Objective Sequential Decision-Making

D. M. Roijers, P. Vamplew, S. Whiteson, R. Dazeley

67-113

An Online Mechanism for Multi-Unit Demand and its Application to Plug-in Hybrid Electric Vehicle Charging

V. Robu, E. H. Gerding, S. Stein, D. C. Parkes, A. Rogers, N. R. Jennings

175-230

Beth Definability in Expressive Description Logics

B. ten Cate, E. Franconi, I. Seylan

347-414

Horn Clause Contraction Functions

J. P. Delgrande, R. Wassermann

475-511

Reasoning about Explanations for Negative Query Answers in DL-Lite

D. Calvanese, M. Ortiz, M. Simkus, G. Stefanoni

635-669

A Case of Pathology in Multiobjective Heuristic Search

J.L. Pérez de la Cruz, L. Mandow, E. Machuca

717-732

A Smooth Transition from Powerlessness to Absolute Power

E. Mossel, A. D. Procaccia, M. Z. Racz

923-951

A Constraint Solver for Flexible Protein Model

F. Campeotto, A. Dal Palù, A. Dovier, F. Fioretto, E. Pontelli

953-1000