VIDEO DOI: https://doi.org/10.48448/2f5e-9h31

technical paper

ECAI 2020

August 31, 2020

Live on Underline

Reasoning with a Bounded Number of Resources in ATL+

Please log in to leave a comment

Downloads

Transcript English (automatic)

Next from ECAI 2020

Rewrite or not Rewrite? ML-based Algorithm Selection for Datalog Query Answering on Knowledge Graphs
technical paper

Rewrite or not Rewrite? ML-based Algorithm Selection for Datalog Query Answering on Knowledge Graphs

ECAI 2020

Unmesh Joshi
Unmesh Joshi

31 August 2020

Similar lecture

Formal Verification of Bayesian Mechanisms
poster

Formal Verification of Bayesian Mechanisms

AAAI 2023

+1
Munyque Mittelmann and 3 other authors

12 February 2023