Masood Feyzbakhsh Rankooh

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