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

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

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

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

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


Buchkapitel

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


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

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