KR 2021 - Introducing k-lingo: a k-depth bounded version of ASP system clingo
Introducing k-lingo: a k-depth bounded version of ASP system clingo
by Fabio Aurelio D'Asaro, Paolo Baldi and Giuseppe Primiero
Session: Answer Set / Logic Programming
Short paper
Видео KR 2021 - Introducing k-lingo: a k-depth bounded version of ASP system clingo канала KR conference series
by Fabio Aurelio D'Asaro, Paolo Baldi and Giuseppe Primiero
Session: Answer Set / Logic Programming
Short paper
Видео KR 2021 - Introducing k-lingo: a k-depth bounded version of ASP system clingo канала KR conference series
Комментарии отсутствуют
Информация о видео
13 декабря 2021 г. 12:05:42
00:09:06
Другие видео канала
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 - 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
