This book delves into the complex and evolving field of agile Earth observation satellite technology and its scheduling challenges. With the capability for large-angle maneuvering, stereo and continuous area imaging, these satellites significantly expand observational capabilities. However, the rapid enhancement of these satellites, paired with increasing observational demands, has made agile satellite scheduling an NP-hard problem. Research into collaborative scheduling for agile satellit...

Edited in collaboration with FoLLI, the Association of Logic, Language and Information, this book constitutes the refereed proceedings of the 4th Tsinghua Interdisciplinary Workshop on Logic, Language, and Meaning, TLLM 2024, held in Beijing, China during in March 29-31, 2024.The 8 full papers were carefully reviewed and selected from 49 submissions. This workshop also focused on the apparently simpler connectives expressing (various versions of) conjunction, disjunction, and negati...