Explanation Graphs for Stable Models of Labelled Logic Programs
- Cabalar, P.
- Muñiz, B.
Actas:
CEUR Workshop Proceedings
ISSN: 1613-0073
Ano de publicación: 2023
Volume: 3437
Tipo: Achega congreso