JAIR 2005
38 papers
Combining Spatial and Temporal Logics: Expressiveness vs. Complexity
David Gabelaia, Roman Kontchakov, Ágnes Kurucz, Frank Wolter, Michael Zakharyaschev Generalizing Boolean Satisfiability III: Implementation
Heidi E. Dixon, Matthew L. Ginsberg, David K. Hofer, Eugene M. Luks, Andrew J. Parkes Graduality in Argumentation
Claudette Cayrol, Marie-Christine Lagasquie-Schiex Keys, Nominals, and Concrete Domains
Carsten Lutz, Carlos Areces, Ian Horrocks, Ulrike Sattler Pure Nash Equilibria: Hard and Easy Games
Georg Gottlob, Gianluigi Greco, Francesco Scarcello