227 | -- | 229 | Michael Fisher, Wiebe van der Hoek. Logics in AI: post-proceedings JELIA06 (Editorial) |
231 | -- | 254 | Silvio Ghilardi, Enrica Nicolini, Silvio Ranise, Daniele Zucchelli. Decision procedures for extensions of the theory of arrays |
255 | -- | 271 | Yulia Korukhova. An approach to automatic deductive synthesis of functional programs |
273 | -- | 304 | Thomas Eiter, Esra Erdem, Michael Fink, Ján Senko. Comparing action descriptions based on semantic preferences |
305 | -- | 331 | Pedro Cabalar, Sergei P. Odintsov, David Pearce, Agustín Valverde. Partial equilibrium logic |
333 | -- | 361 | Francesco Calimeri, Susanna Cozza, Giovambattista Ianni. External sources of knowledge and value invention in logic programming |
363 | -- | 388 | Davy Van Nieuwenborgh, Martine De Cock, Dirk Vermeir. An introduction to fuzzy answer set programming |
389 | -- | 415 | Ofer Arieli, Marc Denecker, Maurice Bruynooghe. Distance semantics for database repair |
417 | -- | 418 | Emad Saad, Enrico Pontelli. A new approach to hybrid probabilistic logic programs |