KR 2021 - Admissibility in Probabilistic Argumentation
Admissibility in Probabilistic Argumentation
by Christel Baier, Martin Diller, Clemens Dubslaff, Sarah Alice Gaggl, Holger Hermanns and Nikolai Käfer
Session: Argumentation 2
Видео KR 2021 - Admissibility in Probabilistic Argumentation канала KR conference series
by Christel Baier, Martin Diller, Clemens Dubslaff, Sarah Alice Gaggl, Holger Hermanns and Nikolai Käfer
Session: Argumentation 2
Видео KR 2021 - Admissibility in Probabilistic Argumentation канала KR conference series
Комментарии отсутствуют
Информация о видео
10 декабря 2021 г. 18:50:51
00:14:07
Другие видео канала
KR 2021 Tutorial: Complex Event Recognition and Forecasting
KR 2020 - WOLED: A tool for Online Learning Weighted Answer Set Rules for Temp. Reas. Under Uncert.
KR 2020 - A Preference-Based Approach to Defeasible Deontic Reasoning
KR 2020 - Verifying Strategic Abilities of Neural Multi-agent Systems
KR 2020 Invited Talk by M. Kwiatkowska: Prob. model checking for strat. equilibria-based dec. making
Argumentative XAI
KR 2021 DC Lightning Talk: Topics in Description Logics of Typicality and Quantification Neglect
KR 2021 - Introducing k-lingo: a k-depth bounded version of ASP system clingo
KR 2021 - Finitely Materialisable Datalog Programs with Metric Temporal Operators
KR 2020 - Knowledge of Uncertain Worlds: Programming with Logical Constraints
KR 2021 - Representing and Reasoning with Event Models for Epistemic Planning
KR 2020 - Ray Reiter Best Paper Award - paper by Ringo Baumann, Gerhard Brewka, Markus Ulbricht
KR 2021 - On the Identifiability of Hierarchical Decision Models
KR 2021 Tutorial: KR&R Meets Cyber-Physical Systems: Formalization, Behavior, Trustworthiness
KR 2020 - The Hierarchy of Hyperlogics
KR 2020 - Analyzing Differentiable Fuzzy Implications
CME 2021: A defeasible logic implementation of ethical reasoning
XLoKR 2021: Targeting Explanations by Measuring Conceptual Complexity
XLoKR 2021: Two Ways of Explaining Negative Entailments in Description Logics Using Abduction
RACES 2020 - Learning Interpretable Models Expressed in Linear Temporal Logic
