Publications of Hannes Strass



Journals

[8]
R. Baumann and H. Strass, On the number of bipolar Boolean functions, Journal of Logic and Computation, 2017. Advance Access Online 07 August 2017. [ bib | DOI | .pdf ]
[7]
R. Baumann, W. Dvořák, T. Linsbichler, C. Spanring, H. Strass, and S. Woltran, On rejected arguments and implicit conflicts: The hidden power of argumentation semantics, Artificial Intelligence, pp. 244–284, 2016. [ bib | DOI | http | .pdf ]
[6]
H. Strass, Expressiveness of two-valued semantics for abstract dialectical frameworks, Journal of Artificial Intelligence Research, vol. 54, pp. 193–231, 2015. [ bib | DOI | .pdf ]
[5]
H. Strass and J. P. Wallner, Analyzing the computational complexity of abstract dialectical frameworks via approximation fixpoint theory, Artificial Intelligence, vol. 226, pp. 34–74, 2015. [ bib | DOI | .pdf ]
[4]
H. Strass, Instantiating rule-based defeasible theories in abstract dialectical frameworks and beyond, Journal of Logic and Computation, 2015. In press. [ bib | DOI | .pdf ]
[3]
H. Strass, Approximating operators and semantics for abstract dialectical frameworks, Artificial Intelligence, vol. 205, pp. 39–70, Dec. 2013. [ bib | DOI | .pdf ]
[2]
H. Strass and M. Thielscher, A general first-order solution to the ramification problem with cycles, Journal of Applied Logic, vol. 11, no. 3, pp. 289–308, 2013. [ bib | DOI | .pdf ]
[1]
S. Munoz-Hernandez, V. Pablos-Ceruelo, and H. Strass, Rfuzzy: Syntax, semantics and implementation details of a simple and expressive fuzzy tool over prolog, Information Sciences, vol. 181, no. 10, pp. 1951–1970, 2011. Special Issue on Information Engineering Applications Based on Lattices. [ bib | .pdf ]



Conferences

