Volume 50, Issue 3-4

August 2007

Logics in AI: Post-Proceedings of JELIA06

Issue Editors:

9 articles in this issue

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

Search