Abteilung Datenbanken Und Artificial

Answer-Set Programming Encodings for Argumentation Frameworks

Ur Informationssysteme, Abteilung Datenbanken Und Artificial, Ur Informationssysteme, 2008 .

Hyperequivalence of Logic Programs with Respect to Supported Models

Ur Informationssysteme, Abteilung Datenbanken Und Artificial, Ur Informationssysteme, 2008 .

Relativized Hyperequivalence of Logic Programs for Modular Programming

Ur Informationssysteme, Abteilung Datenbanken Und Artificial, 2008 .