A logical characterisation of ordered disjunction
Actas:
Workshop on Answer Set Programming and Other Computing Paradigms, ASPOCP 2010
Año de publicación: 2020
Tipo: Aportación congreso