UNDERLINE 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

Would you like to see your presentation here, made available to a global audience of researchers?
Add your own presentation or have us affordably record your next conference.

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!

Select topic of interest (you can select more than one)

PRESENTATIONS

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

© 2025 Underline - All rights reserved