A logical characterisation of ordered disjunction
Proceedings:
Workshop on Answer Set Programming and Other Computing Paradigms, ASPOCP 2010
Year of publication: 2020
Type: Conference paper