( en | de | ru )

 

Disambiguierung von "French, Tim"

Autor der Publikation

KopierenLöschenDiese Publikation zur Ablage hinzufügen
An Efficient Tableau for Linear Time Temporal Logic.

, , und . Australasian Conference on Artificial Intelligence, Volume 8272 von Lecture Notes in Computer Science, Seite 289-300. Springer, (2013)

Bitte wählen Sie eine Person um die Publikation zuzuordnen

Um zwischen Personen mit demselben Namen zu unterscheiden, wird der akademische Grad und der Titel einer wichtigen Publikation angezeigt. Zudem lassen sich über den Button neben dem Namen einige der Person bereits zugeordnete Publikationen anzeigen.

Ramona French

Ramona French

Cecily French

Martin French

Katrin Kerl-French

 

Weitere Publikationen von Autoren mit dem selben Namen

A card-sorting probe of e-banking trust perceptions., , und . BCS HCI (1), Seite 45-53. BCS, (2007)Decidability of Propositionally Quantified Logics of Knowledge.. Australian Conference on Artificial Intelligence, Volume 2903 von Lecture Notes in Computer Science, Seite 352-363. Springer, (2003)Idempotent Transductions for Modal Logics.. FroCoS, Volume 4720 von Lecture Notes in Computer Science, Seite 178-192. Springer, (2007)Bisimulation Quantified Logics: Undecidability.. FSTTCS, Volume 3821 von Lecture Notes in Computer Science, Seite 396-407. Springer, (2005)PCA for improving the performance of XCSF in classification of high-dimensional problems., , , und . GECCO (Companion), Seite 361-368. ACM, (2011)Natural Language Query for Technical Knowledge Graph Navigation., , , , und . AusDM, Volume 1741 von Communications in Computer and Information Science, Seite 176-191. Springer, (2022)Applying cognitive computing to maintainer-collected data., , , und . ICSRS, Seite 543-551. IEEE, (2017)Automated State Estimation for Summarizing the Dynamics of Complex Urban Systems Using Representation Learning., , , und . AAAI, Seite 23020-23026. AAAI Press, (2024)Axioms for Logics of Knowledge and Past Time: Synchrony and Unique Initial States., , und . Advances in Modal Logic, Seite 53-72. King's College Publications, (2004)A Composable Language for Action Models., , und . Advances in Modal Logic, Seite 197-216. College Publications, (2014)