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