Tomi Janhunen

Capturing (Optimal) Relaxed Plans with Stable and Supported Models of Logic Programs (Extended Abstract)

Improved Encodings of Acyclicity for Translating Answer Set Programming into Integer Programming

On Robustness in Qualitative Constraint Networks