Tim French

ORCID

Publication Activity (10 Years)

Years Active: 2001-2024
Publications (10 Years): 53

Top Venues

Publications

Maira Alvi, Tim French, Philip Keymer, Rachel Cardell-Oliver
Automated State Estimation for Summarizing the Dynamics of Complex Urban Systems Using Representation Learning. AAAI (2024)
Thomas Ågotnes, Hans van Ditmarsch, Tim French
The Undecidability of Quantified Announcements. CoRR (2024)
Tim French
Aleatoric Predicates: Reasoning about Marbles. AAMAS (2024)
Maira Alvi, Tim French, Rachel Cardell-Oliver, Damien Batstone, Naveed Akhtar
Enhanced Deep Predictive Modeling of Wastewater Plants With Limited Data. IEEE Trans. Ind. Informatics 20 (2) (2024)
Tyler K. Bikaun, Tim French, Michael Stewart, Wei Liu, Melinda Hodkiewicz
MaintIE: A Fine-Grained Annotation Schema and Benchmark for Information Extraction from Maintenance Short Texts. LREC/COLING (2024)
Chau Nguyen, Tim French, Wei Liu, Michael Stewart
SConE: Simplified Cone Embeddings with Symbolic Operators for Complex Logical Queries. ACL (Findings) (2023)
Tim French
Aleatoric Propositions: Reasoning About Coins. WoLLIC (2023)
Caitlin Woods, Tim French, Melinda Hodkiewicz, Tyler Bikaun
An ontology for maintenance procedure documentation. Appl. Ontology 18 (2) (2023)
Ziyu Zhao, Wei Liu, Tim French, Michael Stewart
CySpider: A Neural Semantic Parsing Corpus with Baseline Models for Property Graphs. AI (2) (2023)
Natasha Alechina, Hans van Ditmarsch, Tim French, Rustam Galimullin
The Expressivity of Quantified Group Announcements. J. Log. Comput. 33 (6) (2023)
Ziyu Zhao, Wei Liu, Tim French, Michael Stewart
Rel2Graph: Automated Mapping From Relational Databases to a Unified Property Knowledge Graph. CoRR (2023)
Cris Cunha, Wei Liu, Tim French, Ajmal Mian
Q-Cogni: An Integrated Causal Reinforcement Learning Framework. CoRR (2023)
Chau Nguyen, Tim French, Wei Liu, Michael Stewart
CylE: Cylinder Embeddings for Multi-hop Reasoning over Knowledge Graphs. EACL (2023)
Maira Alvi, Tim French, Rachel Cardell-Oliver, Philip Keymer, Andrew Ward
Cost Effective Soft Sensing for Wastewater Treatment Facilities. IEEE Access 10 (2022)
Manou Rosenberg, Tim French, Mark Reynolds, Lyndon While
Finding an optimised infrastructure for electricity distribution networks in rural areas - A comparison of different approaches. Swarm Evol. Comput. 68 (2022)
Hans van Ditmarsch, Tim French, Rustam Galimullin
Satisfiability of Quantified Boolean Announcements. CoRR (2022)
Manou Rosenberg, Mark Reynolds, Tim French, Lyndon While
Evolutionary Algorithms for Planning Remote Electricity Distribution Networks Considering Isolated Microgrids and Geographical Constraints. CEC (2022)
Maira Alvi, Rachel Cardell-Oliver, Tim French
Utilizing autoencoders to improve transfer learning when sensor data is sparse. BuildSys@SenSys (2022)
Ziyu Zhao, Michael Stewart, Wei Liu, Tim French, Melinda Hodkiewicz
Natural Language Query for Technical Knowledge Graph Navigation. AusDM (2022)
Hans van Ditmarsch, Tim French
Quantifying over Boolean announcements. Log. Methods Comput. Sci. 18 (1) (2022)
Hans van Ditmarsch, Tim French, James Hales
Positive Announcements. Stud Logica 109 (3) (2021)
Hans van Ditmarsch, Tim French, Rustam Galimullin
No Finite Model Property for Logics of Quantified Announcements. TARK (2021)
Tyler Bikaun, Tim French, Melinda Hodkiewicz, Michael Stewart, Wei Liu
LexiClean: An annotation tool for rapid multi-task lexical normalisation. EMNLP (Demos) (2021)
Caitlin Woods, Mark A. Griffin, Melinda Hodkiewicz, Tim French
Digitisation of maintenance work management - a work design perspective: Lessons Learned in an Industry Study. OZCHI (2021)
Caitlin Woods, Mark A. Griffin, Tim French, Melinda Hodkiewicz
Using Job Characteristics to Inform Interface Design for Industrial Maintenance Procedures. CHI (2021)
Tim French, Thomas Smoker
An Aleatoric Description Logic for Probabilistic Reasoning. Description Logics (2021)
Tim French, Tom Smoker
Aleatoric Description Logic for Probailistic Reasoning (Long Version). CoRR (2021)
Manou Rosenberg, Tim French, Mark Reynolds, Lyndon While
A genetic algorithm approach for the Euclidean Steiner tree problem with soft obstacles. GECCO (2021)
Tim French, Andrew Gozzard, Mark Reynolds
Aleatoric Dynamic Epistemic Logic for Learning Agents. PRICAI (1) (2019)
Caitlin Woods, Melinda Hodkiewicz, Tim French
Requirements for Adaptive User Interfaces for Industrial Maintenance Procedures: A discussion of context, requirements and research opportunities. OZCHI (2019)
Tim French, Rustam Galimullin, Hans van Ditmarsch, Natasha Alechina
Groups Versus Coalitions: On the Relative Expressivity of GAL and CAL. AAMAS (2019)
Manou Rosenberg, James R. E. Fletcher, Mark Reynolds, Tim French, Lyndon While
Identifying Isolated Microgrids in Rural Areas : An Evolutionary Algorithm Approach for a Graph Clustering Problem. CEC (2019)
Tim French, Andrew Gozzard, Mark Reynolds
Dynamic Aleatoric Reasoning in Games of Bluffing and Chance. AAMAS (2019)
Tim French, Andrew Gozzard, Mark Reynolds
A Modal Aleatoric Calculus for Probabilistic Reasoning. ICLA (2019)
Hans van Ditmarsch, Tim French, James Hales
Positive Announcements. CoRR (2018)
Wesley Cox, Tim French, Mark Reynolds, Lyndon While
A Cooperative Coevolutionary Algorithm for Real-Time Underground Mine Scheduling. Australasian Conference on Artificial Intelligence (2018)
Hans van Ditmarsch, Tim French, Fernando R. Velázquez-Quesada, Yì N. Wáng
Implicit, explicit and speculative knowledge. Artif. Intell. 256 (2018)
Tim French, Andrew Gozzard, Mark Reynolds
A modal aleatoric calculus for probabilistic reasoning: extended version. CoRR (2018)
Ray Barker, Aaron Hurst, Ridge Shrubsall, Ghulam Mubashar Hassan, Tim French
A Low-Cost Hardware-in-the-Loop Agent-Based Simulation Testbed for Autonomous Vehicles. AIM (2018)
Lewis Tolonen, Tim French, Mark Reynolds
Population Based Methods for Optimising Infinite Behaviours of Timed Automata. TIME (2018)
Callan Bright, Lyndon While, Tim French, Mark Reynolds
Using market-based optimisation to solve the dynamic vehicle routing problem. SSCI (2017)
Omar I. Al-Bataineh, Mark Reynolds, Tim French
Finding minimum and maximum termination time of timed automata models with cyclic behaviour. Theor. Comput. Sci. 665 (2017)
Wesley Cox, Tim French, Mark Reynolds, Lyndon While
A Genetic Algorithm for Truck Dispatching in Mining. GCAI (2017)
Thomas M. Smoker, Tim French, Wei Liu, Melinda R. Hodkiewicz
Applying cognitive computing to maintainer-collected data. ICSRS (2017)
Hans van Ditmarsch, Tim French
Quantifying over boolean announcements. CoRR (2017)
John Christopher McCabe-Dansted, Mark Reynolds, Tim French
Modelling Systems over General Linear Time. TIME (2016)
Tim French, John Christopher McCabe-Dansted, Mark Reynolds
A complete axiomatization of a temporal logic with obligation and robustness. J. Log. Comput. 26 (5) (2016)
Omar I. Al-Bataineh, Mark Reynolds, Tim French
Finding Minimum and Maximum Termination Time of Timed Automata Models with Cyclic Behaviour. CoRR (2016)
Ben Caldwell, Rachel Cardell-Oliver, Tim French
Learning Time Delay Mealy Machines From Programmable Logic Controllers. IEEE Trans Autom. Sci. Eng. 13 (2) (2016)
Yuki Osada, Mark Reynolds, Tim French
Hourglass Systems. ACSC (2015)
Tim French, John Christopher McCabe-Dansted, Mark Reynolds
Synthesis for continuous time. Theor. Comput. Sci. 594 (2015)
John Christopher McCabe-Dansted, Tim French, Sophie Pinchinat, Mark Reynolds
Expressiveness and succinctness of a logic of robustness. J. Appl. Non Class. Logics 25 (3) (2015)
Omar I. Al-Bataineh, Mark Reynolds, Tim French
Accelerating worst case execution time analysis of timed automata models with cyclic behaviour. Formal Aspects Comput. 27 (5-6) (2015)
Omar I. Al-Bataineh, Mark Reynolds, Tim French
Finding Best and Worst Case Execution Times of Systems Using Difference-Bound Matrices. FORMATS (2014)
Yuki Osada, Tim French, Mark Reynolds, Harry Smallbone
Hourglass Automata. GandALF (2014)
Hans van Ditmarsch, Tim French
Semantics for Knowledge and Change of Awareness. J. Log. Lang. Inf. 23 (2) (2014)
Tim French, James Hales, Edwin Tay
A composable language for action models. CoRR (2014)
Tim French, James Hales, Edwin Tay
A Composable Language for Action Models. Advances in Modal Logic (2014)
Thomas Ågotnes, Hans van Ditmarsch, Tim French
The undecidability of group announcements. AAMAS (2014)
Laura Bozzelli, Hans van Ditmarsch, Tim French, James Hales, Sophie Pinchinat
Refinement modal logic. Inf. Comput. 239 (2014)
Tim French, John Christopher McCabe-Dansted, Mark Reynolds
Complexity of Model Checking over General Linear Time. TIME (2013)
Hans van Ditmarsch, Tim French, Fernando R. Velázquez-Quesada, Yì N. Wáng
Knowledge, awareness, and bisimulation. TARK (2013)
Tim French, John Christopher McCabe-Dansted, Mark Reynolds
Indiscrete Models: Model Building and Model Checking over Linear Time. ICLA (2013)
Ji Bian, Tim French, Mark Reynolds
An Efficient Tableau for Linear Time Temporal Logic. Australasian Conference on Artificial Intelligence (2013)
Tim French, John Christopher McCabe-Dansted, Mark Reynolds
Verifying Temporal Properties in Real Models. LPAR (2013)
Deepak Garg, Amitava Datta, Tim French
A novel bipartite graph approach for selection and prioritisation of test cases. ACM SIGSOFT Softw. Eng. Notes 38 (6) (2013)
Tim French, John Christopher McCabe-Dansted, Mark Reynolds
An Algebraic System of Temporal Structures. TIME (2013)
Tim French, John Christopher McCabe-Dansted, Mark Reynolds
Model Checking General Linear Temporal Logic. TABLEAUX (2013)
Mohammad Behdad, Tim French
Online learning classifiers in dynamic environments with incomplete feedback. IEEE Congress on Evolutionary Computation (2013)
John Christopher McCabe-Dansted, Tim French, Mark Reynolds, Sophie Pinchinat
Specifying Robustness. CoRR (2013)
Tim French, Wiebe van der Hoek, Petar Iliev, Barteld P. Kooi
On the succinctness of some modal logics. Artif. Intell. 197 (2013)
Hans van Ditmarsch, Tim French, Fernando R. Velázquez-Quesada, Yi Nicholas Wang
Knowledge, Awareness, and Bisimulation. CoRR (2013)
Mohammad Behdad, Tim French, Luigi Barone, Mohammed Bennamoun
On principal component analysis for high-dimensional XCSR. Evol. Intell. 5 (2) (2012)
Deepak Garg, Amitava Datta, Tim French
New test case prioritization strategies for regression testing of web applications. Int. J. Syst. Assur. Eng. Manag. 3 (4) (2012)
Tim French, John Christopher McCabe-Dansted, Mark Reynolds
Synthesis for Temporal Logic over the Reals. Advances in Modal Logic (2012)
Mohammad Behdad, Luigi Barone, Mohammed Bennamoun, Tim French
Nature-Inspired Techniques in the Context of Fraud Detection. IEEE Trans. Syst. Man Cybern. Part C 42 (6) (2012)
Hans van Ditmarsch, Tim French, Fernando R. Velázquez-Quesada
Action models for knowledge and awareness. AAMAS (2012)
James Hales, Tim French, Rowan Davies
Refinement Quantified Logics of Knowledge and Belief for Multiple Agentsc. Advances in Modal Logic (2012)
Deepak Garg, Amitava Datta, Tim French
A Two-Level Prioritization Approach for Regression Testing of Web Applications. APSEC Workshops (2012)
Mohammad Behdad, Luigi Barone, Tim French, Mohammed Bennamoun
On XCSR for electronic fraud detection. Evol. Intell. 5 (2) (2012)
Omar I. Al-Bataineh, Tim French, Terry Woodings
Formal Modeling and Analysis of a Distributed Transaction Protocol in UPPAAL. TIME (2012)
Omar I. Al-Bataineh, Mark Reynolds, Tim French, Terry Woodings
Verifying Real-time Commit Protocols Using Dense-time Model Checking Technology CoRR (2012)
Laura Bozzelli, Hans van Ditmarsch, Tim French, James Hales, Sophie Pinchinat
Refinement Modal Logic CoRR (2012)
Mohammad Behdad, Tim French, Luigi Barone, Mohammed Bennamoun
PCA for improving the performance of XCSF in classification of high-dimensional problems. GECCO (Companion) (2011)
Hans van Ditmarsch, Tim French
Becoming Aware of Propositional Variables. ICLA (2011)
James Hales, Tim French, Rowan Davies
Refinement Quantified Logics of Knowledge. Electron. Notes Theor. Comput. Sci. 278 (2011)
Saeed Danesh, Wei Liu, Tim French, Mark Reynolds
An Investigation of Recursive Auto-associative Memory in Sentiment Detection. ADMA (1) (2011)
Hans van Ditmarsch, Tim French
On the Interactions of Awareness and Certainty. Australasian Conference on Artificial Intelligence (2011)
Tim French, Wiebe van der Hoek, Petar Iliev, Barteld P. Kooi
Succinctness of Epistemic Languages. IJCAI (2011)
Mohammad Behdad, Tim French, Luigi Barone, Mohammed Bennamoun
On the problems of using learning classifier systems for fraud detection. GECCO (2010)
David G. Nidorf, Luigi Barone, Tim French
A comparative study of NEAT and XCS in Robocode. IEEE Congress on Evolutionary Computation (2010)
Mohammad Behdad, Luigi Barone, Tim French, Mohammed Bennamoun
An investigation of real-valued accuracy-based learning classifier systems for electronic fraud detection. GECCO (Companion) (2010)
Nazri Kama, Tim French, Mark Reynolds
Considering Patterns in Class Interactions Prediction. FGIT-ASEA (2010)
Tim French, John Christopher McCabe-Dansted, Mark Reynolds
Axioms for Obligation and Robustness with Temporal Logic. DEON (2010)
Hans van Ditmarsch, Tim French, Sophie Pinchinat
Future Event Logic - Axioms and Complexity. Advances in Modal Logic (2010)
Nazri Kama, Tim French, Mark Reynolds
Impact Analysis using Class Interaction Prediction Approach. SoMeT (2010)
Tim French
Virtual Organisational Trust Requirements: Can Semiotics Help Fill The Trust Gap? Int. J. Intell. Inf. Technol. 5 (2) (2009)
Hans van Ditmarsch, Tim French
Awareness and forgetting of facts and agents. Information processing, rational belief change and social interaction (2009)
John Christopher McCabe-Dansted, Tim French, Mark Reynolds, Sophie Pinchinat
On the Expressivity of RoCTL*. TIME (2009)
Hans van Ditmarsch, Tim French
Awareness and Forgetting of Facts and Agents. Web Intelligence/IAT Workshops (2009)

Tim French.css-eqlu8i{font-size:small;padding-left:4px;}

Publication Activity (10 Years)

Top Topics

Top Venues

Tim French