FROMANNUAL REVIEWS

AAMAS 2020

•

May 11, 2020

•

Live on Underline

Please log in to leave a comment

Downloads

SlidesTranscript English (automatic)

Next from AAMAS 2020

On the Model-Checking of Branching-time Temporal Logic with BDI Modalities
technical paper

On the Model-Checking of Branching-time Temporal Logic with BDI Modalities

AAMAS 2020

Salvatore La Torre
Salvatore La Torre and 1 other author

11 May 2020

Similar lecture

Mapping Topics in 100,000 Real-life Moral Dilemmas
technical paper

Mapping Topics in 100,000 Real-life Moral Dilemmas

ICWSM 2022

Tuan Dung Nguyen
+4
Tuan Dung Nguyen and 6 other authors

09 June 2022

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

© 2026 Underline - All rights reserved

This site is protected by reCAPTCHA and the Google Privacy Policy and Terms of Service apply.