Open AccessExtended Goal Recognition Design with First-Order Computation Tree Logic
Author(s) -
Tsz-Chiu Au
Publication year - 2022
Publication title -
proceedings of the ... aaai conference on artificial intelligence
Language(s) - English
Resource type - Journals
eISSN - 2374-3468
pISSN - 2159-5399
DOI - 10.1609/aaai.v36i9.21200
Subject(s) - computer science , optimal distinctiveness theory , tree (set theory) , artificial intelligence , set (abstract data type) , machine learning , representation (politics) , computation , task (project management) , human–computer interaction , algorithm , programming language , psychology , mathematical analysis , mathematics , management , politics , political science , law , economics , psychotherapist