* Kr Conference (updated 2024-11-20) ~ youtor.org

Kr Conference (updated 2024-11-20)

KR 2020 A PreferenceBased Approach to Defeasible Deontic Reasoning [upl. by Ybbob258]

KR 2020 A PreferenceBased Approach to Defeasible Deontic Reasoning

Duration: 14:35
130 views | 21 Sep 2020

KR 2020 Analyzing Differentiable Fuzzy Implications [upl. by Giselbert]

KR 2020 Analyzing Differentiable Fuzzy Implications

Duration: 14:09
271 views | 17 Sep 2020

KR 2021 Synthesizing Besteffort Strategies under Multiple Environment Specifications [upl. by Annekam597]

KR 2021 Synthesizing Besteffort Strategies under Multiple Environment Specifications

Duration: 14:22
45 views | 13 Dec 2021

KR 2020 Inputs Outputs and Composition in the Logic of Information Flows [upl. by Gnes]

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

Duration: 13:09
44 views | 21 Sep 2020

KR 2020 Argumentation Semantics under a Claimcentric View Prop Expressiv and Rel to SETAFs [upl. by Best]

KR 2020 Argumentation Semantics under a Claimcentric View Prop Expressiv and Rel to SETAFs

Duration: 14:36
119 views | 16 Sep 2020

KR 2021 Admissibility in Probabilistic Argumentation [upl. by Ahsina]

KR 2021 Admissibility in Probabilistic Argumentation

Duration: 14:07
65 views | 10 Dec 2021

KR 2020 Changing Beliefs about Domain Dynamics in the Situation Calculus [upl. by Notnef]

KR 2020 Changing Beliefs about Domain Dynamics in the Situation Calculus

Duration: 13:31
123 views | 21 Sep 2020

KR 2020 Highlevel Programming via Generalized Planning and LTL Synthesis [upl. by Nnylesor989]

KR 2020 Highlevel Programming via Generalized Planning and LTL Synthesis

Duration: 12:34
76 views | 22 Sep 2020

KR 2021 On the Maximal Number of Complete Extensions in Abstract Argumentation Frameworks [upl. by Oaks]

KR 2021 On the Maximal Number of Complete Extensions in Abstract Argumentation Frameworks

Duration: 5:38
130 views | 13 Dec 2021

KR 2021 Randomized ProblemRelaxation Solving for OverConstrained Schedules [upl. by Sixele]

KR 2021 Randomized ProblemRelaxation Solving for OverConstrained Schedules

Duration: 6:38
19 views | 13 Dec 2021

DL 2020 Living Without Beth and Craig Explicit Definitions and Interpolants in DL with Nominals [upl. by Samara]

DL 2020 Living Without Beth and Craig Explicit Definitions and Interpolants in DL with Nominals

Duration: 14:55
98 views | 14 Sep 2020

KR20 Invited Talk by David Poole Lessons from three decades of research into learning and reasoning [upl. by Melisent932]

KR20 Invited Talk by David Poole Lessons from three decades of research into learning and reasoning

Duration: 33:15
604 views | 17 Sep 2020

KR 2021 Choices and their Consequences Explaining LONGable Sets in Abstract Argumentation Fr [upl. by Yasibit]

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

Duration: 11:59
339 views | 13 Dec 2021

KR 2020 Dyadic Obligations over Complex Actions as Deontic Constraints in the Situation Calculus [upl. by Wester]

KR 2020 Dyadic Obligations over Complex Actions as Deontic Constraints in the Situation Calculus

Duration: 14:14
46 views | 21 Sep 2020

DL 2020 The Virtual Knowledge Graph System Ontop Extended Abstract [upl. by Gerty]

DL 2020 The Virtual Knowledge Graph System Ontop Extended Abstract

Duration: 8:45
593 views | 14 Sep 2020

NMR 2020 Session ASP and Logic Programming 1 [upl. by Lorinda37]

NMR 2020 Session ASP and Logic Programming 1

Duration: 37:10
133 views | 16 Sep 2020

