Reducing propositional theories in equilibrium logic to logic programs
- Cabalar, P.
- Pearce, D.
- Valverde, A.
Actas:
CEUR Workshop Proceedings
ISSN: 1613-0073
Ano de publicación: 2005
Volume: 142
Páxinas: 101-114
Tipo: Achega congreso