Volume 50,
Numbers 1-2,
June 2007
Selected Papers From FOIKS (2006)
Volume 50,
Numbers 3-4,
August 2007
Logics in AI:
Post-Proceedings of JELIA06
- Michael Fisher, Wiebe van der Hoek:
Logics in AI: post-proceedings JELIA06 (Editorial).
227-229
Electronic Edition (link) BibTeX
- Silvio Ghilardi, Enrica Nicolini, Silvio Ranise, Daniele Zucchelli:
Decision procedures for extensions of the theory of arrays.
231-254
Electronic Edition (link) BibTeX
- Yulia Korukhova:
An approach to automatic deductive synthesis of functional programs.
255-271
Electronic Edition (link) BibTeX
- Thomas Eiter, Esra Erdem, Michael Fink, Ján Senko:
Comparing action descriptions based on semantic preferences.
273-304
Electronic Edition (link) BibTeX
- Pedro Cabalar, Sergei P. Odintsov, David Pearce, Agustín Valverde:
Partial equilibrium logic.
305-331
Electronic Edition (link) BibTeX
- Francesco Calimeri, Susanna Cozza, Giovambattista Ianni:
External sources of knowledge and value invention in logic programming.
333-361
Electronic Edition (link) BibTeX
- Davy Van Nieuwenborgh, Martine De Cock, Dirk Vermeir:
An introduction to fuzzy answer set programming.
363-388
Electronic Edition (link) BibTeX
- Ofer Arieli, Marc Denecker, Maurice Bruynooghe:
Distance semantics for database repair.
389-415
Electronic Edition (link) BibTeX
- Emad Saad, Enrico Pontelli:
A new approach to hybrid probabilistic logic programs.
417-418
Electronic Edition (link) BibTeX
Copyright © Sat May 16 23:50:17 2009
by Michael Ley (ley@uni-trier.de)
