Publikationen von Hannes Straß

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

Publikationen von Hannes Straß


Artikel in Fachzeitschriften

Sarah Alice Gaggl, Sebastian Rudolph, Hannes Straß
Naive-based Semantics for Abstract Dialectical Frameworks: Decomposition and Complexity
Journal of Artificial Intelligence Research, 70:1--64, 2021
Details Download
Hannes Straß, Adam Z. 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 Download
Hannes Straß
Instantiating rule-based defeasible theories in abstract dialectical frameworks and beyond
Journal of Logic and Computation, 28:605--627, 2018
Details Download
Ringo Baumann, Hannes Straß
On the Number of Bipolar Boolean Functions
Journal of Logic and Computation, 27(8):2431--2449, 2017
Details Download
Gerhard Brewka, Stefan Ellmauthaler, Hannes Straß, Johannes Peter Wallner, Stefan Woltran
Abstract Dialectical Frameworks. An Overview
FLAP, 4(8):2263--2317, 2017
Details Download
Ringo Baumann, Wolfgang Dvořák, Thomas Linsbichler, Christof Spanring, Hannes Straß, Stefan Woltran
On rejected arguments and implicit conflicts: The hidden power of argumentation semantics
Artificial Intelligence, 241:244--284, 2016
Details Download
Matthias Thimm, Serena Villata, Federico Cerutti, Nir Oren, Hannes Straß, Mauro Vallati
Summary Report of The First International Competition on Computational Models of Argumentation
AI Magazine, 37(1):102, 2016
Details Download
Hannes Straß
Expressiveness of Two-Valued Semantics for Abstract Dialectical Frameworks
Journal of Artificial Intelligence Research, 54:193--231, 2015
Details Download
Hannes Straß, Johannes Peter Wallner
Analyzing the Computational Complexity of Abstract Dialectical Frameworks via Approximation Fixpoint Theory
Artificial Intelligence, 226:34--74, 2015
Details Download
Hannes Straß, Michael Thielscher
A general first-order solution to the ramification problem with cycles
Journal of Applied Logic, 11(3):289--308, 2013
Details Download
Hannes Straß
Approximating Operators and Semantics for Abstract Dialectical Frameworks
Artificial Intelligence, 205:39--70, December 2013
Details Download
Susana Muñoz-Hernández, Victor Pablos-Ceruelo, Hannes Straß
RFuzzy: Syntax, semantics and implementation details of a simple and expressive fuzzy tool over Prolog
Information Sciences, 181(10):1951--1970, 2011
Details Download

Artikel in Tagungsbänden

