Close
Top Videos
Top Searches
Moods
Black Lives Matter
Chill
Christmas
Commute
Energy boosters
Feel-Good
Focus
Party
Pride
Romance
Sad
Sleep
Workout
Genres
African
Arabic
Blues
Bollywood & Indian
Christian & Gospel
Classical
Country and Americana
Dance and electronic
Decades
Family
Folk and acoustic
Hip-hop
Indie and alternative
J-Pop
Jazz
K-Pop
Latin
Mandopop & Cantopop
Metal
Pop
R&B and Soul
Reggae and Caribbean
Rock
Soundtracks and musicals
KR 2021 - Universal and Uniform Action Reversibility
05:15
|
Download MP3
Related Videos
14:14
KR 2020 - Reasoning with Contextual Knowledge and Influence Diagrams
2:59:32
KR 2021 Tutorial: Solving Equations in Modal and Description Logics
14:39
KR 2021 - An Account of Intensional and Extensional Actions, and its Application to Belief
5:15
KR 2021 - Universal and Uniform Action Reversibility
14:10
KR 2021 - Diagnosis of active systems with abstract observations and compiled knowledge
40:26
KR 2020 Invited Talk by M. Kwiatkowska: Prob. model checking for strat. equilibria-based dec. making
16:04
KR 2020 - Syntax Splitting for Iterated Contractions
14:27
KR 2020 - Multi-head Guarded Existential Rules Over Fixed Signatures
5:26
KR 2020 - The Hierarchy of Hyperlogics
5:36
KR 2021 - Integrated Commonsense Reasoning and DL for Transparent Decision Making in Robotics
3:22
KR 2021 DC Lightning Talk: Knowledge Representation Formalisms for Hybrid Intelligence
23:04
NMR 2021: Multiple Selective Revision
55:48
KR 2021 Invited Talk by Francesca Toni: The Interactionist View of Reasoning for Explainable AI
11:59
KR 2021 - Choices and their Consequences - Explaining LONGable Sets in Abstract Argumentation Fr.
13:09
KR 2020 - Inputs, Outputs, and Composition in the Logic of Information Flows
14:40
KR 2020 - An Answer Set Programming Approach to Argumentative Reasoning in the ASPIC+ Framework
12:59
KR 2021 - Representing and Reasoning with Event Models for Epistemic Planning
1:51
KR 2021 DC Lightning Talk: Formal Foundations of Incremental Dynamic Answer Set Programming
13:02
KR 2020 - Containment of Simple Conjunctive Regular Path Queries
13:31
KR 2020 - Changing Beliefs about Domain Dynamics in the Situation Calculus