Hannes Strass - RankMe

73 papers A* 12A 3B 3C 6Misc 3Journal 27Unranked 17

Year	Rank	Type	Title / Venue / Authors
2026	A*	`conf`	Non-Monotonic S4F Standpoint Logic. AAAI Piotr Gorczyca, Hannes Strass
2025	J	`jnl`	Approximation Fixpoint Theory as a Unifying Framework for Fuzzy Logic Programming Semantics (Extended Version). CoRR Pascal Kettmann, Jesse Heyninck, Hannes Strass
2025	A*	`conf`	Approximation Fixpoint Theory as a Unifying Framework for Fuzzy Logic Programming Semantics. IJCAI Pascal Kettmann, Jesse Heyninck, Hannes Strass
2025	J	`jnl`	Non-Monotonic S4F Standpoint Logic (Extended Version with Proofs). CoRR Piotr Gorczyca, Hannes Strass
2025	Misc	`conf`	Supporting Risk Management for Medical Devices via the RISKMAN Ontology and Shapes. SEMANTiCS Piotr Gorczyca, Dörthe Arndt, Martin Diller, Jochen Hampe, Georg Heidenreich, Pascal Kettmann, Markus Krötzsch, Stephan Mennicke, Sebastian Rudolph, Hannes Strass
2024	J	`jnl`	A Farewell to Harms: Risk Management for Medical Devices via the Riskman Ontology & Shapes. CoRR Piotr Gorczyca, Dörthe Arndt, Martin Diller, Pascal Kettmann, Stephan Mennicke, Hannes Strass
2024	—	`conf`	Adding Standpoint Modalities to Non-Monotonic S4F: Preliminary Results. NMR Piotr Gorczyca, Hannes Strass
2024	B	`conf`	Consequence Operators of Characterization Logics - The Case of Abstract Argumentation. LPNMR Ringo Baumann, Hannes Strass
2023	—	`conf`	Automated Reasoning Support for Standpoint-OWL 2. JOWO Florian Emmrich, Lucía Gómez Álvarez, Hannes Strass
2023	J	`jnl`	Automated reasoning support for Standpoint-OWL 2. CoRR Florian Emmrich, Lucía Gómez Álvarez, Hannes Strass
2023	A*	`conf`	Pushing the Boundaries of Tractable Multiperspective Reasoning: A Deduction Calculus for Standpoint EL+. KR Lucía Gómez Álvarez, Sebastian Rudolph, Hannes Strass
2023	J	`jnl`	Pushing the Boundaries of Tractable Multiperspective Reasoning: A Deduction Calculus for Standpoint EL+. CoRR Lucía Gómez Álvarez, Sebastian Rudolph, Hannes Strass
2023	A*	`conf`	Tractable Diversity: Scalable Multiperspective Ontology Management via Standpoint EL. IJCAI Lucía Gómez Álvarez, Sebastian Rudolph, Hannes Strass
2023	J	`jnl`	Tractable Diversity: Scalable Multiperspective Ontology Management via Standpoint EL. CoRR Lucía Gómez Álvarez, Sebastian Rudolph, Hannes Strass
2022	J	`jnl`	An abstract, logical approach to characterizing strong equivalence in non-monotonic knowledge representation formalisms. Artif. Intell. Ringo Baumann, Hannes Strass
2022	Misc	`conf`	How to Agree to Disagree - Managing Ontological Perspectives using Standpoint Logic. ISWC Lucía Gómez Álvarez, Sebastian Rudolph, Hannes Strass
2022	J	`jnl`	How to Agree to Disagree: Managing Ontological Perspectives using Standpoint Logic. CoRR Lucía Gómez Álvarez, Sebastian Rudolph, Hannes Strass
2022	—	`conf`	Modelling Multiple Perspectives by Standpoint-Enhanced DLs (Extended Abstract). Description Logics Lucía Gómez Álvarez, Sebastian Rudolph, Hannes Strass
2019	—	`conf`	Making Sense of Conflicting (Defeasible) Rules in the Controlled Natural Language ACE: Design of a System with Support for Existential Quantification Using Skolemization. IWCS (2) Martin Diller, Adam Wyner, Hannes Strass
2018	J	`jnl`	Instantiating rule-based defeasible theories in abstract dialectical frameworks and beyond. J. Log. Comput. Hannes Strass
2018	A*	`conf`	Weighted Abstract Dialectical Frameworks. AAAI Gerhard Brewka, Hannes Strass, Johannes P. Wallner, Stefan Woltran
2018	J	`jnl`	Weighted Abstract Dialectical Frameworks: Extended and Revised Report. CoRR Gerhard Brewka, Jörg Pührer, Hannes Strass, Johannes P. Wallner, Stefan Woltran
2017	J	`jnl`	Abstract Dialectical Frameworks. An Overview. FLAP Gerhard Brewka, Stefan Ellmauthaler, Hannes Strass, Johannes P. Wallner, Stefan Woltran
2017	—	`conf`	Defeasible AceRules: A Prototype. IWCS(1) Martin Diller, Adam Z. Wyner, Hannes Strass
2017	—	`conf`	On Automated Defeasible Reasoning with Controlled Natural Language and Argumentation. AAAI Workshops Hannes Strass, Adam Z. Wyner
2017	J	`jnl`	On the number of bipolar Boolean functions. J. Log. Comput. Ringo Baumann, Hannes Strass
2017	J	`jnl`	Preface. Fundam. Informaticae Sarah Alice Gaggl, Juan Carlos Nieves, Hannes Strass, Paolo Torroni
2017	—	`conf`	dARe - Using Argumentation to Explain Conclusions from a Controlled Natural Language Knowledge Base. IEA/AIE (2) Adam Z. Wyner, Hannes Strass
2016	A	`conf`	A Uniform Account of Realizability in Abstract Argumentation. ECAI Thomas Linsbichler, Jörg Pührer, Hannes Strass
2016	A*	`conf`	An Abstract Logical Approach to Characterizing Strong Equivalence in Logic-based Knowledge Representation Formalisms. KR Ringo Baumann, Hannes Strass
2016	A*	`conf`	Boolean Functions with Ordered Domains in Answer Set Programming. AAAI Mario Alviano, Wolfgang Faber, Hannes Strass
2016	J	`jnl`	Characterizing Realizability in Abstract Argumentation. CoRR Thomas Linsbichler, Jörg Pührer, Hannes Strass
2016	C	`conf`	DIAMOND 3.0 - A Native C++ Implementation of DIAMOND. COMMA Stefan Ellmauthaler, Hannes Strass
2016	J	`jnl`	On rejected arguments and implicit conflicts: The hidden power of argumentation semantics. Artif. Intell. Ringo Baumann, Wolfgang Dvorák, Thomas Linsbichler, Christof Spanring, Hannes Strass, Stefan Woltran
2016	J	`jnl`	Proceedings of the First International Workshop on Argumentation in Logic Programming and Non-Monotonic Reasoning (Arg-LPNMR 2016). CoRR Sarah Alice Gaggl, Juan Carlos Nieves, Hannes Strass
2016	—	`ed.`	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. SAFA Matthias Thimm, Federico Cerutti, Hannes Strass, Mauro Vallati
2016	J	`jnl`	Summary Report of The First International Competition on Computational Models of Argumentation. AI Mag. Matthias Thimm, Serena Villata, Federico Cerutti, Nir Oren, Hannes Strass, Mauro Vallati
2015	B	`conf`	A Formal Theory of Justifications. LPNMR Marc Denecker, Gerhard Brewka, Hannes Strass
2015	—	`conf`	A Glimpse on Gerhard Brewka's Contributions to Artificial Intelligence. Advances in Knowledge Representation, Logic Programming, and Abstract Argumentation Thomas Eiter, Hannes Strass, Miroslaw Truszczynski, Stefan Woltran
2015	—	`ed.`	Advances in Knowledge Representation, Logic Programming, and Abstract Argumentation - Essays Dedicated to Gerhard Brewka on the Occasion of His 60th Birthday Advances in Knowledge Representation, Logic Programming, and Abstract Argumentation Thomas Eiter, Hannes Strass, Miroslaw Truszczynski, Stefan Woltran
2015	J	`jnl`	Analyzing the computational complexity of abstract dialectical frameworks via approximation fixpoint theory. Artif. Intell. Hannes Strass, Johannes Peter Wallner
2015	J	`jnl`	Expressiveness of Two-Valued Semantics for Abstract Dialectical Frameworks. J. Artif. Intell. Res. Hannes Strass
2015	A*	`conf`	On the Computational Complexity of Naive-Based Semantics for Abstract Dialectical Frameworks. IJCAI Sarah Alice Gaggl, Sebastian Rudolph, Hannes Strass
2015	—	`conf`	Open Problems in Abstract Argumentation. Advances in Knowledge Representation, Logic Programming, and Abstract Argumentation Ringo Baumann, Hannes Strass
2015	A*	`conf`	The Relative Expressiveness of Abstract Argumentation and Logic Programming. AAAI Hannes Strass
2014	C	`conf`	A Benchmark Framework for a Computational Argumentation Competition. COMMA Federico Cerutti, Nir Oren, Hannes Strass, Matthias Thimm, Mauro Vallati
2014	A*	`conf`	Analyzing the Computational Complexity of Abstract Dialectical Frameworks via Approximation Fixpoint Theory. KR Hannes Strass, Johannes Peter Wallner
2014	A	`conf`	Compact Argumentation Frameworks. ECAI Ringo Baumann, Wolfgang Dvorák, Thomas Linsbichler, Hannes Strass, Stefan Woltran
2014	J	`jnl`	Compact Argumentation Frameworks. CoRR Ringo Baumann, Wolfgang Dvorák, Thomas Linsbichler, Hannes Strass, Stefan Woltran
2014	C	`conf`	Decomposing Abstract Dialectical Frameworks. COMMA Sarah Alice Gaggl, Hannes Strass
2014	A	`conf`	From Default and Autoepistemic Logics to Disjunctive Answer Set Programs via the Logic of GK. ECAI Jianmin Ji, Hannes Strass
2014	J	`jnl`	Implementing Default and Autoepistemic Logics via the Logic of GK. CoRR Jianmin Ji, Hannes Strass
2014	C	`conf`	Implementing Instantiation of Knowledge Bases in Argumentation Frameworks. COMMA Hannes Strass
2014	J	`jnl`	On the Relative Expressiveness of Argumentation Frameworks, Normal Logic Programs and Abstract Dialectical Frameworks. CoRR Hannes Strass
2014	C	`conf`	The DIAMOND System for Computing with Abstract Dialectical Frameworks. COMMA Stefan Ellmauthaler, Hannes Strass
2013	J	`jnl`	A general first-order solution to the ramification problem with cycles. J. Appl. Log. Hannes Strass, Michael Thielscher
2013	A*	`conf`	Abstract Dialectical Frameworks Revisited. IJCAI Gerhard Brewka, Hannes Strass, Stefan Ellmauthaler, Johannes Peter Wallner, Stefan Woltran
2013	J	`jnl`	Approximating operators and semantics for abstract dialectical frameworks. Artif. Intell. Hannes Strass
2013	B	`conf`	Implementing Belief Change in the Situation Calculus and an Application. LPNMR Maurice Pagnucco, David Rajaratnam, Hannes Strass, Michael Thielscher
2013	—	`conf`	Instantiating Knowledge Bases in Abstract Dialectical Frameworks. CLIMA Hannes Strass
2013	—	`conf`	On the Maximal and Average Numbers of Stable Extensions. TAFA Ringo Baumann, Hannes Strass
2013	J	`jnl`	The DIAMOND System for Argumentation: Preliminary Report. CoRR Stefan Ellmauthaler, Hannes Strass
2012	—	`conf`	A Language for Default Reasoning about Actions. Correct Reasoning Hannes Strass, Michael Thielscher
2012	C	`conf`	Default Reasoning about Actions via Abstract Argumentation. COMMA Ringo Baumann, Hannes Strass
2011	—	`conf`	How to Plan When Being Deliberately Misled. Automated Action Planning for Autonomous Mobile Robots Maurice Pagnucco, David Rajaratnam, Hannes Strass, Michael Thielscher
2011	J	`jnl`	RFuzzy: Syntax, semantics and implementation details of a simple and expressive fuzzy tool over Prolog. Inf. Sci. Susana Muñoz-Hernández, Victor Pablos Ceruelo, Hannes Strass
2010	—	`conf`	Default Reasoning in Action Domains with Conditional, Non-Local Effect Actions. LPAR short papers(Yogyakarta) Hannes Strass, Michael Thielscher
2010	A*	`conf`	State Defaults and Ramifications in the Unifying Action Calculus. KR Ringo Baumann, Gerhard Brewka, Hannes Strass, Michael Thielscher, Vadim Zaslawski
2009	Misc	`conf`	On Defaults in Action Theories. KI Hannes Strass, Michael Thielscher
2009	—	`conf`	Operational Semantics for a Fuzzy Logic Programming System with Defaults and Constructive Answers. IFSA/EUSFLAT Conf. Hannes Strass, Susana Muñoz-Hernández, Victor Pablos Ceruelo
2009	—	`conf`	RFuzzy: An Expressive Simple Fuzzy Compiler. IWANN (1) Susana Muñoz-Hernández, Victor Pablos Ceruelo, Hannes Strass
2009	J	`jnl`	Rfuzzy framework CoRR Victor Pablos Ceruelo, Susana Muñoz-Hernández, Hannes Strass
2009	—	`conf`	Simple Default Reasoning in Theories of Action. Australasian Conference on Artificial Intelligence Hannes Strass, Michael Thielscher