NMR 2020 Invited Talk by Francesca Toni Nonmonotonic reasoning by computational argumentation [upl. by Suivatna]

NMR 2020 Invited Talk by Francesca Toni Nonmonotonic reasoning by computational argumentation

Duration: 32:14
190 views | 19 Sep 2020

SEPDA 2021 Mapping of Alzheimers disease related data elements and the NIH Common Data Elements [upl. by Airamanna752]

SEPDA 2021 Mapping of Alzheimers disease related data elements and the NIH Common Data Elements

Duration: 16:50
19 views | 15 Dec 2021

DL 2020 Data Complexity of Finite Query Entailment in Description Logics with Transitive Roles [upl. by Fredek]

DL 2020 Data Complexity of Finite Query Entailment in Description Logics with Transitive Roles

Duration: 7:32
58 views | 14 Sep 2020

2023 KR 컨퍼런스 선박용 SMR 기술개발 현황과 전망2 용융염원자로 탑재 제품을 중심으로ㅣ김종원 박사삼성중공업 [upl. by Ahsitra]

2023 KR 컨퍼런스 선박용 SMR 기술개발 현황과 전망2 용융염원자로 탑재 제품을 중심으로ㅣ김종원 박사삼성중공업

Duration: 19:19
5.4K views | 2 Feb 2023

KR 2021 Decidability and Complexity of Some Finitelyvalued Dynamic Logics [upl. by Mayman]

KR 2021 Decidability and Complexity of Some Finitelyvalued Dynamic Logics

Duration: 13:49
17 views | 11 Dec 2021

KR 2021 DC Lightning Talk Ranking Extensions in Abstract Argumentation [upl. by Colbye]

KR 2021 DC Lightning Talk Ranking Extensions in Abstract Argumentation

Duration: 2:19
40 views | 17 Dec 2021

XLoKR 2020 Two Knowledgedriven Approaches to Explaining Blackbox Models [upl. by Akilegna]

XLoKR 2020 Two Knowledgedriven Approaches to Explaining Blackbox Models

Duration: 37:38
99 views | 21 Sep 2020

NMR 2020 Session NonMonotonic Logics Reasoning 3 [upl. by Belak515]

NMR 2020 Session NonMonotonic Logics Reasoning 3

Duration: 46:27
90 views | 18 Sep 2020

NMR 2021 KLMStyle Defeasibility for Restricted FirstOrder Logic [upl. by Enilada179]

NMR 2021 KLMStyle Defeasibility for Restricted FirstOrder Logic

Duration: 25:07
40 views | 29 Nov 2021

KR 2021 Invited talk by Joshua Tenenbaum Reverse Engineering Human Cognitive Development [upl. by Vlada593]

KR 2021 Invited talk by Joshua Tenenbaum Reverse Engineering Human Cognitive Development

Duration: 1:03:53
349 views | 23 Nov 2021

KRHCAI 2021 Invited Talk by Pasquale Minervini Complex Query Answering with Neural Link Predictors [upl. by Sandro]

KRHCAI 2021 Invited Talk by Pasquale Minervini Complex Query Answering with Neural Link Predictors

Duration: 43:18
155 views | 26 Nov 2021

KR 2020 On Tractable XAI Queries based on Compiled Representations [upl. by Irreg]

KR 2020 On Tractable XAI Queries based on Compiled Representations

Duration: 17:08
84 views | 17 Sep 2020

KR 2021 Invited Talk by Francesca Toni The Interactionist View of Reasoning for Explainable AI [upl. by Yhotmit]

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

Duration: 55:48
350 views | 23 Nov 2021

KR 2020 Containment of Simple Conjunctive Regular Path Queries [upl. by Ztnahc304]

KR 2020 Containment of Simple Conjunctive Regular Path Queries

Duration: 13:02
364 views | 20 Sep 2020

Our site allows you to download your favorite videos in MP3 (audio) or MP4 (video) format in the most efficient way. You can find your favorite videos using "search" to download them.

New on site

Content Report
youtor.org / Youtor Videos converter © 2024