Reducing propositional theories in equilibrium logic to logic programs
- Cabalar, P.
- Pearce, D.
- Valverde, A.
ISSN: 1613-0073
Año de publicación: 2005
Volumen: 142
Páginas: 101-114
Tipo: Aportación congreso
ISSN: 1613-0073
Año de publicación: 2005
Volumen: 142
Páginas: 101-114
Tipo: Aportación congreso