Ur Informationssysteme

Answer-Set Programming Encodings for Argumentation Frameworks

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

COMPLEXITY RESULTS FOR STRUCTURE-BASED CAUSALITY

Ur Informationssysteme, Ur Informationssysteme, 2001 .

Hyperequivalence of Logic Programs with Respect to Supported Models

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

REASONING ABOUT ACTIONS WITH SENSING UNDER QUALITATIVE AND

Probabilistic Uncertainty, Ur Informationssysteme, Arbeitsbereich Wissensbasierte Systeme, 2006 .

Towards Fixed-Parameter Tractable Algorithms for Abstract Argumentation

Ur Informationssysteme, Ur Informationssysteme, 2011 .

Towards Practical Feasibility of Core Computation in Data Exchange

Ur Informationssysteme, 2008 .

Relativized Hyperequivalence of Logic Programs for Modular Programming

Ur Informationssysteme, Abteilung Datenbanken Und Artificial, 2008 .