Bayesian Inference of Linear Temporal Logic Specifications for Contrastive Explanations

Bayesian Inference of Linear Temporal Logic Specifications for Contrastive Explanations

© 2019 International Joint Conferences on Artificial Intelligence. All rights reserved. Temporal logics are useful for providing concise descriptions of system behavior, and have been successfully used as a language for goal definitions in task planning. Prior works on inferring temporal logic speci...

Full description

Bibliographic Details
Main Authors: Kim, Joseph (Author), Muise, Christian (Author), Shah, Ankit Jayesh (Author), Agarwal, Shubham (Author), Shah, Julie A (Author)
Other Authors: Massachusetts Institute of Technology. Computer Science and Artificial Intelligence Laboratory (Contributor), MIT-IBM Watson AI Lab (Contributor)
Format: Article
Language:English
Published: International Joint Conferences on Artificial Intelligence, 2021-11-04T13:51:00Z.
Subjects:
Article
Online Access:Get fulltext

Internet

Get fulltext

Similar Items