Published: 2005-01-01

Combining Spatial and Temporal Logics: Expressiveness vs. Complexity

D. Gabelaia, R. Kontchakov, A. Kurucz, F. Wolter, M. Zakharyaschev

167-243

Graduality in Argumentation

C. Cayrol, M. C. Lagasquie-Schiex

245-297

Generalizing Boolean Satisfiability III: Implementation

H. E. Dixon, M. L. Ginsberg, D. Hofer, E. M. Luks, A. J. Parkes

441-531

Keys, Nominals, and Concrete Domains

L. Carsten, C. Areces, I. Horrocks, U. Sattler

667-726