Woltran, Stefan

Network Lab View Statistics Email Alert RSS Feed

Name Card

Full name Familienname, Vorname
Woltran, Stefan
 
Main Affiliation Organisations­zuordnung
 

Own Publications Eigene Publikationen

Results 141-160 of 394 (Search time: 0.003 seconds).

PreviewAuthor(s)TitleTypeIssue Date
141Fichte, Johannes ; Kronegger, Martin ; Woltran, Stefan Multiparametric View on Answer Set ProgrammingBericht Report2016
142Fichte, Johannes ; Hecher, Markus ; Morak, Michael ; Woltran, Stefan Answer Set Solving using Tree Decompositions and Dynamic Programming -- The DynASP2 SystemBericht Report2016
143Bliem, Bernhard ; Woltran, Stefan Equivalence Between Answer-Set Programs Under (Partially) Fixed InputKonferenzbeitrag Inproceedings 2016
144Bliem, Bernhard ; Kaufmann, Benjamin ; Schaub, Torsten ; Woltran, Stefan ASP for Anytime Dynamic Programming on Tree DecompositionsKonferenzbeitrag Inproceedings 2016
145Bliem, Bernhard ; Hecher, Markus ; Woltran, Stefan On Efficiently Enumerating Semi-Stable Extensions via Dynamic Programming on Tree DecompositionsKonferenzbeitrag Inproceedings 2016
146Bliem, Bernhard ; Woltran, Stefan Complexity of Secure SetsKonferenzbeitrag Inproceedings 2016
147Bliem, Bernhard ; Charwat, Günther ; Hecher, Markus ; Woltran, Stefan Subset Minimization in Dynamic Programming on Tree DecompositionsKonferenzbeitrag Inproceedings 2016
148Bichler, Manuel ; Morak, Michael ; Woltran, Stefan lpopt: A Rule Optimization Tool for Answer Set ProgrammingKonferenzbeitrag Inproceedings 2016
149Baumann, Ringo ; Linsbichler, Thomas ; Woltran, Stefan Verifiability of argumentation semanticsKonferenzbeitrag Inproceedings 2016
150Heissenberger, Georg ; Woltran, Stefan Grappavis - A system for advanced graph-based argumentationKonferenzbeitrag Inproceedings 2016
151Delobelle, Jerome ; Haret, Adrian ; Konieczny, Sebastien ; Mailly, Jean-Guy ; Rossit, Julien ; Woltran, Stefan Merging of Abstract Argumentation FrameworksKonferenzbeitrag Inproceedings 2016
152Haret, Adrian ; Mailly, Jean-Guy ; Woltran, Stefan Distributing Knowledge Into Simple BasesKonferenzbeitrag Inproceedings 2016
153Dunne, Paul E. ; Linsbichler, Thomas ; Spanring, Christof ; Woltran, Stefan Investigating the relationship between argumentation semantics via signatureKonferenzbeitrag Inproceedings 2016
154Woltran, Stefan Towards advanced systems for abstract argumentationKonferenzbeitrag Inproceedings2016
155Baumann, Ringo ; Linsbichler, Thomas ; Woltran, Stefan Verifiability of argumentation semanticsKonferenzbeitrag Inproceedings2016
156Haret, Adrian ; Mailly, Jean-Guy ; Woltran, Stefan Distributing Knowledge Into Simple BasesKonferenzbeitrag Inproceedings 2016
157Giacomin, Massimiliano ; Linsbichler, Thomas ; Woltran, Stefan On the functional completeness of argumentation semanticsKonferenzbeitrag Inproceedings 2016
158Brewka, Gerd ; Mailly, Jean-Guy ; Woltran, Stefan Translation-Based Revision and Merging for Minimal Horn ReasoningKonferenzbeitrag Inproceedings 2016
159Creignou, Nadia ; Papini, Odile ; Rümmele, Stefan ; Woltran, Stefan Belief Merging within Fragments of Propositional LogicArtikel Article 2016
160Baumann, Ringo ; Dvořák, Wolfgang ; Linsbichler, Thomas ; Spanring, Christof ; Strass, Hannes ; Woltran, Stefan On rejected arguments and implicit conflicts: The hidden power of argumentation semanticsArtikel Article 2016