Editorial Board
Editorial
Revision by comparison
DA2 merging operators
Compiling propositional weighted bases
ASSAT: computing answer sets of a logic program by SAT solvers
Combining probabilistic logic programming with the power of maximum entropy
Qualitative choice logic
Conditional logic of actions and causation
A nonmonotonic observation logic
Forthcoming Papers
Author Index—Volume 157 (2004)