research
∙
04/30/2023
Automated reasoning support for Standpoint-OWL 2
We present a tool for modelling and reasoning with knowledge from variou...
share
research
∙
04/27/2023
Pushing the Boundaries of Tractable Multiperspective Reasoning: A Deduction Calculus for Standpoint EL+
Standpoint EL is a multi-modal extension of the popular description logi...
research
∙
02/25/2023
Tractable Diversity: Scalable Multiperspective Ontology Management via Standpoint EL
The tractability of the lightweight description logic EL has allowed for...
research
∙
06/14/2022
How to Agree to Disagree: Managing Ontological Perspectives using Standpoint Logic
The importance of taking individual, potentially conflicting perspective...
research
∙
06/20/2018
Weighted Abstract Dialectical Frameworks: Extended and Revised Report
Abstract Dialectical Frameworks (ADFs) generalize Dung's argumentation f...
research
∙
11/08/2016
Proceedings of the First International Workshop on Argumentation in Logic Programming and Non-Monotonic Reasoning (Arg-LPNMR 2016)
This volume contains the papers presented at Arg-LPNMR 2016: First Inter...
research
∙
03/31/2016
Characterizing Realizability in Abstract Argumentation
Realizability for knowledge representation formalisms studies the follow...
research
∙
05/05/2014
Implementing Default and Autoepistemic Logics via the Logic of GK
The logic of knowledge and justified assumptions, also known as logic of...
research
∙
05/05/2014
On the Relative Expressiveness of Argumentation Frameworks, Normal Logic Programs and Abstract Dialectical Frameworks
We analyse the expressiveness of the two-valued semantics of abstract ar...
research
∙
04/30/2014
Compact Argumentation Frameworks
Abstract argumentation frameworks (AFs) are one of the most studied form...
research
∙
12/20/2013