Martin Diller, Adam Z. Wyner, Hannes Straß
Making Sense of Conflicting (Defeasible) Rules in the Controlled Natural Language ACE: Design of a System with Support for Existential Quantification Using Skolemization
In Simon Dobnik and Stergios Chatzikyriakidis and Vera Demberg, eds., Proceedings of the Thirteenth International Conference on Computational Semantics (IWCS), Short Papers, 32--37, May 2019. The Association for Computational Linguistics
Details Download
Gerhard Brewka, Hannes Straß, Johannes P. Wallner, Stefan Woltran
Weighted Abstract Dialectical Frameworks
In Sheila McIlraith and Kilian Weinberger, eds., Proceedings of the Thirty-Second AAAI Conference on Artificial Intelligence (AAAI), 1779--1786, February 2018. AAAI Press
Details
Martin Diller, Adam Z. Wyner, Hannes Straß
Defeasible AceRules: A Prototype
In Claire Gardent and Christian Retoré, eds., Proceedings of the Twelfth International Conference on Computational Semantics (IWCS), Long Papers, September 2017. The Association for Computer Linguistics
Details Download
Hannes Straß, Adam Wyner
On Automated Defeasible Reasoning with Controlled Natural Language and Argumentation
In Roman Barták and Thomas Leo McCluskey and Enrico Pontelli, eds., Proceedings of the Second International Workshop on Knowledge-based Techniques for Problem Solving and Reasoning (KnowProS), February 2017
Details Download
Adam Z. Wyner, Hannes Straß
dARe -- Using Argumentation to Explain Conclusions from a Controlled Natural Language Knowledge Base
In Salem Benferhat and Karim Tabia and Moonis Ali, eds., Proceedings of the Thirtieth International Conference on Industrial Engineering and Other Applications of Applied Intelligent Systems (IEA/AIE) -- Special Track on Applications of Argumentation, volume 10351 of Lecture Notes in Artificial Intelligence, 328--338, June 2017. Springer
Details Download
Mario Alviano, Wolfgang Faber, Hannes Straß
Boolean Functions with Ordered Domains in Answer Set Programming
In Dale Schuurmans and Michael Wellman, eds., Proceedings of the Thirtieth AAAI Conference on Artificial Intelligence (AAAI), 879--885, February 2016. AAAI Press
Details Download
Ringo Baumann, Hannes Straß
An Abstract Logical Approach to Characterizing Strong Equivalence in Logic-based Knowledge Representation Formalisms
Proceedings of the Fifteenth International Conference on the Principles of Knowledge Representation and Reasoning (KR), 525--528, May 2016. AAAI Press
Details Download
Stefan Ellmauthaler, Hannes Straß
DIAMOND 3.0 -- A Native C++ Implementation of DIAMOND
In Pietro Baroni, eds., Proceedings of the Sixth International Conference on Computational Models of Argument (COMMA), volume 287 of Frontiers in Artificial Intelligence and Applications, 471--472, September 2016. IOS Press
Details Download
Thomas Linsbichler, Jörg Pührer, Hannes Straß
Characterizing Realizability in Abstract Argumentation
In Gabriele Kern-Isberner and Renata Wassermann, eds., Proceedings of the Sixteenth International Workshop on Non-Monotonic Reasoning (NMR), April 2016
Details Download
Thomas Linsbichler, Jörg Pührer, Hannes Straß
A Uniform Account of Realizability in Abstract Argumentation
In Maria Fox and Gal Kaminka and Frank van Harmelen, eds., Proceedings of the Twenty-Second European Conference on Artificial Intelligence (ECAI), volume 285 of Frontiers in Artificial Intelligence and Applications, 252--260, September 2016. IOS Press
Details Download
Ringo Baumann, Hannes Straß
Open Problems in Abstract Argumentation
Advances in Knowledge Representation, Logic Programming, and Abstract Argumentation -- Essays Dedicated to Gerhard Brewka on the Occasion of His 60th Birthday, volume 9060 of LNCS, 325--339, 2015. Springer-Verlag Berlin Heidelberg
Details Download
Marc Denecker, Gerhard Brewka, Hannes Straß
A Formal Theory of Justifications
In Francesco Calimeri and Giovambattista Ianni and Mirosław Truszczyński, eds., Proceedings of the Thirteenth International Conference on Logic Programming and Non-monotonic Reasoning (LPNMR), 250--264, September 2015. Springer-Verlag Berlin Heidelberg
Details Download
Thomas Eiter, Hannes Straß, Mirosław Truszczyński, Stefan Woltran
A Glimpse on Gerhard Brewka's Contributions to Artificial Intelligence
Advances in Knowledge Representation, Logic Programming, and Abstract Argumentation -- Essays Dedicated to Gerhard Brewka on the Occasion of His 60th Birthday, volume 9060 of LNCS, 1--16, 2015. Springer-Verlag Berlin Heidelberg
Details Download
Sarah Alice Gaggl, Sebastian Rudolph, Hannes Straß
On the Computational Complexity of Naive-based Semantics for Abstract Dialectical Frameworks
In Qiang Yang and Michael Wooldridge, eds., Proceedings of the Twenty-Fourth International Joint Conference on Artificial Intelligence (IJCAI), 2985--2991, July 2015. IJCAI/AAAI
Details Download
Hannes Straß
Representational Succinctness of Abstract Dialectical Frameworks
In Elizabeth Black and Sanjay Modgil and Nir Oren, eds., Proceedings of the Third International Workshop on Theory and Applications of Formal Argumentation (TAFA 2015), July 2015
Details Download
Hannes Straß
The Relative Expressiveness of Abstract Argumentation and Logic Programming
In Sven Koenig and Blai Bonet, eds., Proceedings of the Twenty-Ninth AAAI Conference on Artificial Intelligence (AAAI), 1625--1631, January 2015. AAAI Press
Details Download
Ringo Baumann, Hannes Straß
On the Maximal and Average Numbers of Stable Extensions
In Elizabeth Black and Sanjay Modgil and Nir Oren, eds., Proceedings of the Second International Workshop on Theory and Applications of Formal Argumentation (TAFA 2013), volume 8306 of LNAI, 111--126, August 2014. Springer
Details Download
Ringo Baumann, Wolfgang Dvořák, Thomas Linsbichler, Hannes Straß, Stefan Woltran
Compact Argumentation Frameworks
Proceedings of the Twenty-First European Conference on Artificial Intelligence (ECAI), 69--74, August 2014. IOS Press
Details Download
Ringo Baumann, Wolfgang Dvořák, Thomas Linsbichler, Hannes Straß, Stefan Woltran
Compact Argumentation Frameworks
In Sébastien Konieczny and Hans Tompits, eds., Proceedings of the Fifteenth International Workshop on Non-Monotonic Reasoning (NMR), July 2014
Details Download
Federico Cerutti, Nir Oren, Hannes Straß, Matthias Thimm, Mauro Vallati
A Benchmark Framework for a Computational Argumentation Competition
In Simon Parsons and Nir Oren and Chris Reed, eds., Proceedings of the Fifth International Conference on Computational Models of Argument (COMMA), volume 266 of Frontiers in Artificial Intelligence and Applications, 459--460, September 2014. IOS Press
Details Download
Stefan Ellmauthaler, Hannes Straß
The DIAMOND System for Computing with Abstract Dialectical Frameworks
In Simon Parsons and Nir Oren and Chris Reed, eds., Proceedings of the Fifth International Conference on Computational Models of Argument (COMMA), volume 266 of Frontiers in Artificial Intelligence and Applications, 233--240, September 2014. IOS Press
Details Download
Sarah Alice Gaggl, Hannes Straß
Decomposing Abstract Dialectical Frameworks
In Simon Parsons and Nir Oren and Chris Reed, eds., Proceedings of the Fifth International Conference on Computational Models of Argument (COMMA), volume 266 of Frontiers in Artificial Intelligence and Applications, 281--292, September 2014. IOS Press
Details Download
Jianmin Ji, Hannes Straß
From Default and Autoepistemic Logics to Disjunctive Answer Set Programs via the Logic of GK
Proceedings of the Twenty-First European Conference on Artificial Intelligence (ECAI), 1039--1040, August 2014. IOS Press
Details Download
Jianmin Ji, Hannes Straß
Implementing Default and Autoepistemic Logics via the Logic of GK
In Sébastien Konieczny and Hans Tompits, eds., Proceedings of the Fifteenth International Workshop on Non-Monotonic Reasoning (NMR), July 2014
Details Download
Hannes Straß
Implementing Instantiation of Knowledge Bases in Argumentation Frameworks
In Simon Parsons and Nir Oren and Chris Reed, eds., Proceedings of the Fifth International Conference on Computational Models of Argument (COMMA), volume 266 of Frontiers in Artificial Intelligence and Applications, 475--476, September 2014. IOS Press
Details Download
Hannes Straß
On the Relative Expressiveness of Argumentation Frameworks, Normal Logic Programs and Abstract Dialectical Frameworks
In Sébastien Konieczny and Hans Tompits, eds., Proceedings of the Fifteenth International Workshop on Non-Monotonic Reasoning (NMR), July 2014
Details Download
Hannes Straß, Johannes Peter Wallner
Analyzing the Computational Complexity of Abstract Dialectical Frameworks via Approximation Fixpoint Theory
Proceedings of the Fourteenth International Conference on the Principles of Knowledge Representation and Reasoning (KR), 101--110, July 2014. AAAI Press
Details Download
Gerhard Brewka, Stefan Ellmauthaler, Hannes Straß, Johannes Peter Wallner, Stefan Woltran
Abstract Dialectical Frameworks Revisited
Proceedings of the Twenty-Third International Joint Conference on Artificial Intelligence (IJCAI), 803--809, August 2013. IJCAI/AAAI
Details Download
Stefan Ellmauthaler, Hannes Straß
The DIAMOND System for Argumentation: Preliminary Report
In Michael Fink and Yuliya Lierler, eds., Proceedings of the Sixth International Workshop on Answer Set Programming and Other Computing Paradigms (ASPOCP), September 2013
Details Download
Maurice Pagnucco, David Rajaratnam, Hannes Straß, Michael Thielscher
Implementing Belief Change in the Situation Calculus and an Application
Proceedings of the Twelfth International Conference on Logic Programming and Nonmonotonic Reasoning (LPNMR), volume 8148 of LNAI, 439--451, September 2013. Springer-Verlag Berlin Heidelberg
Details Download
Hannes Straß
Instantiating Knowledge Bases in Abstract Dialectical Frameworks
In João Leite and Tran Cao Son and Paolo Torroni and Leon van der Torre and Stefan Woltran, eds., Proceedings of the Fourteenth International Workshop on Computational Logic in Multi-Agent Systems (CLIMA XIV), volume 8143 of LNCS, 86--101, September 2013. Springer
Details Download
Ringo Baumann, Hannes Straß
Default Reasoning about Actions via Abstract Argumentation
In Bart Verheij and Stefan Szeider and Stefan Woltran, eds., Proceedings of the Fourth International Conference on Computational Models of Argument (COMMA), volume 245 of Frontiers in Artificial Intelligence and Applications, 297--309, September 2012. IOS Press
Details Download
Gerhard Brewka, Hannes Straß, Michael Thielscher
Declarative Strategies for Agents with Incomplete Knowledge
In Riccardo Rosati and Stefan Woltran, eds., Proceedings of the Fourteenth International Workshop on Non-Monotonic Reasoning (NMR), June 2012
Details Download
Hannes Straß
The draculasp System: Default Reasoning about Actions and Change Using Logic and Answer Set Programming
In Riccardo Rosati and Stefan Woltran, eds., Proceedings of the Fourteenth International Workshop on Non-Monotonic Reasoning (NMR), June 2012
Details Download
Hannes Straß, Michael Thielscher
A Language for Default Reasoning about Actions
Correct Reasoning: Essays on Logic-Based AI in Honour of Vladimir Lifschitz, volume 7265 of LNCS, 527--542, 2012. Springer-Verlag Berlin Heidelberg
Details Download
Maurice Pagnucco, David Rajaratnam, Hannes Straß, Michael Thielscher
How to Plan When Being Deliberately Misled
Proceedings of the Workshop on Automated Action Planning for Autonomous Mobile Robots (PAMR), August 2011
Details Download
Hannes Straß
Default Reasoning about Conditional, Non-Local and Disjunctive Effect Actions
Proceedings of the Ninth International Workshop on Nonmonotonic Reasoning, Action and Change (NRAC), July 2011
Details Download
Ringo Baumann, Gerhard Brewka, Hannes Straß, Michael Thielscher, Vadim Zaslawski
State Defaults and Ramifications in the Unifying Action Calculus
Proceedings of the Twelfth International Conference on the Principles of Knowledge Representation and Reasoning (KR), 435--444, May 2010. AAAI Press
Details Download
Hannes Straß, Michael Thielscher
A General First-Order Solution to the Ramification Problem
In Thomas Meyer and Eugenia Ternovska, eds., Proceedings of the Thirteenth International Workshop on Non-Monotonic Reasoning (NMR), May 2010. CEUR-WS.org
Details Download
Hannes Straß, Michael Thielscher
Default Reasoning in Action Theories with Conditional, Non-Local Effect Actions
Short Paper Proceedings of the Seventeenth International Conference on Logic for Programming, Artificial Intelligence and Reasoning (LPAR), October 2010
Details Download
Victor Pablos Ceruelo, Hannes Straß, Susana Muñoz-Hernández
RFuzzy---A Framework for Multi-adjoint Fuzzy Logic Programming
NAFIPS 2009. Annual Meeting of the North American Fuzzy Information Processing Society, 1--6, June 2009. IEEE
Details Download
Susana Muñoz-Hernández, Victor Pablos Ceruelo, Hannes Straß
RFuzzy: An Expressive Simple Fuzzy Compiler
In Sigeru Omatu and Miguel Rocha and José Bravo and Florentino Fernández Riverola and Emilio Corchado and Andrés Bustillo and Juan M. Corchado, eds., IWANN (2), volume 5518 of Lecture Notes in Computer Science, 270--277, June 2009. Springer-Verlag Berlin Heidelberg
Details Download
Hannes Straß, Susana Muñoz-Hernández, Victor Pablos Ceruelo
Operational Semantics for a Fuzzy Logic Programming System with Defaults and Constructive Answers
In J. P. Carvalho and D. Dubois and U. Kaymak and J. M. C. Sousa, eds., Proceedings of the Joint 2009 International Fuzzy Systems Association World Congress and 2009 European Society of Fuzzy Logic and Technology Conference (IFSA/EUSFLAT), 1827--1832, July 2009. International Fuzzy Systems Association (IFSA), European Society for Fuzzy Logic and Technology (EUSFLAT)
Details Download
Hannes Straß, Michael Thielscher
On Defaults in Action Theories
In B. Mertsching and M. Hund and Z. Aziz, eds., Proceedings of the 32nd German Annual Conference on Artificial Intelligence (KI), 298--305, September 2009. Springer-Verlag Berlin Heidelberg
Details Download
Hannes Straß, Michael Thielscher
Simple Default Reasoning in Theories of Action
In Ann Nicholson and Xiaodong Li, eds., Proceedings of the 22nd Australasian Joint Conference on Artificial Intelligence (AI), 31--40, December 2009. Springer-Verlag Berlin Heidelberg
Details Download
Hannes Straß, Michael Thielscher
Defaults in Action: Non-monotonic Reasoning About States in Action Calculi
In G. Lakemeyer and L. Morgenstern and M.-A. Williams, eds., Proceedings of the Ninth International Symposium on Logical Formalizations of Commonsense Reasoning, 123--128, June 2009
Details Download
Victor Pablos Ceruelo, Susana Muñoz-Hernández, Hannes Straß
RFuzzy Framework
In Puri Arenas and Damiano Zanardini, eds., 18th Workshop on Logic-based methods in Programming Environments (WLPE), 62--76, December 2008
Details Download

Bücher


Technische Berichte

Hannes Straß
Approximating Operators and Semantics for Abstract Dialectical Frameworks
Technical Report 1, Institut für Informatik, Universität Leipzig, January 2013
Details Download
Hannes Straß, Johannes Peter Wallner
Analyzing the Computational Complexity of Abstract Dialectical Frameworks via Approximation Fixpoint Theory
Technical Report 2, Institut für Informatik, Universität Leipzig, November 2013
Details Download