Reducing propositional theories in equilibrium logic to logic programs

  1. Cabalar, P.
  2. Pearce, D.
  3. Valverde, A.
Actas:
CEUR Workshop Proceedings

ISSN: 1613-0073

Año de publicación: 2005

Volumen: 142

Páginas: 101-114

Tipo: Aportación congreso