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