Publikationen von Martin Diller

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

Publikationen von Martin Diller


Artikel in Fachzeitschriften

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

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

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


Artikel in Tagungsbänden

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


Technische Berichte

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