Characterizing strong equivalence for argumentation frameworks von Oikarinen, Emilia, Woltran, Stefan

Volltext

Methods for solving reasoning problems in abstract argumentation – A survey von Charwat, Günther, Dvořák, Wolfgang, Gaggl, Sarah A., Wallner, Johannes P., Woltran, Stefan

Volltext

Characteristics of multiple viewpoints in abstract argumentation von Dunne, Paul E., Dvořák, Wolfgang, Linsbichler, Thomas, Woltran, Stefan

Volltext

Complexity-sensitive decision procedures for abstract argumentation von Dvořák, Wolfgang, Järvisalo, Matti, Wallner, Johannes Peter, Woltran, Stefan

Volltext

htd -- A Free, Open-Source Framework for (Customized) Tree Decompositions and Beyond von Abseher, Michael, Musliu, Nysret, Woltran, Stefan

Volltext

Comparing the Reasoning Capabilities of Equilibrium Theories and Answer Set Programs von Fandinno, Jorge, Pearce, David, Vidal, Concepción, Woltran, Stefan

Volltext

A common view on strong, uniform, and other notions of equivalence in answer-set programming von WOLTRAN, STEFAN

Volltext

On the expressive power of collective attacks von Dvořák, Wolfgang, Fandinno, Jorge, Woltran, Stefan

Volltext

Foundations of Information and Knowledge Systems: 10th International Symposium, FoIKS 2018, Budapest, Hungary, May 14-18, 2018, Proceedings von Ferrarotti, Flavio, Woltran, Stefan

Volltext

Characterizations for Relativized Notions of Equivalence in Answer Set Programming von Woltran, Stefan

Volltext

Investigating subclasses of abstract dialectical frameworks von Diller, Martin, Keshavarzi Zafarghandi, Atefeh, Linsbichler, Thomas, Woltran, Stefan

Volltext

A Model-Theoretic Approach to Belief Change in Answer Set Programming von Delgrande, James, Schaub, Torsten, Tompits, Hans, Woltran, Stefan

Volltext

Logic Programming and Nonmonotonic Reasoning: 15th International Conference, LPNMR 2019, Philadelphia, PA, USA, June 3-7, 2019, Proceedings von Balduccini, Marcello, Lierler, Yuliya, Woltran, Stefan

Volltext

DynASP2.5: Dynamic Programming on Tree Decompositions in Action von Fichte, Johannes K., Hecher, Markus, Morak, Michael, Woltran, Stefan

Volltext

Do Hard SAT-Related Reasoning Tasks Become Easier in the Krom Fragment? von Creignou, Nadia, Pichler, Reinhard, Woltran, Stefan

Volltext

Defensive alliances in graphs of bounded treewidth von Bliem, Bernhard, Woltran, Stefan

Volltext

Complexity of abstract argumentation under a claim-centric view von Dvořák, Wolfgang, Woltran, Stefan

Volltext

Semantical characterizations and complexity of equivalences in answer set programming von Eiter, Thomas, Fink, Michael, Woltran, Stefan

Volltext

Choice logics and their computational properties von Bernreiter, Michael, Maly, Jan, Woltran, Stefan

Volltext

Abstract solvers for Dung’s argumentation frameworks von Brochenin, Remi, Linsbichler, Thomas, Maratea, Marco, Wallner, Johannes P., Woltran, Stefan

Volltext