[24]
M. Diller, A. Z. Wyner, and H. Strass, Defeasible AceRules: A prototype, in Proceedings of the Twelfth International Conference on Computational Semantics (IWCS) (C. Gardent and C. Retoré, eds.), Sept. 2017. [ bib | .pdf ]
[23]
A. Z. Wyner and H. Strass, dARe – Using argumentation to explain conclusions from a controlled natural language knowledge base, in Proceedings of the Thirtieth International Conference on Industrial Engineering and Other Applications of Applied Intelligent Systems (IEA/AIE) – Special Track on Applications of Argumentation (S. Benferhat, K. Tabia, and M. Ali, eds.), vol. 10351 of Lecture Notes in Artificial Intelligence, (Arras, France), pp. 328–338, Springer, June 2017. [ bib | DOI | .pdf ]
[22]
T. Linsbichler, J. Pührer, and H. Strass, A Uniform Account of Realizability in Abstract Argumentation, in Proceedings of the Twenty-Second European Conference on Artificial Intelligence (ECAI) (M. Fox, G. Kaminka, and F. van Harmelen, eds.), vol. 285 of Frontiers in Artificial Intelligence and Applications, (The Hague, The Netherlands), pp. 252–260, IOS Press, Sept. 2016. [ bib | .pdf ]
[21]
S. Ellmauthaler and H. Strass, DIAMOND 3.0 – A native C++ implementation of DIAMOND, in Proceedings of the Sixth International Conference on Computational Models of Argument (COMMA) (P. Baroni, ed.), vol. 287 of Frontiers in Artificial Intelligence and Applications, (Potsdam, Germany), pp. 471–472, IOS Press, Sept. 2016. [ bib | .pdf ]
[20]
R. Baumann and H. Strass, An abstract logical approach to characterizing strong equivalence in logic-based knowledge representation formalisms, in Proceedings of the Fifteenth International Conference on the Principles of Knowledge Representation and Reasoning (KR), (Cape Town, South Africa), pp. 525–528, AAAI Press, May 2016. [ bib | http | .pdf ]
[19]
M. Alviano, W. Faber, and H. Strass, Boolean functions with ordered domains in answer set programming, in Proceedings of the Thirtieth AAAI Conference on Artificial Intelligence (AAAI) (D. Schuurmans and M. Wellman, eds.), (Phoenix, AZ, USA), pp. 879–885, AAAI Press, Feb. 2016. [ bib | http | .pdf ]
[18]
M. Denecker, G. Brewka, and H. Strass, A Formal Theory of Justifications, in Proceedings of the Thirteenth International Conference on Logic Programming and Non-monotonic Reasoning (LPNMR) (F. Calimeri, G. Ianni, and M. Truszczyński, eds.), (Lexington, KY, USA), pp. 250–264, Springer-Verlag Berlin Heidelberg, Sept. 2015. [ bib | http | .pdf ]
[17]
S. A. Gaggl, S. Rudolph, and H. Strass, On the computational complexity of naive-based semantics for abstract dialectical frameworks, in Proceedings of the Twenty-Fourth International Joint Conference on Artificial Intelligence (IJCAI) (Q. Yang and M. Wooldridge, eds.), (Buenos Aires, Argentina), pp. 2985–2991, IJCAI/AAAI, July 2015. [ bib | .pdf | .pdf ]
[16]
H. Strass, The relative expressiveness of abstract argumentation and logic programming, in Proceedings of the Twenty-Ninth AAAI Conference on Artificial Intelligence (AAAI) (S. Koenig and B. Bonet, eds.), (Austin, TX, USA), pp. 1625–1631, Jan. 2015. [ bib | http | .pdf ]
[15]
S. Ellmauthaler and H. Strass, The DIAMOND System for Computing with Abstract Dialectical Frameworks, in Proceedings of the Fifth International Conference on Computational Models of Argument (COMMA) (S. Parsons, N. Oren, and C. Reed, eds.), vol. 266 of Frontiers in Artificial Intelligence and Applications, (The Scottish Highlands, Scotland, United Kingdom), pp. 233–240, IOS Press, Sept. 2014. [ bib | .pdf ]
[14]
S. A. Gaggl and H. Strass, Decomposing Abstract Dialectical Frameworks, in Proceedings of the Fifth International Conference on Computational Models of Argument (COMMA) (S. Parsons, N. Oren, and C. Reed, eds.), vol. 266 of Frontiers in Artificial Intelligence and Applications, (The Scottish Highlands, Scotland, United Kingdom), pp. 281–292, IOS Press, Sept. 2014. [ bib | .pdf ]
[13]
F. Cerutti, N. Oren, H. Strass, M. Thimm, and M. Vallati, A benchmark framework for a computational argumentation competition, in Proceedings of the Fifth International Conference on Computational Models of Argument (COMMA) (S. Parsons, N. Oren, and C. Reed, eds.), vol. 266 of Frontiers in Artificial Intelligence and Applications, (The Scottish Highlands, Scotland, United Kingdom), pp. 459–460, IOS Press, Sept. 2014. [ bib | .pdf ]
[12]
H. Strass, Implementing Instantiation of Knowledge Bases in Argumentation Frameworks, in Proceedings of the Fifth International Conference on Computational Models of Argument (COMMA) (S. Parsons, N. Oren, and C. Reed, eds.), vol. 266 of Frontiers in Artificial Intelligence and Applications, (The Scottish Highlands, Scotland, United Kingdom), pp. 475–476, IOS Press, Sept. 2014. [ bib | .pdf ]
[11]
J. Ji and H. Strass, From default and autoepistemic logics to disjunctive answer set programs via the logic of GK, in Proceedings of the Twenty-First European Conference on Artificial Intelligence (ECAI), (Prague, Czech Republic), pp. 1039–1040, IOS Press, Aug. 2014. [ bib | DOI | .pdf ]
[10]
R. Baumann, W. Dvořák, T. Linsbichler, H. Strass, and S. Woltran, Compact Argumentation Frameworks, in Proceedings of the Twenty-First European Conference on Artificial Intelligence (ECAI), (Prague, Czech Republic), pp. 69–74, IOS Press, Aug. 2014. [ bib | DOI | .pdf ]
[9]
H. Strass and J. P. Wallner, Analyzing the Computational Complexity of Abstract Dialectical Frameworks via Approximation Fixpoint Theory, in Proceedings of the Fourteenth International Conference on the Principles of Knowledge Representation and Reasoning (KR), (Vienna, Austria), pp. 101–110, AAAI Press, July 2014. [ bib | .pdf ]
[8]
M. Pagnucco, D. Rajaratnam, H. Strass, and M. Thielscher, Implementing Belief Change in the Situation Calculus and an Application, in Proceedings of the Twelfth International Conference on Logic Programming and Nonmonotonic Reasoning (LPNMR), vol. 8148 of LNAI, (Corunna, Spain), pp. 439–451, Springer-Verlag Berlin Heidelberg, Sept. 2013. [ bib | .pdf ]
[7]
G. Brewka, S. Ellmauthaler, H. Strass, J. P. Wallner, and S. Woltran, Abstract Dialectical Frameworks Revisited, in Proceedings of the Twenty-Third International Joint Conference on Artificial Intelligence (IJCAI), (Beijing, China), pp. 803–809, IJCAI/AAAI, Aug. 2013. [ bib | .pdf ]
[6]
R. Baumann and H. Strass, Default Reasoning about Actions via Abstract Argumentation, in Proceedings of the Fourth International Conference on Computational Models of Argument (COMMA) (B. Verheij, S. Szeider, and S. Woltran, eds.), vol. 245 of Frontiers in Artificial Intelligence and Applications, (Vienna, Austria), pp. 297–309, IOS Press, Sept. 2012. [ bib | .pdf ]
[5]
R. Baumann, G. Brewka, H. Strass, M. Thielscher, and V. Zaslawski, State Defaults and Ramifications in the Unifying Action Calculus, in Proceedings of the Twelfth International Conference on the Principles of Knowledge Representation and Reasoning (KR), (Toronto, Canada), pp. 435–444, AAAI Press, May 2010. [ bib | .pdf ]
[4]
H. Strass and M. Thielscher, Simple Default Reasoning in Theories of Action, in Proceedings of the 22nd Australasian Joint Conference on Artificial Intelligence (AI) (A. Nicholson and X. Li, eds.), (Melbourne, Australia), pp. 31–40, Springer-Verlag Berlin Heidelberg, Dec. 2009. [ bib | .pdf ]
[3]
H. Strass and M. Thielscher, On Defaults in Action Theories, in Proceedings of the 32nd German Annual Conference on Artificial Intelligence (KI) (B. Mertsching, M. Hund, and Z. Aziz, eds.), (Paderborn, Germany), pp. 298–305, Springer-Verlag Berlin Heidelberg, Sept. 2009. [ bib | .pdf ]
[2]
H. Strass, S. Munoz-Hernandez, and V. P. Ceruelo, Operational Semantics for a Fuzzy Logic Programming System with Defaults and Constructive Answers, in Proceedings of the Joint 2009 International Fuzzy Systems Association World Congress and 2009 European Society of Fuzzy Logic and Technology Conference (IFSA/EUSFLAT) (J. P. Carvalho, D. Dubois, U. Kaymak, and J. M. C. Sousa, eds.), (Lisbon, Portugal), pp. 1827–1832, July 2009. [ bib | .pdf ]
[1]
S. Munoz-Hernandez, V. P. Ceruelo, and H. Strass, RFuzzy: An Expressive Simple Fuzzy Compiler, in IWANN (2) (S. Omatu, M. Rocha, J. Bravo, F. F. Riverola, E. Corchado, A. Bustillo, and J. M. Corchado, eds.), vol. 5518 of Lecture Notes in Computer Science, pp. 270–277, Springer-Verlag Berlin Heidelberg, June 2009. [ bib | .pdf ]



