Lecture image placeholder

Premium content

Access to this content requires a subscription. You must be a premium user to view this content.

Monthly subscription - $9.99Pay per view - $4.99Access through your institutionLogin with Underline account
Need help?
Contact us
Lecture placeholder background
VIDEO DOI: https://doi.org/10.48448/168n-t253

poster

AAAI 2023

February 10, 2023

Washington, United States

Formally Verified SAT-Based AI Planning

Please log in to leave a comment

Downloads

SlidesTranscript English (automatic)

Next from AAAI 2023

Improving Interpretability of Deep Sequential Knowledge Tracing Models with Dual Cognitive Representations
poster

Improving Interpretability of Deep Sequential Knowledge Tracing Models with Dual Cognitive Representations

AAAI 2023

+2Jiahao Chen
Zitao Liu and 4 other authors

10 February 2023

Similar lecture

Strategyproofness and Proportionality in Party-Approval Multiwinner Elections
poster

Strategyproofness and Proportionality in Party-Approval Multiwinner Elections

AAAI 2023

+2Tom DemeulemeesterThéo DelemazureJonas Israel
Jonas Israel and 4 other authors

11 February 2023