Items where Author is "Dvořák, Wolfgang"

Up a level
Export as [feed] Atom [feed] RSS 1.0 [feed] RSS 2.0
Group by: Category | No Grouping
Number of items: 39.

  • Symbolic Time and Space Tradeoffs for Probabilistic Verification
    Chatterjee, Krishnendu and Dvořák, Wolfgang and Svozil, Alexander and Henzinger, Monika In: 36th Annual Symposium on Logic in Computer Science (LICS 2021) , 29 June - 02 July, 2021 , Online (2021)

  • Algorithms and conditional lower bounds for planning problems
    Chatterjee, Krishnendu and Dvořák, Wolfgang and Svozil, Alexander and Henzinger, Monika ISSN 0004-3702 (2021)

  • Near-linear time algorithms for Streett objectives in Graphs and MDPs
    Chatterjee, Krishnendu and Dvořák, Wolfgang and Henzinger, Monika and Svozil, Alexander In: CONCUR 2019, the 30th International Conference on Concurrency Theory , August 26-31, 2019 , Amsterdam, The Netherlands (2019)

  • Quasipolynomial Set-Based Symbolic Algorithms for Parity Games
    Chatterjee, Krishnendu and Dvořák, Wolfgang and Henzinger, Monika and Svozil, Alexander In: 22nd International Conference on Logic for Programming, Artificial Intelligence and Reasoning (LPAR) , 16-21 November, 2018 , Awassa, Ethiopia (2018)

  • Algorithms and Conditional Lower Bounds for Planning Problems
    Chatterjee, Krishnendu and Dvořák, Wolfgang and Henzinger, Monika and Svozil, Alexander In: The 28th International Conference on Automated Planning and Scheduling , 27-29 June 2018 , Delft, The Netherlands (2018)

  • Lower Bounds for Symbolic Computation on Graphs: Strongly Connected Components, Liveness, Safety, and Diameter
    Chatterjee, Krishnendu and Dvořák, Wolfgang and Henzinger, Monika and Loitzenbauer, Veronika In: 29th Annual ACM-SIAM Symposium on Discrete Algorithms (SODA 2018) , January 7-10, 2018 , New Orleans, LA, USA (2018)

  • Improved Set-Based Symbolic Algorithms for Parity Games
    Chatterjee, Krishnendu and Dvořák, Wolfgang and Henzinger, Monika and Loitzenbauer, Veronika In: 26th EACSL Annual Conference on Computer Science Logic, CSL 2017, August 20-24, 2017, Stockholm, Sweden , 20-24 August 2017 , Stockholm (2017)

  • Welfare Maximization with Friends-of-Friends Network Externalities
    Bhattacharya, Sayan and Dvořák, Wolfgang and Henzinger, Monika and Starnberger, Martin Theory of Computing Systems. pp. 1-39 ISSN 1432-4350 Springer US (2017)

  • On rejected arguments and implicit conflicts: The hidden power of argumentation semantics
    Baumann, Ringo and Dvořák, Wolfgang and Linsbichler, Thomas and Spanring, Christof and Strass, Hannes and Woltran, Stefan Artificial Intelligence , 241. 244 - 284 ISSN 0004-3702 (2016)

  • Conditionally Optimal Algorithms for Generalized Büchi Games
    Chatterjee, Krishnendu and Dvořák, Wolfgang and Henzinger, Monika and Loitzenbauer, Veronika In: 41st International Symposium on Mathematical Foundations of Computer Science (MFCS 2016) , August 22-26, 2016 , Krakow (Poland) (2016)

  • Model and Objective Separation with Conditional Lower Bounds: Disjunction is Harder than Conjunction
    Chatterjee, Krishnendu and Dvořák, Wolfgang and Henzinger, Monika and Loitzenbauer, Veronika In: Thirty-First Annual ACM/IEEE Symposium on Logic in Computer Science (LICS) , July 5-8, 2016 , New York City, USA (2016)

  • Comparing the expressiveness of argumentation semantics
    Dvořák, Wolfgang and Spanring, Christof ISSN 0955-792X (2016)

  • Maximizing a Submodular Function with Viability Constraints
    Dvořák, Wolfgang and Henzinger, Monika and Williamson, David P. ISSN 0178-4617 Springer US (2015)

  • Complexity-Sensitive Decision Procedures for Abstract Argumentation (Extended Abstract)
    Dvořák, Wolfgang and Järvisalo, Matti and Wallner, Johannes Peter and Woltran, Stefan In: Proceedings of the Twenty-Fourth International Joint Conference on Artificial Intelligence, IJCAI 2015, Buenos Aires, Argentina, July 25-31, 2015 , July 25-31, 2015 , Buenos Aires, Argentina (2015)

  • Welfare Maximization with Friends-of-Friends Network Externalities
    Bhattacharya, Sayan and Dvořák, Wolfgang and Henzinger, Monika and Starnberger, Martin In: 32nd Symposium on Theoretical Aspects of Computer Science (STACS 2015) , March, 4 - 7 2015 , Munich, Germany (2015)

  • CEGARTIX v0.4: A SAT-Based Counter-Example Guided Argumentation Reasoning Tool
    Dvořák, Wolfgang and Järvisalo, Matti and Wallner, Johannes Peter and Woltran, Stefan Other. UNSPECIFIED (2015)

  • Characteristics of multiple viewpoints in abstract argumentation
    Dunne, Paul E. and Dvořák, Wolfgang and Linsbichler, Thomas and Woltran, Stefan Artificial Intelligence , 228. pp. 153-178 ISSN 0004-3702 Elsevier (2015)

  • Methods for Solving Reasoning Problems in Abstract Argumentation - A Survey
    Charwat, Günther and Dvořák, Wolfgang and Gaggl, Sarah Alice and Wallner, Johannes Peter and Woltran, Stefan pp. 28-63 ISSN 0004-3702 Elsevier (2015)

  • Online Ad Assignment with an Ad Exchange
    Dvořák, Wolfgang and Henzinger, Monika In: Workshop on Approximation and Online Algorithms , September 11–12 , Wroclaw, Poland (2015)

  • Reduction-Based Approaches to Implement Modgil's Extended Argumentation Frameworks
    Dvořák, Wolfgang and Gaggl, Sarah Alice and Linsbichler, Thomas and Wallner, Johannes Peter In: Advances in Knowledge Representation, Logic Programming, and Abstract Argumentation. Lecture Notes in Computer Science, 9060 Springer International Publishing, pp. 249-264 (2015)

  • Limiting Price Discrimination when Selling Products with Positive Network Externalities
    Cigler, Luděk and Dvořák, Wolfgang and Henzinger, Monika and Starnberger, Martin In: WINE 2014: The 10th Conference on Web and Internet Economics , Dec. 14-17 , Bejing, China (2014)

  • On the equivalence between logic programming semantics and argumentation semantics
    Caminada, Martin and Sá, Samy and Alcântara , João and Dvořák, Wolfgang International Journal of Approximate Reasoning , 58. pp. 87-111 ISSN 0888-613X (2014)

  • Resolution-based grounded semantics revisited.
    Dvořák, Wolfgang and Linsbichler, Thomas and Oikarinen, Emilia and Woltran, Stefan In: Fifth International Conference on Computational Models of Argument , September 9th - 12th , Scottish Highlands (2014)

  • Compact Argumentation Frameworks.
    Baumann, Ringo and Dvořák, Wolfgang and Linsbichler, Thomas and Strass, Hannes and Woltran, Stefan In: 21st European Conference on Artificial Intelligence , 18-22 Aug. , Prague, Czech Republic (2014)

  • Characteristics of Multiple Viewpoints in Abstract Argumentation
    Dunne, Paul E. and Dvořák, Wolfgang and Linsbichler, Thomas and Woltran, Stefan In: 14th International Conference on Principles of Knowledge Representation and Reasoning , 2014-07-20 - 2014-07-24 , Vienna (2014)

  • Compact Argumentation Frameworks.
    Baumann, Ringo and Dvořák, Wolfgang and Linsbichler, Thomas and Strass, Hannes and Woltran, Stefan In: 15th International Workshop on Non-Monotonic Reasoning , 17–19 July 2014 , Vienna (2014)

  • Complexity-Sensitive Decision Procedures for Abstract Argumentation.
    Dvořák, Wolfgang and Järvisalo, Matti and Wallner, Johannes Peter and Woltran, Stefan Artificial Intelligence, 206. pp. 53-78 ISSN 0004-3702 Elsevier (In Press) (2014)

  • Preferred semantics as socratic discussion
    Caminada, Martin and Dvořák, Wolfgang and Vesic, Srdjan ISSN 0955-792X Oxford Journals (2014)

  • Stage semantics and the SCC-recursive schema for argumentation semantics
    Dvořák, Wolfgang and Gaggl, Sarah Alice ISSN 0955-792X Oxford Journals (2014)

  • Parametric Properties of Ideal Semantics
    Dunne, Paul E. and Dvořák, Wolfgang and Woltran, Stefan Artificial Intelligence, 202. pp. 1-28 ISSN 0004-3702 Elsevier (2013)

  • Characteristics of Multiple Viewpoints in Abstract Argumentation
    Dunne, Paul E. and Dvořák, Wolfgang and Linsbichler, Thomas and Woltran, Stefan In: 4th Workshop on Dynamics of Knowledge and Belief (DKB-2013) (2013)

  • Computationale Aspekte der Abstrakten Argumentation.
    Dvořák, Wolfgang In: Ausgezeichnete Informatikdissertationen 2012. Lecture Notes in Informatics (LNI) (D-13) Bonner Köllen Verlag, pp. 61-70 ISBN 978-3-88579-417-2 (2013)

  • Making Use of Advances in Answer-Set Programming for Abstract Argumentation Systems.
    Dvořák, Wolfgang and Gaggl, Sarah Alice and Wallner, Johannes Peter and Woltran, Stefan In: Applications of Declarative Programming and Knowledge Management Applications of Declarative Programming and Knowledge Management. Lecture Notes in Computer Science (7773) Springer Berlin Heidelberg, pp. 114-133 ISBN 978-3-642-41523-4 (2013)

  • Maximizing a Submodular Function with Viability Constraints
    Dvořák, Wolfgang and Henzinger, Monika and Williamson, David P. In: 21st European Symposium on Algorithms (ESA 2013) , 02-04 Sep 2013 , Sophia Antipolis, France (2013)

  • On the Difference between Assumption-Based Argumentation and Abstract Argumentation
    Caminada, Martin and Sá, Samy and Alcântara , João and Dvořák, Wolfgang In: 25th Belgium-Netherlands Artificial Intelligence Conference (BNAIC 2013) , 7-8 Nov 2013 , Delft, Netherlands (2013)

  • dynPARTIX - A Dynamic Programming Reasoner for Abstract Argumentation
    Dvořák, Wolfgang and Morak, Michael and Nopp, Clemens and Woltran, Stefan In: Applications of Declarative Programming and Knowledge Management. Lecture Notes in Computer Science (7773) Springer Berlin Heidelberg, pp. 259-268 ISBN 978-3-642-41523-4 (2013)

  • Abstract Argumentation via Monadic Second Order Logic
    Dvořák, Wolfgang and Szeider, Stefan and Woltran, Stefan In: 6th International Conference on Scalable Uncertainty Management (SUM 2012) , 17-19 Sep 2012 , Marburg, Germany (2012)

  • Comparing the Expressiveness of Argumentation Semantics
    Dvořák, Wolfgang and Spanring, Christof In: Fourth International Conference on Computational Models of Argument COMMA 2012 , 10-12 Sep 2012 , Vienna, Austria (2012)

  • Computational Aspects of cf2 and stage2 Argumentation Semantics
    Dvořák, Wolfgang and Gaggl, Sarah Alice In: Fourth International Conference on Computational Models of Argument COMMA 2012 , 10-12 Dec 2012 , Vienna, Austria (2012)

    • This list was generated on Sat Nov 23 09:13:06 2024 CET.
    Universität Wien| Fakultät für Informatik | Währinger Straße 29 | 1090 Wien | T +43-1-4277-780 01 | Imprint | Webteam
    EPrints Logo
    CS is powered by EPrints 3 which is developed by the School of Electronics and Computer Science at the University of Southampton. More information and software credits.