Volume 47,
Numbers 1-2,
June 2006
- Gerhard Brewka, Jürgen Dix:
Preface.
1-2
Electronic Edition (link) BibTeX
- David Pearce:
Equilibrium logic.
3-41
Electronic Edition (link) BibTeX
- Wolfgang Faber, Kathrin Konczak:
Strong order equivalence.
43-78
Electronic Edition (link) BibTeX
- Paolo Ferraris, Joohyung Lee, Vladimir Lifschitz:
A generalization of the Lin-Zhao theorem.
79-101
Electronic Edition (link) BibTeX
- Stijn Heymans, Davy Van Nieuwenborgh, Dirk Vermeir:
Conceptual logic programs.
103-137
Electronic Edition (link) BibTeX
- Pascal Nicolas, Laurent Garcia, Igor Stéphan, Claire Lefèvre:
Possibilistic uncertainty handling for answer set programming.
139-181
Electronic Edition (link) BibTeX
- Marcello Balduccini, Michael Gelfond, Monica Nogueira:
Answer set based design of knowledge systems.
183-219
Electronic Edition (link) BibTeX
Volume 47,
Numbers 3-4,
August 2006
Copyright © Sat May 16 23:50:16 2009
by Michael Ley (ley@uni-trier.de)