no code implementations • 16 May 2024 • Piotr Gorczyca, Dörthe Arndt, Martin Diller, Pascal Kettmann, Stephan Mennicke, Hannes Strass
To date, risk management documentation is submitted to notified bodies (for certification) in the form of semi-structured natural language text.
no code implementations • 30 Apr 2023 • Florian Emmrich, Lucía Gómez Álvarez, Hannes Strass
We present a tool for modelling and reasoning with knowledge from various diverse (and possibly conflicting) viewpoints.
1 code implementation • 27 Apr 2023 • Lucía Gómez Álvarez, Sebastian Rudolph, Hannes Strass
Standpoint EL is a multi-modal extension of the popular description logic EL that allows for the integrated representation of domain knowledge relative to diverse standpoints or perspectives.
no code implementations • 25 Feb 2023 • Lucía Gómez Álvarez, Sebastian Rudolph, Hannes Strass
The tractability of the lightweight description logic EL has allowed for the construction of large and widely used ontologies that support semantic interoperability.
no code implementations • 14 Jun 2022 • Lucía Gómez Álvarez, Sebastian Rudolph, Hannes Strass
By virtue of this result, existing highly optimised OWL reasoners can be used to provide practical reasoning support for ontology languages extended by standpoint modelling.
no code implementations • WS 2019 • Martin Diller, Adam Wyner, Hannes Strass
We present the design of a system for making sense of conflicting rules expressed in a fragment of the prominent controlled natural language ACE, yet extended with means of expressing defeasible rules in the form of normality assumptions.
no code implementations • 20 Jun 2018 • Gerhard Brewka, Jörg Pührer, Hannes Strass, Johannes P. Wallner, Stefan Woltran
Abstract Dialectical Frameworks (ADFs) generalize Dung's argumentation frameworks allowing various relationships among arguments to be expressed in a systematic way.
no code implementations • 8 Nov 2016 • Sarah Alice Gaggl, Juan Carlos Nieves, Hannes Strass
This volume contains the papers presented at Arg-LPNMR 2016: First International Workshop on Argumentation in Logic Programming and Nonmonotonic Reasoning held on July 8-10, 2016 in New York City, NY.
no code implementations • 31 Mar 2016 • Thomas Linsbichler, Jörg Pührer, Hannes Strass
Realizability for knowledge representation formalisms studies the following question: given a semantics and a set of interpretations, is there a knowledge base whose semantics coincides exactly with the given interpretation set?
no code implementations • 5 May 2014 • Jianmin Ji, Hannes Strass
The logic of knowledge and justified assumptions, also known as logic of grounded knowledge (GK), was proposed by Lin and Shoham as a general logic for nonmonotonic reasoning.
no code implementations • 5 May 2014 • Hannes Strass
We analyse the expressiveness of the two-valued semantics of abstract argumentation frameworks, normal logic programs and abstract dialectical frameworks.
no code implementations • 30 Apr 2014 • Ringo Baumann, Wolfgang Dvorák, Thomas Linsbichler, Hannes Strass, Stefan Woltran
(3) Finally, we show that compact AFs are indeed a non-trivial subclass, since the verification problem remains coNP-hard for certain semantics.
no code implementations • 20 Dec 2013 • Stefan Ellmauthaler, Hannes Strass
Abstract dialectical frameworks (ADFs) are a powerful generalisation of Dung's abstract argumentation frameworks.