research
∙
06/05/2023
Mathematical Foundations for Joining Only Knowing and Common Knowledge (Extended Version)
Common knowledge and only knowing capture two intuitive and natural noti...
share
research
∙
06/05/2023
Distributed Autoepistemic Logic: Semantics, Complexity, and Applications to Access Control
In this paper we define and study a multi-agent extension of autoepistem...
research
∙
05/07/2020
Technical Report of "Deductive Joint Support for Rational Unrestricted Rebuttal"
In ASPIC-style structured argumentation an argument can rebut another ar...
research
∙
10/09/2019
A Query-Driven Decision Procedure for Distributed Autoepistemic Logic with Inductive Definitions
Distributed Autoepistemic Logic with Inductive Definitions (dAEL(ID)) is...
research
∙
08/29/2019
Technical report of "The Knowledge Base Paradigm Applied to Delegation Revocation"
In ownership-based access control frameworks with the possibility of del...
research
∙
08/22/2019
SCF2 – an Argumentation Semantics for Rational Human Judgments on Argument Acceptability: Technical Report
In abstract argumentation theory, many argumentation semantics have been...
research
∙
02/27/2019