1. Perception Beyond Inference: The Information Content of Visual Processes,2011
2. Evolving logic programs;Alferes,2002
3. Forgetting under the well-founded semantics;Alferes,2013
4. Lups – a language for updating logic programs;Alferes;Artif. Intell.,2002
5. Seeking explanations: abduction in logic, philosophy of science and artificial intelligence;Aliseda,1997