VIDEO DOI: https://doi.org/10.48448/61bb-bj49

technical paper

ECAI 2020

August 31, 2020

Live on Underline

Explicit Negation in Linear-Dynamic Equilibrium Logic

Please log in to leave a comment

Downloads

Transcript English (automatic)

Next from ECAI 2020

Rapidly finding the Best Arm using Variance
technical paper

Rapidly finding the Best Arm using Variance

ECAI 2020

Luigi Sauro
Luigi Sauro

31 August 2020

Similar lecture

Implementing Dynamic Answer Set Programming over finite traces
technical paper

Implementing Dynamic Answer Set Programming over finite traces

ECAI 2020

Francois Laferriere
Francois Laferriere

31 August 2020

Stay up to date with the latest Underline news!

PRESENTATIONS

  • All Lectures
  • For Librarians
  • Resource Center
  • Free Trial
Underline Science, Inc.
1216 Broadway, 2nd Floor, New York, NY 10001, USA

© 2023 Underline - All rights reserved