Publikationen der Gruppe Logische Programmierung und Argumentation

Aus International Center for Computational Logic
Wechseln zu:Navigation, Suche
Toggle side column

Publikationen der Gruppe Logische Programmierung und Argumentation


Artikel in Fachzeitschriften

Gerhard Brewka, Martin Diller, Georg Heissenberger, Thomas Linsbichler, Stefan Woltran
Solving Advanced Argumentation Problems with Answer Set Programming
Theory and Practice of Logic Programming, January 2020
Details

Martin Diller, Atefeh Keshavarzi Zafarghandi, Thomas Linsbichler, Stefan Woltran
Investigating subclasses of abstract dialectical frameworks
Argument & Computation, 11(1-2):191-219, May 2020
Details

Sarah Alice Gaggl, Thomas Linsbichler, Marco Maratea, Stefan Woltran
Design and results of the second international competition on computational models of argumentation
Artificial Intelligence, 279, February 2020
Details Download

Hannes Strass, Adam Zachary Wyner, Martin Diller
EMIL: Extracting Meaning from Inconsistent Language: Towards argumentation using a controlled natural language interface
International Journal of Approximate Reasoning, 112:55-84, 2019
Details

Martin Diller, Adrian Haret, Thomas Linsbichler, Stefan Rümmele, Stefan Woltran
An Extension-Based Approach to Belief Revision in Abstract Argumentation
International Journal of Approximate Reasoning, 93:395-423, 2018
Details

Sarah Alice Gaggl, Thomas Linsbichler, Marco Maratea, Stefan Woltran
Summary Report of the Second International Competition on Computational Models of Argumentation
AI Magazine, 39(4):77-79, December 2018
Details Download

Federico Cerutti, Sarah Alice Gaggl, Matthias Thimm, Johannes Peter Wallner
Foundations of Implementations for Formal Argumentation
The IfCoLog Journal of Logics and their Applications; Special Issue Formal Argumentation, 4:2623-2705, September 2017
Details Download

Wolfgang Dvořák, Sarah Alice Gaggl
Stage semantics and the SCC-recursive schema for argumentation semantics
Journal of Logic and Computation, 26(4):1149-1202, August 2016
Details Download

Günther Charwat, Wolfgang Dvořák, Sarah Alice Gaggl, Johannes Peter Wallner, Stefan Woltran
Methods for Solving Reasoning Problems in Abstract Argumentation – A Survey
Artificial Intelligence Journal, 220(0):28-63, March 2015
Details Download

Martin Diller, Johannes Peter Wallner, Stefan Woltran
Reasoning in Abstract Dialectical Frameworks Using Quantified Boolean Formulas
Argument & Computation, 6(2):149–177, 2015
Details

Sarah Alice Gaggl, Norbert Manthey, Alessandro Ronca, Johannes Peter Wallner, Stefan Woltran
Improved Answer-Set Programming Encodings for Abstract Argumentation
Theory and Practice of Logic Programming (TPLP), 15(4-5):434-448, September 2015
Details Download

Sarah Alice Gaggl, Stefan Woltran
The cf2 argumentation semantics revisited
Journal of Logic and Computation, 23(5):925-949, 2013
Details Download

Marina M. Strelin, Andrea Cosacov, Martin Diller, Alicia N. Sérsic
Study of the Polymorphism of the Patagonian Calceolaria Polyrhiza (Calceolariaceae) using Decision Tree and Sequential Covering Rule Induction
Botanical Journal of the Linnean Society, 173(3):487-500, 2013
Details

Uwe Egly, Sarah Alice Gaggl, Stefan Woltran
Answer-set programming encodings for argumentation frameworks
Argument & Computation, 1(2):147-177, 2010
Details Download


Artikel in Tagungsbänden

Wolfgang Dvořák, Sarah Alice Gaggl, Anna Rapberger, Johannes Peter Wallner, Stefan Woltran
The ASPARTIX System Suite
Proceedings of the 8th International Conference on Computational Models of Argument (COMMA 2020), volume 326 of Frontiers in Artificial Intelligence and Applications, 461-462, September 2020
Details Download

