KR 2020 Test-of-Time Award - Ian Horrocks: Using an Expressive Description Logic: FaCT or Fiction?

KR 2020 Test-of-Time Award - Ian Horrocks: Using an Expressive Description Logic: FaCT or Fiction?

05:14 |

Related Videos

KR 2020 - Reasoning with Contextual Knowledge and Influence Diagrams

14:14

KR 2020 - Reasoning with Contextual Knowledge and Influence Diagrams

KR 2021 Tutorial: Solving Equations in Modal and Description Logics

2:59:32

KR 2021 Tutorial: Solving Equations in Modal and Description Logics

KR 2021 - An Account of Intensional and Extensional Actions, and its Application to Belief

14:39

KR 2021 - An Account of Intensional and Extensional Actions, and its Application to Belief

KR 2021 - Universal and Uniform Action Reversibility

5:15

KR 2021 - Universal and Uniform Action Reversibility

KR 2021 Invited Talk by Francesca Toni: The Interactionist View of Reasoning for Explainable AI

55:48

KR 2021 Invited Talk by Francesca Toni: The Interactionist View of Reasoning for Explainable AI

KR 2021 - Diagnosis of active systems with abstract observations and compiled knowledge

14:10

KR 2021 - Diagnosis of active systems with abstract observations and compiled knowledge

KR 2021 - Choices and their Consequences - Explaining LONGable Sets in Abstract Argumentation Fr.

11:59

KR 2021 - Choices and their Consequences - Explaining LONGable Sets in Abstract Argumentation Fr.

KR 2021 DC Lightning Talk: Knowledge Representation Formalisms for Hybrid Intelligence

3:22

KR 2021 DC Lightning Talk: Knowledge Representation Formalisms for Hybrid Intelligence

KR 2020 Invited Talk by M. Kwiatkowska: Prob. model checking for strat. equilibria-based dec. making

40:26

KR 2020 Invited Talk by M. Kwiatkowska: Prob. model checking for strat. equilibria-based dec. making

KR 2020 - Syntax Splitting for Iterated Contractions

16:04

KR 2020 - Syntax Splitting for Iterated Contractions

KR 2021 DC Lightning Talk: Formal Foundations of Incremental Dynamic Answer Set Programming

1:51

KR 2021 DC Lightning Talk: Formal Foundations of Incremental Dynamic Answer Set Programming

KR 2020 - The Hierarchy of Hyperlogics

5:26

KR 2020 - The Hierarchy of Hyperlogics

KR 2020 - Multi-head Guarded Existential Rules Over Fixed Signatures

14:27

KR 2020 - Multi-head Guarded Existential Rules Over Fixed Signatures

KR 2021 - Integrated Commonsense Reasoning and DL for Transparent Decision Making in Robotics

5:36

KR 2021 - Integrated Commonsense Reasoning and DL for Transparent Decision Making in Robotics

KR 2021 Invited talk by Martin Grohe: The Logic of Graph Neural Networks

1:01:23

KR 2021 Invited talk by Martin Grohe: The Logic of Graph Neural Networks

NMR 2021: Multiple Selective Revision

23:04

NMR 2021: Multiple Selective Revision

KR 2020 - Inputs, Outputs, and Composition in the Logic of Information Flows

13:09

KR 2020 - Inputs, Outputs, and Composition in the Logic of Information Flows

KR 2021 - Representing and Reasoning with Event Models for Epistemic Planning

12:59

KR 2021 - Representing and Reasoning with Event Models for Epistemic Planning

KR 2020 - An Answer Set Programming Approach to Argumentative Reasoning in the ASPIC+ Framework

14:40

KR 2020 - An Answer Set Programming Approach to Argumentative Reasoning in the ASPIC+ Framework

KR 2021 Invited talk by Uli Sattler: DL and OWL: Discoveries, Design Choices, and Challenges

55:45

KR 2021 Invited talk by Uli Sattler: DL and OWL: Discoveries, Design Choices, and Challenges