Workshops

[18]
H. Strass and A. Wyner, On automated defeasible reasoning with controlled natural language and argumentation, in Proceedings of the Second International Workshop on Knowledge-based Techniques for Problem Solving and Reasoning (KnowProS) (R. Barták, T. L. McCluskey, and E. Pontelli, eds.), Feb. 2017. In press. [ bib | .pdf ]
[17]
T. Linsbichler, J. Pührer, and H. Strass, Characterizing realizability in abstract argumentation, in Proceedings of the Sixteenth International Workshop on Non-Monotonic Reasoning (NMR) (G. Kern-Isberner and R. Wassermann, eds.), Apr. 2016. [ bib | http | .pdf ]
[16]
H. Strass, Representational succinctness of abstract dialectical frameworks, in Proceedings of the Third International Workshop on Theory and Applications of Formal Argumentation (TAFA 2015) (E. Black, S. Modgil, and N. Oren, eds.), July 2015. [ bib | .pdf ]
[15]
R. Baumann and H. Strass, On the Maximal and Average Numbers of Stable Extensions, in Proceedings of the Second International Workshop on Theory and Applications of Formal Argumentation (TAFA 2013) (E. Black, S. Modgil, and N. Oren, eds.), vol. 8306 of LNAI, pp. 111–126, Springer, Aug. 2014. [ bib | .pdf ]
[14]
H. Strass, On the relative expressiveness of argumentation frameworks, normal logic programs and abstract dialectical frameworks, in Proceedings of the Fifteenth International Workshop on Non-Monotonic Reasoning (NMR) (S. Konieczny and H. Tompits, eds.), July 2014. [ bib | .pdf ]
[13]
J. Ji and H. Strass, Implementing default and autoepistemic logics via the logic of GK, in Proceedings of the Fifteenth International Workshop on Non-Monotonic Reasoning (NMR) (S. Konieczny and H. Tompits, eds.), July 2014. [ bib | .pdf ]
[12]
R. Baumann, W. Dvořák, T. Linsbichler, H. Strass, and S. Woltran, Compact argumentation frameworks, in Proceedings of the Fifteenth International Workshop on Non-Monotonic Reasoning (NMR) (S. Konieczny and H. Tompits, eds.), July 2014. [ bib | .pdf ]
[11]
S. Ellmauthaler and H. Strass, The DIAMOND system for argumentation: Preliminary report, in Proceedings of the Sixth International Workshop on Answer Set Programming and Other Computing Paradigms (ASPOCP) (M. Fink and Y. Lierler, eds.), Sept. 2013. [ bib | .pdf ]
[10]
H. Strass, Instantiating knowledge bases in Abstract Dialectical Frameworks, in Proceedings of the Fourteenth International Workshop on Computational Logic in Multi-Agent Systems (CLIMA XIV) (J. Leite, T. C. Son, P. Torroni, L. van der Torre, and S. Woltran, eds.), vol. 8143 of LNCS, pp. 86–101, Springer, Sept. 2013. [ bib | .pdf ]
[9]
G. Brewka, H. Strass, and M. Thielscher, Declarative Strategies for Agents with Incomplete Knowledge, in Proceedings of the Fourteenth International Workshop on Non-Monotonic Reasoning (NMR) (R. Rosati and S. Woltran, eds.), June 2012. [ bib | .pdf ]
[8]
H. Strass, The draculasp System: Default Reasoning about Actions and Change Using Logic and Answer Set Programming, in Proceedings of the Fourteenth International Workshop on Non-Monotonic Reasoning (NMR) (R. Rosati and S. Woltran, eds.), June 2012. [ bib | .pdf ]
[7]
M. Pagnucco, D. Rajaratnam, H. Strass, and M. Thielscher, How to Plan When Being Deliberately Misled, in Proceedings of the Workshop on Automated Action Planning for Autonomous Mobile Robots (PAMR), Aug. 2011. [ bib | .pdf ]
[6]
H. Strass, Default Reasoning about Conditional, Non-Local and Disjunctive Effect Actions, in Proceedings of the Ninth International Workshop on Nonmonotonic Reasoning, Action and Change (NRAC), July 2011. [ bib | .pdf ]
[5]
H. Strass and M. Thielscher, Default Reasoning in Action Theories with Conditional, Non-Local Effect Actions, in Short Paper Proceedings of the Seventeenth International Conference on Logic for Programming, Artificial Intelligence and Reasoning (LPAR), Oct. 2010. [ bib | .pdf ]
[4]
H. Strass and M. Thielscher, A General First-Order Solution to the Ramification Problem, in Proceedings of the Thirteenth International Workshop on Non-Monotonic Reasoning (NMR) (T. Meyer and E. Ternovska, eds.), (Toronto, Canada), CEUR-WS.org, May 2010. [ bib | .pdf ]
[3]
V. P. Ceruelo, H. Strass, and S. Munoz-Hernandez, RFuzzy—A Framework for Multi-adjoint Fuzzy Logic Programming, in NAFIPS 2009. Annual Meeting of the North American Fuzzy Information Processing Society, pp. 1–6, June 2009. [ bib | DOI | .pdf ]
[2]
H. Strass and M. Thielscher, Defaults in Action: Non-monotonic Reasoning About States in Action Calculi, in Proceedings of the Ninth International Symposium on Logical Formalizations of Commonsense Reasoning (G. Lakemeyer, L. Morgenstern, and M.-A. Williams, eds.), (Toronto, Canada), pp. 123–128, June 2009. Outstanding Student Paper Award. [ bib | .pdf ]
[1]
V. P. Ceruelo, S. Munoz-Hernandez, and H. Strass, RFuzzy Framework, in 18th Workshop on Logic-based methods in Programming Environments (WLPE) (P. Arenas and D. Zanardini, eds.), (Udine, Italy), pp. 62–76, Dec. 2008. [ bib | http | .pdf ]



