-

Table of Contents

Luz A. Sanchez-Galvez

Miguel J. Hornos

Patricia Paderewski

Computing Semi-Stable Semantics of AF by

Integer Programming : : : Mauricio Osorio

Juan Diaz

Alejandro Santoyo

A single proof of classical behaviour in da Costas Cn systems : : : : : : : : : : : Mauricio Javier Osorio Galindo and Jose Abel Castellanos Joo Identi cation of ontological relations using Formal Concept Analysis : : : : : Mireya Tovar Vidal, David Pinto, Azucena Montes, Gabriel Gonzalez Serna and Darnes Vilarin~o Ayala

10 8 10 7 9