Mei Yang, Sarah Alice Gaggl, Sebastian Rudolph
Neva – Extension Visualization for Argumentation Frameworks
Proceedings of the 8th International Conference on Computational Models of Argument (COMMA 2020), volume 326 of Frontiers in Artificial Intelligence and Applications, 477-478, September 2020
Details Download

Martin Diller, Adam Zachary Wyner, Hannes Strass
Making Sense of Conflicting (Defeasible) Rules in the Controlled Natural Language ACE: Design of a System with Support for Existential Quantification Using Skolemization
Proceedings of the 13th International Conference on Computational Semantics, 32-37, 2019. Association for Computational Linguistics
Details

Martin Diller, Atefeh Keshavarzi Zafarghandi, Thomas Linsbichler, Stefan Woltran
Investigating Subclasses of Abstract Dialectical Frameworks
Proceedings of 7th International Conference on Computational Models of Argument, 12-14, 2018
Details

Martin Diller, Wolfgang Dvořák, Jörg Pührer, Johannes Peter Wallner, Stefan Woltran
Applications of ASP in Formal Argumentation
Proceedings of the Second Workshop on Theory and Applications of Answer Set Programming, 2018
Details

Gerhard Brewka, Martin Diller, Georg Heissenberger, Thomas Linsbichler, Stefan Woltran
Solving Advanced Argumentation Problems with Answer-Set Programming
Proceedings of the 31rst AAAI Conference on Artificial Intelligence, 1077-1083, 2017
Details

Martin Diller, Anthony Hunter
Encoding monotonic multiset preferences using CI-nets
Proceedings of the 1rst Workshop on Präferenzen und Personalisierung in der Informatik, 2017
Details

Martin Diller, Adam Zachary Wyner, Hannes Strass
Defeasible AceRules: A prototype
Proceedings of the 12th International Conference on Computational Semantics, 19-22, 2017
Details

Sarah Alice Gaggl, Sebastian Rudolph, Lukas Schweizer
Practical Fixed-Domain Reasoning for Description Logics - Extended Abstract
In Juan L. Reutter, Divesh Srivastava, eds., Proceedings of the 11th Alberto Mendelzon International Workshop on Foundations of Data Management and the Web, Montevideo, Uruguay, June 7-9, 2017, volume 1912 of CEUR Workshop Proceedings, June 2017. CEUR-WS.org
Details Download

Sarah Alice Gaggl, Thomas Linsbichler, Marco Maratea, Stefan Woltran
Introducing the Second International Competition on Computational Models of Argumentation
In Matthias Thimm, Federico Cerutti, Hannes Strass, Mauro Vallati, eds., Proceedings of the First International Workshop on Systems and Algorithms for Formal Argumentation (SAFA 2016), volume 1672, 4-9, September 2016. CEUR-WS
Details Download