Editorship

[5]
S. A. Gaggl, J. C. Nieves, H. Strass, and P. Torroni, eds., Argumentation in Logic Programming: Special Issue of Revised Selected Papers of the First International Workshop (ArgLP 2015), Fundamenta Informaticae, 2016. To appear. [ bib ]
[4]
S. A. Gaggl, J. C. Nieves, and H. Strass, eds., Proceedings of the First International Workshop on Argumentation in Logic Programming and Non-monotonic Reasoning (ArgLPNMR 2016), 2016. [ bib | http ]
[3]
M. Thimm, F. Cerutti, H. Strass, and M. Vallati, eds., Proceedings of the First International Workshop on Systems and Algorithms for Formal Argumentation (SAFA) co-located with the 6th International Conference on Computational Models of Argument (COMMA 2016), Potsdam, Germany, September 13, 2016, vol. 1672 of CEUR Workshop Proceedings, CEUR-WS.org, 2016. [ bib | http ]
[2]
T. Eiter, H. Strass, M. Truszczyński, and S. Woltran, eds., Advances in Knowledge Representation, Logic Programming, and Abstract Argumentation – Essays Dedicated to Gerhard Brewka on the Occasion of His 60th Birthday, vol. 9060 of Lecture Notes in Computer Science, Springer-Verlag Berlin Heidelberg, 2015. [ bib | DOI ]
[1]
J. Ji, H. Strass, and X. Wang, eds., Proceedings of the Tenth International Workshop on Non-Monotonic Reasoning, Action and Change (NRAC'13), Aug. 2013. [ bib | .pdf ]



Miscellaneous

[7]
M. Thimm, S. Villata, F. Cerutti, N. Oren, H. Strass, and M. Vallati, Summary report of the first international competition on computational models of argumentation, AI Magazine, vol. 37, no. 1, p. 102, 2016. [ bib | DOI | http | .pdf ]
[6]
T. Eiter, H. Strass, M. Truszczyński, and S. Woltran, A Glimpse on Gerhard Brewka's Contributions to Artificial Intelligence, in Advances in Knowledge Representation, Logic Programming, and Abstract Argumentation – Essays Dedicated to Gerhard Brewka on the Occasion of His 60th Birthday, vol. 9060 of LNCS, pp. 1–16, Springer-Verlag Berlin Heidelberg, 2015. [ bib | DOI | .pdf ]
[5]
R. Baumann and H. Strass, Open Problems in Abstract Argumentation, in Advances in Knowledge Representation, Logic Programming, and Abstract Argumentation – Essays Dedicated to Gerhard Brewka on the Occasion of His 60th Birthday, vol. 9060 of LNCS, pp. 325–339, Springer-Verlag Berlin Heidelberg, 2015. [ bib | DOI | .pdf ]
[4]
H. Strass and J. P. Wallner, Analyzing the Computational Complexity of Abstract Dialectical Frameworks via Approximation Fixpoint Theory, Tech. Rep. 2, Computer Science Institute, Leipzig University, Nov. 2013. [ bib | DOI | .pdf ]
[3]
H. Strass, Approximating operators and semantics for Abstract Dialectical Frameworks, Tech. Rep. 1, Institute of Computer Science, Leipzig University, Jan. 2013. [ bib | DOI | .pdf ]
[2]
H. Strass, Default Reasoning about Actions. PhD thesis, Leipzig University, June 2012. [ bib | DOI | .pdf ]
[1]
H. Strass and M. Thielscher, A Language for Default Reasoning about Actions, in Correct Reasoning: Essays on Logic-Based AI in Honour of Vladimir Lifschitz, vol. 7265 of LNCS, pp. 527–542, Springer-Verlag Berlin Heidelberg, 2012. [ bib | .pdf ]



Home