Show 10 5 10 15 20 50 100 250 Sort by year (new to old) Actions Download search results Subscribe to news feed Your filters: cql: keyword exact "Linear Temporal Logic" Add to list Journal Article A1 open access Gödel–Dummett linear temporal logic Juan Pablo Aguilera, Martín Diéguez, David Fernández-Duque (UGent) and Brett McLean (UGent) (2025) ARTIFICIAL INTELLIGENCE. 338. Add to list Conference Paper P1 Learning temporal task specifications from demonstrations Mattijs Baert (UGent) , Sam Leroux (UGent) and Pieter Simoens (UGent) (2024) EXPLAINABLE AND TRANSPARENT AI AND MULTI-AGENT SYSTEMS, EXTRAAMAS 2024. In Lecture Notes in Computer Science 14847. p.81-98 Add to list Conference Paper P1 open access Time and Godel : fuzzy temporal reasoning in PSPACE J. P. Aguilera (UGent) , Martin Dieguez, David Fernández-Duque (UGent) and Brett McLean (UGent) (2022) LOGIC, LANGUAGE, INFORMATION, AND COMPUTATION, WOLLIC 2022. In Lecture Notes in Computer Science 13468. p.18-35