KR 2021 - On the epistemic logic of incomplete argumentation frameworks
On the epistemic logic of incomplete argumentation frameworks
by Andreas Herzig and Antonio Yuste-Ginel
Session: Epistemic Logic
Short paper
Видео KR 2021 - On the epistemic logic of incomplete argumentation frameworks канала KR conference series
by Andreas Herzig and Antonio Yuste-Ginel
Session: Epistemic Logic
Short paper
Видео KR 2021 - On the epistemic logic of incomplete argumentation frameworks канала KR conference series
Комментарии отсутствуют
Информация о видео
13 декабря 2021 г. 12:05:42
00:06:42
Другие видео канала
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 2021 - Admissibility in Probabilistic Argumentation
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