Sarah Alice Gaggl, Sebastian Rudolph, Lukas Schweizer
Fixed-Domain Reasoning for Description Logics
In Maurizio Lenzerini, Rafael Peñaloza, eds., Proceedings of the 29th International Workshop on Description Logics (DL'16), volume 1577, 2016. CEUR Workshop Proceedings
Details Download

Sarah Alice Gaggl, Sebastian Rudolph, Lukas Schweizer
Fixed-Domain Reasoning for Description Logics
In Gal A. Kaminka, Maria Fox, Paolo Bouquet, Eyke Hüllermeier, Virginia Dignum, Frank Dignum, Frank van Harmelen, eds., Proceedings of the 22nd European Conference on Artificial Intelligence (ECAI 2016), volume 285 of Frontiers in Artificial Intelligence and Applications, 819 - 827, September 2016. IOS Press
Details Download

Sarah Alice Gaggl, Umer Mushtaq
Intertranslatability of Labeling-based Argumentation Semantics
In Steven Schockaert, Pierre Senellart, eds., Proceedings of the 10th International Conference on Scalable Uncertainty Management (SUM 2016), volume 9858 of Lecture Notes in Computer Science, 155-169, September 2016. Springer
Details Download

Martin Diller, Adrian Haret, Thomas Linsbichler, Stefan Rümmele, Stefan Woltran
An Extension-Based Approach to Belief Revision in Abstract Argumentation
Proceedings of the 24th International Joint Conference on Artificial Intelligence, 2926–2932, 2015. AAAI Press
Details

Sarah Alice Gaggl, Sebastian Rudolph, Lukas Schweizer
Bound Your Models! How to Make OWL an ASP Modeling Language
In Stefan Ellmauthaler, Claudia Schulz, eds., International Workshop on User-Oriented Logic Programming (IULP), November 2015
Details

Sarah Alice Gaggl, Sebastian Rudolph, Hannes Strass
On the Computational Complexity of Naive-based Semantics for Abstract Dialectical Frameworks
In Qiang Yang and Michael Wooldridge, eds., Proceedings of the 24th International Joint Conference on Artificial Intelligence (IJCAI 2015), AAAI Press, 2985--2991, July 2015. AAAI Press
Details Download

Sarah Alice Gaggl, Norbert Manthey, Alessandro Ronca, Johannes Peter Wallner, Stefan Woltran
Improved Answer-Set Programming Encodings for Abstract Argumentation
To appear in Theory and Practice of Logic Programming (TPLP), Proceedings of ICLP 2015, August 2015. arXiv:1507.06689
Details Download

Martin Diller, Johannes Peter Wallner, Stefan Woltran
Reasoning in Abstract Dialectical Frameworks Using Quantified Boolean Formulas
Proceedings of the 5th International Conference on Computational Models of Argument, 241-252, 2014. IOS Press
Details

Sarah Alice Gaggl, Hannes Strass
Decomposing Abstract Dialectical Frameworks
In Simon Parsons, Nir Oren, Chris Reed, Federico Cerutti, eds., Proceedings of the 5th International Conference on Computational Models of Argument (COMMA 2014), volume 266 of Frontiers in Artificial Intelligence and Applications, 281-292, 2014. IOS Press
Details Download

Andreas Bauer, Peter Baumgartner, Martin Diller, Michael Norrish
Tableaux for Verification of Data-Centric Processes
Proceedings of the 22nd International Conference on Automated Reasoning with Analytic Tableaux and Related Methods, 28-43, 2013. Springer
Details

Wolfgang Dvořák, Sarah Alice Gaggl, Johannes Peter Wallner, Stefan Woltran
Making Use of Advances in Answer-Set Programming for Abstract Argumentation Systems
In Hans Tompits, Salvador Abreu, Johannes Oetsch, Jörg Pührer, Dietmar Seipel, Masanobu Umeda, Armin Wolf, eds., 19th International Conference, INAP 2011, and 25th Workshop on Logic Programming, WLP 2011, Vienna, Austria, September 28-30, 2011, Revised Selected Papers, volume 7773 of Lecture Notes in Computer Science, 114-133, 2013. Springer
Details Download

Wolfgang Dvořák, Sarah Alice Gaggl
Computational Aspects of cf2 and stage2 Argumentation Semantics
In Bart Verheij, Stefan Szeider, Stefan Woltran, eds., Proceedings of the 4th International Conference on Computational Models of Argument (COMMA 2012), volume 245 of Frontiers in Artificial Intelligence and Applications, 273-284, 2012. IOS Press
Details Download

Wolfgang Dvořák, Sarah Alice Gaggl
Incorporating Stage Semantics in the SCC-recursive Schema for Argumentation Semantics
Proceedings of the 14th International Workshop on Non-Monotonic Reasoning (NMR 2012), June 2012
Details Download

Javier Oscar Blanco, Pio Garcia, Martin Diller, Renato Cherini
A Behavioral Characterization of Computational Systems
In Verlagshaus Monsenstein und Vannerdat OHG, eds., Proceedings of the 1rst International Conference of the International Association for Computing and Philosophy, 30-33, 2011
Details

Sarah Alice Gaggl, Stefan Woltran
Strong Equivalence for Argumentation Semantics Based on Conflict-Free Sets
In Weiru Liu, eds., Proceedings of the 11th European Conference on Symbolic and Quantitative Approaches to Reasoning with Uncertainty (ECSQARU 2011), volume 6717 of Lecture Notes in Computer Science, 38-49, June 2011. Springer
Details Download

Sarah Alice Gaggl, Stefan Woltran
cf2 Semantics Revisited
In Pietro Baroni, Federico Cerutti, Massimiliano Giacomin, Guillermo Ricardo Simari, eds., Proceedings of the Third International Conference on Computational Models of Argument (COMMA 2010), volume 216 of Frontiers in Artificial Intelligence and Applications, 243-254, September 2010. IOS Press
Details Download

Sarah Alice Gaggl
Towards a General Argumentation System based on Answer-Set Programming
In Manuel V. Hermenegildo, Torsten Schaub, eds., Technical Communications of the 26th International Conference on Logic Programming (ICLP 2010), volume 7 of LIPIcs, 265-269, July 2010. Schloss Dagstuhl - Leibniz-Zentrum fuer Informatik
Details Download

Uwe Egly, Sarah Alice Gaggl, Stefan Woltran
ASPARTIX: Implementing Argumentation Frameworks Using Answer-Set Programming
In Maria Garcia de la Banda, Enrico Pontelli, eds., Proceedings of the 24th International Conference on Logic Programming, (ICLP 2008), volume 5366 of Lecture Notes in Computer Science, 734-738, 2008. Springer
Details Download

Uwe Egly, Sarah Alice Gaggl, Stefan Woltran
Answer-Set Programming Encodings for Argumentation Frameworks
1st Workshop on Answer Set Programming and Other Computing Paradigms (ASPOCP 2008), 2008
Details Download


Buchkapitel

Federico Cerutti, Sarah Alice Gaggl, Matthias Thimm, Johannes Peter Wallner
Foundations of Implementations for Formal Argumentation
In Pietro Baroni; Dov Gabbay; Massimiliano Giacomin; Leendert van der Torre, eds., Handbook on Formal Argumentation, chapter Foundations of implementations for formal argumentation, 688-767. College Publications, February 2018
Details Download

Wolfgang Dvořák, Sarah Alice Gaggl, Thomas Linsbichler, Johannes Peter Wallner
Reduction-Based Approaches to Implement Modgil’s Extended Argumentation Frameworks
In Eiter, Thomas and Strass, Hannes and Truszczyński, Mirosław and Woltran, Stefan, eds., Advances in Knowledge Representation, Logic Programming, and Abstract Argumentation - Essays Dedicated to Gerhard Brewka on the Occasion of His 60th Birthday, volume 9060 of Lecture Notes in Computer Science, chapter Abstract Argumentation, 249-264. Springer International Publishing, 2015
Details Download

Sarah Alice Gaggl, Sebastian Rudolph, Michaël Thomazo
What Is a Reasonable Argumentation Semantics?
In Eiter, Thomas and Strass, Hannes and Truszczyński, Mirosław and Woltran, Stefan, eds., Advances in Knowledge Representation, Logic Programming, and Abstract Argumentation - Essays Dedicated to Gerhard Brewka on the Occasion of His 60th Birthday, volume 9060 of Lecture Notes in Computer Science, chapter Abstract Argumentation, 309-324. Springer International Publishing, 2015
Details Download

Wolfgang Dvořák, Sarah Alice Gaggl, Stefan Szeider, Stefan Woltran
Benchmark libraries for argumentation
In Ossowski, Sascha, eds., Agreement Technologies, volume 8 of Law, Governance and Technology Series, chapter The added value of argumentation, 389-393. Springer, 2013
Details

Martin Diller
Hacía un marco ontológico y epistemológico para una metodología de la verificación de los programas computacionales en ciencia de la computación
In Las prácticas científicas: aportes para un enfoque epistemológico, 31-62. Editorial Brujas, 2011
Details Download


Herausgegebene Tagungsbände

Sarah Alice Gaggl, Matthias Thimm, Mauro Vallati
Proceedings of the Third International Workshop on Systems and Algorithms for Formal Argumentation (SAFA'20)
Volume 2672, September 2020. CEUR-WS.org
Details

Sarah Alice Gaggl, Matthias Thimm
Proceedings of the Second Summer School on Argumentation: Computational and Linguistic Perspectives (SSA'16)
Volume abs/1608.02441, September 2016. CoRR
Details Download

Sarah Alice Gaggl, Juan Carlos Nieves, Hannes Strass
Proceedings of the First International Workshop on Argumentation in Logic Programming and Non-Monotonic Reasoning (Arg-LPNMR 2016)
Volume abs/1611.02439, November 2016. CoRR
Details Download


Dissertationen

Sarah Alice Gaggl
A Comprehensive Analysis of the cf2 Argumentation Semantics: From Characterization to Implementation
Phd thesis, TU Wien, 2013/03/04
Details Download


Technische Berichte

Gerhard Brewka, Martin Diller, Georg Heissenberger, Thomas Linsbichler, Stefan Woltran
Solving Advanced Argumentation Problems with Answer Set Programming
Technical Report, arXiv.org, December 2019
Details

Sarah Alice Gaggl, Thomas Linsbichler, Marco Maratea, Stefan Woltran
Design and Results of the Second International Competition on Computational Models of Argumentation
Technical Report, arXiv.org, volume CoRR abs/1909.00621, September 2019
Details Download

Martin Diller, Anthony Hunter
Encoding monotonic multi-set preferences using CI-nets: preliminary report
Technical Report, arXiv.org, 2016
Details

Wolfgang Dvořák, Sarah Alice Gaggl
Incorporating Stage Semantics in the SCC-recursive Schema for Argumentation Semantics
Technical Report, Technische Universität Wien, volume DBAI-TR-2012-78, 2012
Details Download

Sarah Alice Gaggl, Stefan Woltran
The cf2 Argumentation Semantics Revisited
Technical Report, Technische Universität Wien, volume DBAI-TR-2012-77, 2012
Details Download

Wolfgang Dvořák, Sarah Alice Gaggl, Johannes Peter Wallner, Stefan Woltran
Making Use of Advances in Answer-Set Programming for Abstract Argumentation System
Technical Report, arXiv.org, volume abs/1108.4942, 2011. Paper appears in the Proceedings of the 19th International Conference on Applications of Declarative Programming and Knowledge Management (INAP 2011)
Details Download

Sarah Alice Gaggl, Stefan Woltran
Strong Equivalence for Argumentation Semantics based on Conflict-free Sets
Technical Report, Technische Universität Wien, volume DBAI-TR-2011-68, 2011
Details Download

Uwe Egly, Sarah Alice Gaggl, Stefan Woltran
Answer-Set Programming Encodings for Argumentation Frameworks
Technical Report, Technische Universität Wien, volume DBAI-TR-2008-62, 2008
Details Download


Vorträge und Sonstiges

Sarah Alice Gaggl, Norbert Manthey
ASPARTIX-D Ready for the Competition
Presentation at Argumentation Spring Meeting 2015, Leipzig, April 2015
Details Download

Uwe Egly, Sarah Alice Gaggl, Paul Wandl, Stefan Woltran
ASPARTIX Conquers the Web
Software demonstration at the 3rd International Conference on Computational Models of Argument (COMMA 2010), 2010
Details Download

Sarah Alice Gaggl
ASPARTIX: A System for Computing Different Argumentation Semantics in Answer-Set Programming
Poster at Advanced Course on Artificial Intelligence Summer School (ACAI 2009), 2009
Details Download