Author of the publication

A Formal Theory of Justifications.

, , and . LPNMR, volume 9345 of Lecture Notes in Computer Science, page 250-264. Springer, (2015)

Please choose a person to relate this publication to

To differ between persons with the same name, the academic degree and the title of an important publication will be displayed. You can also use the button next to the name to display some publications already assigned to the person.

 

Other publications of authors with the same name

DIAMOND 3.0 - A Native C++ Implementation of DIAMOND., and . COMMA, volume 287 of Frontiers in Artificial Intelligence and Applications, page 471-472. IOS Press, (2016)RFuzzy: Syntax, semantics and implementation details of a simple and expressive fuzzy tool over Prolog., , and . Inf. Sci., 181 (10): 1951-1970 (2011)A Uniform Account of Realizability in Abstract Argumentation., , and . ECAI, volume 285 of Frontiers in Artificial Intelligence and Applications, page 252-260. IOS Press, (2016)Pushing the Boundaries of Tractable Multiperspective Reasoning: A Deduction Calculus for Standpoint EL+., , and . KR, page 333-343. (2023)dARe - Using Argumentation to Explain Conclusions from a Controlled Natural Language Knowledge Base., and . IEA/AIE (2), volume 10351 of Lecture Notes in Computer Science, page 328-338. Springer, (2017)The DIAMOND System for Computing with Abstract Dialectical Frameworks., and . COMMA, volume 266 of Frontiers in Artificial Intelligence and Applications, page 233-240. IOS Press, (2014)The Relative Expressiveness of Abstract Argumentation and Logic Programming.. AAAI, page 1625-1631. AAAI Press, (2015)Defeasible AceRules: A Prototype., , and . IWCS(1), The Association for Computer Linguistics, (2017)On the Computational Complexity of Naive-Based Semantics for Abstract Dialectical Frameworks., , and . IJCAI, page 2985-2991. AAAI Press, (2015)Analyzing the computational complexity of abstract dialectical frameworks via approximation fixpoint theory., and . Artif. Intell., (2015)