Gelfond-Zhang Aggregates as Propositional Formulas.
Pedro Cabalar, Jorge Fandinno, Torsten Schaub, Sebastian Schellhorn
Browse the full LPNMR paper archive.
Pedro Cabalar, Jorge Fandinno, Torsten Schaub, Sebastian Schellhorn
Browse the full LPNMR paper archive.