Tim French

According to our database, Tim French authored at least 104 papers between 2001 and 2024.

Collaborative distances:

• Dijkstra number of four.
• Erdős number of four.

2024

Enhanced Deep Predictive Modeling of Wastewater Plants With Limited Data.

Maira Alvi, Tim French, Rachel Cardell-Oliver, Damien Batstone, Naveed Akhtar

IEEE Trans. Ind. Informatics, February, 2024

Automated State Estimation for Summarizing the Dynamics of Complex Urban Systems Using Representation Learning.

Maira Alvi, Tim French, Philip Keymer, Rachel Cardell-Oliver

Proceedings of the Thirty-Eighth AAAI Conference on Artificial Intelligence, 2024

2023

The Expressivity of Quantified Group Announcements.

Natasha Alechina, Hans van Ditmarsch, Tim French, Rustam Galimullin

J. Log. Comput., August, 2023

Rel2Graph: Automated Mapping From Relational Databases to a Unified Property Knowledge Graph.

Ziyu Zhao, Wei Liu, Tim French, Michael Stewart

CoRR, 2023

Q-Cogni: An Integrated Causal Reinforcement Learning Framework.

Cris Cunha, Wei Liu, Tim French, Ajmal Mian

CoRR, 2023

An ontology for maintenance procedure documentation.

Caitlin Woods, Tim French, Melinda Hodkiewicz, Tyler Bikaun

Appl. Ontology, 2023

Aleatoric Propositions: Reasoning About Coins.

Tim French

Proceedings of the Logic, Language, Information, and Computation, 2023

CylE: Cylinder Embeddings for Multi-hop Reasoning over Knowledge Graphs.

Chau Nguyen, Tim French, Wei Liu, Michael Stewart

Proceedings of the 17th Conference of the European Chapter of the Association for Computational Linguistics, 2023

CySpider: A Neural Semantic Parsing Corpus with Baseline Models for Property Graphs.

Ziyu Zhao, Wei Liu, Tim French, Michael Stewart

Proceedings of the AI 2023: Advances in Artificial Intelligence, 2023

SConE: Simplified Cone Embeddings with Symbolic Operators for Complex Logical Queries.

Chau Nguyen, Tim French, Wei Liu, Michael Stewart

Proceedings of the Findings of the Association for Computational Linguistics: ACL 2023, 2023

2022

Finding an optimised infrastructure for electricity distribution networks in rural areas - A comparison of different approaches.

Manou Rosenberg, Tim French, Mark Reynolds, Lyndon While

Swarm Evol. Comput., 2022

Quantifying over Boolean announcements.

Hans van Ditmarsch, Tim French

Log. Methods Comput. Sci., 2022

Satisfiability of Quantified Boolean Announcements.

Hans van Ditmarsch, Tim French, Rustam Galimullin

CoRR, 2022

Cost Effective Soft Sensing for Wastewater Treatment Facilities.

Maira Alvi, Tim French, Rachel Cardell-Oliver, Philip Keymer, Andrew Ward

IEEE Access, 2022

Utilizing autoencoders to improve transfer learning when sensor data is sparse.

Maira Alvi, Rachel Cardell-Oliver, Tim French

Proceedings of the 9th ACM International Conference on Systems for Energy-Efficient Buildings, 2022

Evolutionary Algorithms for Planning Remote Electricity Distribution Networks Considering Isolated Microgrids and Geographical Constraints.

Manou Rosenberg, Mark Reynolds, Tim French, Lyndon While

Proceedings of the IEEE Congress on Evolutionary Computation, 2022

Natural Language Query for Technical Knowledge Graph Navigation.

Ziyu Zhao, Michael Stewart, Wei Liu, Tim French, Melinda Hodkiewicz

Proceedings of the Data Mining - 20th Australasian Conference, AusDM 2022, Western Sydney, 2022

2021

Positive Announcements.

Hans van Ditmarsch, Tim French, James Hales

Stud Logica, 2021

Aleatoric Description Logic for Probailistic Reasoning (Long Version).

Tim French, Tom Smoker

CoRR, 2021

No Finite Model Property for Logics of Quantified Announcements.

Hans van Ditmarsch, Tim French, Rustam Galimullin

Proceedings of the Proceedings Eighteenth Conference on Theoretical Aspects of Rationality and Knowledge, 2021

Digitisation of maintenance work management - a work design perspective: Lessons Learned in an Industry Study.

Caitlin Woods, Mark A. Griffin, Melinda Hodkiewicz, Tim French

Proceedings of the OzCHI '21: 33rd Australian Conference on Human-Computer Interaction, Melbourne, VI, Australia, 30 November 2021, 2021

A genetic algorithm approach for the Euclidean Steiner tree problem with soft obstacles.

Manou Rosenberg, Tim French, Mark Reynolds, Lyndon While

Proceedings of the GECCO '21: Genetic and Evolutionary Computation Conference, 2021

LexiClean: An annotation tool for rapid multi-task lexical normalisation.

Tyler Bikaun, Tim French, Melinda Hodkiewicz, Michael Stewart, Wei Liu

Proceedings of the 2021 Conference on Empirical Methods in Natural Language Processing: System Demonstrations, 2021

An Aleatoric Description Logic for Probabilistic Reasoning.

Tim French, Thomas Smoker

Proceedings of the 34th International Workshop on Description Logics (DL 2021) part of Bratislava Knowledge September (BAKS 2021), 2021

Using Job Characteristics to Inform Interface Design for Industrial Maintenance Procedures.

Caitlin Woods, Mark A. Griffin, Tim French, Melinda Hodkiewicz

Proceedings of the CHI '21: CHI Conference on Human Factors in Computing Systems, 2021

2019

Aleatoric Dynamic Epistemic Logic for Learning Agents.

Tim French, Andrew Gozzard, Mark Reynolds

Proceedings of the PRICAI 2019: Trends in Artificial Intelligence, 2019

Requirements for Adaptive User Interfaces for Industrial Maintenance Procedures: A discussion of context, requirements and research opportunities.

Caitlin Woods, Melinda Hodkiewicz, Tim French

Proceedings of the OZCHI'19: 31st Australian Conference on Human-Computer-Interaction, 2019

A Modal Aleatoric Calculus for Probabilistic Reasoning.

Tim French, Andrew Gozzard, Mark Reynolds

Proceedings of the Logic and Its Applications - 8th Indian Conference, 2019

Identifying Isolated Microgrids in Rural Areas : An Evolutionary Algorithm Approach for a Graph Clustering Problem.

Manou Rosenberg, James R. E. Fletcher, Mark Reynolds, Tim French, Lyndon While

Proceedings of the IEEE Congress on Evolutionary Computation, 2019

Dynamic Aleatoric Reasoning in Games of Bluffing and Chance.

Tim French, Andrew Gozzard, Mark Reynolds

Proceedings of the 18th International Conference on Autonomous Agents and MultiAgent Systems, 2019

Groups Versus Coalitions: On the Relative Expressivity of GAL and CAL.

Tim French, Rustam Galimullin, Hans van Ditmarsch, Natasha Alechina

Proceedings of the 18th International Conference on Autonomous Agents and MultiAgent Systems, 2019

2018

A modal aleatoric calculus for probabilistic reasoning: extended version.

Tim French, Andrew Gozzard, Mark Reynolds

CoRR, 2018

Implicit, explicit and speculative knowledge.

Hans van Ditmarsch, Tim French, Fernando R. Velázquez-Quesada, Yì N. Wáng

Artif. Intell., 2018

Population Based Methods for Optimising Infinite Behaviours of Timed Automata.

Lewis Tolonen, Tim French, Mark Reynolds

Proceedings of the 25th International Symposium on Temporal Representation and Reasoning, 2018

A Cooperative Coevolutionary Algorithm for Real-Time Underground Mine Scheduling.

Wesley Cox, Tim French, Mark Reynolds, Lyndon While

Proceedings of the AI 2018: Advances in Artificial Intelligence, 2018

A Low-Cost Hardware-in-the-Loop Agent-Based Simulation Testbed for Autonomous Vehicles.

Ray Barker, Aaron Hurst, Ridge Shrubsall, Ghulam Mubashar Hassan, Tim French

Proceedings of the 2018 IEEE/ASME International Conference on Advanced Intelligent Mechatronics, 2018

2017

Finding minimum and maximum termination time of timed automata models with cyclic behaviour.

Omar I. Al-Bataineh, Mark Reynolds, Tim French

Theor. Comput. Sci., 2017

Using market-based optimisation to solve the dynamic vehicle routing problem.

Callan Bright, Lyndon While, Tim French, Mark Reynolds

Proceedings of the 2017 IEEE Symposium Series on Computational Intelligence, 2017

Applying cognitive computing to maintainer-collected data.

Thomas M. Smoker, Tim French, Wei Liu, Melinda R. Hodkiewicz

Proceedings of the 2nd International Conference on System Reliability and Safety, 2017

A Genetic Algorithm for Truck Dispatching in Mining.

Wesley Cox, Tim French, Mark Reynolds, Lyndon While

Proceedings of the GCAI 2017, 2017

2016

Learning Time Delay Mealy Machines From Programmable Logic Controllers.

Ben Caldwell, Rachel Cardell-Oliver, Tim French

IEEE Trans Autom. Sci. Eng., 2016

The Undecidability of Quantified Announcements.

Thomas Ågotnes, Hans van Ditmarsch, Timothy Noel French

Stud Logica, 2016

A complete axiomatization of a temporal logic with obligation and robustness.

Tim French, John Christopher McCabe-Dansted, Mark Reynolds

J. Log. Comput., 2016

Modelling Systems over General Linear Time.

John Christopher McCabe-Dansted, Mark Reynolds, Tim French

Proceedings of the 23rd International Symposium on Temporal Representation and Reasoning, 2016

2015

Synthesis for continuous time.

Tim French, John Christopher McCabe-Dansted, Mark Reynolds

Theor. Comput. Sci., 2015

Expressiveness and succinctness of a logic of robustness.

John Christopher McCabe-Dansted, Tim French, Sophie Pinchinat, Mark Reynolds

J. Appl. Non Class. Logics, 2015

Accelerating worst case execution time analysis of timed automata models with cyclic behaviour.

Omar I. Al-Bataineh, Mark Reynolds, Tim French

Formal Aspects Comput., 2015

Hourglass Systems.

Yuki Osada, Mark Reynolds, Tim French

Proceedings of the 38th Australasian Computer Science Conference, 2015

2014

Semantics for Knowledge and Change of Awareness.

Hans van Ditmarsch, Tim French

J. Log. Lang. Inf., 2014

Refinement modal logic.

Laura Bozzelli, Hans van Ditmarsch, Tim French, James Hales, Sophie Pinchinat

Inf. Comput., 2014

Hourglass Automata.

Yuki Osada, Tim French, Mark Reynolds, Harry Smallbone

Proceedings of the Proceedings Fifth International Symposium on Games, 2014

Finding Best and Worst Case Execution Times of Systems Using Difference-Bound Matrices.

Omar I. Al-Bataineh, Mark Reynolds, Tim French

Proceedings of the Formal Modeling and Analysis of Timed Systems, 2014

The undecidability of group announcements.

Thomas Ågotnes, Hans van Ditmarsch, Tim French

Proceedings of the International conference on Autonomous Agents and Multi-Agent Systems, 2014

A Composable Language for Action Models.

Tim French, James Hales, Edwin Tay

Proceedings of the Advances in Modal Logic 10, 2014

2013

A novel bipartite graph approach for selection and prioritisation of test cases.

Deepak Garg, Amitava Datta, Tim French

ACM SIGSOFT Softw. Eng. Notes, 2013

Specifying Robustness.

John Christopher McCabe-Dansted, Tim French, Mark Reynolds, Sophie Pinchinat

CoRR, 2013

On the succinctness of some modal logics.

Tim French, Wiebe van der Hoek, Petar Iliev, Barteld P. Kooi

Artif. Intell., 2013

Complexity of Model Checking over General Linear Time.

Tim French, John Christopher McCabe-Dansted, Mark Reynolds

Proceedings of the 2013 20th International Symposium on Temporal Representation and Reasoning, 2013

An Algebraic System of Temporal Structures.

Tim French, John Christopher McCabe-Dansted, Mark Reynolds

Proceedings of the 2013 20th International Symposium on Temporal Representation and Reasoning, 2013

Knowledge, awareness, and bisimulation.

Hans van Ditmarsch, Tim French, Fernando R. Velázquez-Quesada, Yì N. Wáng

Proceedings of the 14th Conference on Theoretical Aspects of Rationality and Knowledge (TARK 2013), 2013

Model Checking General Linear Temporal Logic.

Tim French, John Christopher McCabe-Dansted, Mark Reynolds

Proceedings of the Automated Reasoning with Analytic Tableaux and Related Methods, 2013

Verifying Temporal Properties in Real Models.

Tim French, John Christopher McCabe-Dansted, Mark Reynolds

Proceedings of the Logic for Programming, Artificial Intelligence, and Reasoning, 2013

Indiscrete Models: Model Building and Model Checking over Linear Time.

Tim French, John Christopher McCabe-Dansted, Mark Reynolds

Proceedings of the Logic and Its Applications, 5th Indian Conference, 2013

Online learning classifiers in dynamic environments with incomplete feedback.

Mohammad Behdad, Tim French

Proceedings of the IEEE Congress on Evolutionary Computation, 2013

An Efficient Tableau for Linear Time Temporal Logic.

Ji Bian, Tim French, Mark Reynolds

Proceedings of the AI 2013: Advances in Artificial Intelligence, 2013

2012

Nature-Inspired Techniques in the Context of Fraud Detection.

Mohammad Behdad, Luigi Barone, Mohammed Bennamoun, Tim French

IEEE Trans. Syst. Man Cybern. Part C, 2012

New test case prioritization strategies for regression testing of web applications.

Deepak Garg, Amitava Datta, Tim French

Int. J. Syst. Assur. Eng. Manag., 2012

On principal component analysis for high-dimensional XCSR.

Mohammad Behdad, Tim French, Luigi Barone, Mohammed Bennamoun

Evol. Intell., 2012

On XCSR for electronic fraud detection.

Mohammad Behdad, Luigi Barone, Tim French, Mohammed Bennamoun

Evol. Intell., 2012

Verifying Real-time Commit Protocols Using Dense-time Model Checking Technology

Omar I. Al-Bataineh, Mark Reynolds, Tim French, Terry Woodings

CoRR, 2012

Formal Modeling and Analysis of a Distributed Transaction Protocol in UPPAAL.

Omar I. Al-Bataineh, Tim French, Terry Woodings

Proceedings of the 19th International Symposium on Temporal Representation and Reasoning, 2012

A Two-Level Prioritization Approach for Regression Testing of Web Applications.

Deepak Garg, Amitava Datta, Tim French

Proceedings of the 19th Asia-Pacific Software Engineering Conference - Workshops, 2012

Refinement Quantified Logics of Knowledge and Belief for Multiple Agentsc.

James Hales, Tim French, Rowan Davies

Proceedings of the Advances in Modal Logic 9, 2012

Synthesis for Temporal Logic over the Reals.

Tim French, John Christopher McCabe-Dansted, Mark Reynolds

Proceedings of the Advances in Modal Logic 9, 2012

Action models for knowledge and awareness.

Hans van Ditmarsch, Tim French, Fernando R. Velázquez-Quesada

Proceedings of the International Conference on Autonomous Agents and Multiagent Systems, 2012

2011

Refinement Quantified Logics of Knowledge.

James Hales, Tim French, Rowan Davies

Proceedings of the 7th Workshop on Methods for Modalities, 2011

Succinctness of Epistemic Languages.

Tim French, Wiebe van der Hoek, Petar Iliev, Barteld P. Kooi

Proceedings of the IJCAI 2011, 2011

Becoming Aware of Propositional Variables.

Hans van Ditmarsch, Tim French

Proceedings of the Logic and Its Applications - 4th Indian Conference, 2011

PCA for improving the performance of XCSF in classification of high-dimensional problems.

Mohammad Behdad, Tim French, Luigi Barone, Mohammed Bennamoun

Proceedings of the 13th Annual Genetic and Evolutionary Computation Conference, 2011

On the Interactions of Awareness and Certainty.

Hans van Ditmarsch, Tim French

Proceedings of the AI 2011: Advances in Artificial Intelligence, 2011

An Investigation of Recursive Auto-associative Memory in Sentiment Detection.

Saeed Danesh, Wei Liu, Tim French, Mark Reynolds

Proceedings of the Advanced Data Mining and Applications - 7th International Conference, 2011

2010

Impact Analysis using Class Interaction Prediction Approach.

Nazri Kama, Tim French, Mark Reynolds

Proceedings of the New Trends in Software Methodologies, Tools and Techniques, 2010

On the problems of using learning classifier systems for fraud detection.

Mohammad Behdad, Tim French, Luigi Barone, Mohammed Bennamoun

Proceedings of the Genetic and Evolutionary Computation Conference, 2010

An investigation of real-valued accuracy-based learning classifier systems for electronic fraud detection.

Mohammad Behdad, Luigi Barone, Tim French, Mohammed Bennamoun

Proceedings of the Genetic and Evolutionary Computation Conference, 2010

Considering Patterns in Class Interactions Prediction.

Nazri Kama, Tim French, Mark Reynolds

Proceedings of the Advances in Software Engineering, 2010

Axioms for Obligation and Robustness with Temporal Logic.

Tim French, John Christopher McCabe-Dansted, Mark Reynolds

Proceedings of the Deontic Logic in Computer Science, 10th International Conference, 2010

A comparative study of NEAT and XCS in Robocode.

David G. Nidorf, Luigi Barone, Tim French

Proceedings of the IEEE Congress on Evolutionary Computation, 2010

Future Event Logic - Axioms and Complexity.

Hans van Ditmarsch, Tim French, Sophie Pinchinat

Proceedings of the Advances in Modal Logic 8, 2010

2009

Virtual Organisational Trust Requirements: Can Semiotics Help Fill The Trust Gap?

Tim French

Int. J. Intell. Inf. Technol., 2009

Axiomatizations for Temporal Epistemic Logic with Perfect Recall over Linear Time.

Szabolcs Mikulás, Mark Reynolds, Tim French

Proceedings of the TIME 2009, 2009

On the Expressivity of RoCTL*.

John Christopher McCabe-Dansted, Tim French, Mark Reynolds, Sophie Pinchinat

Proceedings of the TIME 2009, 2009

Awareness and forgetting of facts and agents.

Hans van Ditmarsch, Tim French

Proceedings of the Information processing, rational belief change and social interaction, 23.08., 2009

2008

Simulation and Information: Quantifying over Epistemic Events.

Hans P. van Ditmarsch, Tim French

Proceedings of the Knowledge Representation for Agents and Multi-Agent Systems, 2008

Undecidability for arbitrary public announcement logic.

Tim French, Hans P. van Ditmarsch

Proceedings of the Advances in Modal Logic 7, 2008

2007

A Temporal Logic of Robustness.

Tim French, John Christopher McCabe-Dansted, Mark Reynolds

Proceedings of the Frontiers of Combining Systems, 6th International Symposium, 2007

Idempotent Transductions for Modal Logics.

Tim French

Proceedings of the Frontiers of Combining Systems, 6th International Symposium, 2007

2006

µ-programs, uniform interpolation and bisimulation quantifiers for modal logics.

Giovanna D'Agostino, Giacomo Lenzi, Tim French

J. Appl. Non Class. Logics, 2006

Bisimulation Quantified Modal Logics: Decidability.

Tim French

Proceedings of the Advances in Modal Logic 6, 2006

2005

Bisimulation Quantified Logics: Undecidability.

Tim French

Proceedings of the FSTTCS 2005: Foundations of Software Technology and Theoretical Computer Science, 2005

2004

Axioms for Logics of Knowledge and Past Time: Synchrony and Unique Initial States.

Tim French, Ron van der Meyden, Mark Reynolds

Proceedings of the Advances in Modal Logic 5, 2004

2003

Quantified Propositional Temporal Logic with Repeating States.

Tim French

Proceedings of the 10th International Symposium on Temporal Representation and Reasoning / 4th International Conference on Temporal Logic (TIME-ICTL 2003), 2003

Decidability of Propositionally Quantified Logics of Knowledge.

Tim French

Proceedings of the AI 2003: Advances in Artificial Intelligence, 2003

2002

A Sound and Complete Proof System for QPTL.

Tim French, Mark Reynolds

Proceedings of the Advances in Modal Logic 4, papers from the fourth conference on "Advances in Modal logic," held in Toulouse, France, 30 September, 2002

2001

Decidability of Quantifed Propositional Branching Time Logics.

Tim French

Proceedings of the AI 2001: Advances in Artificial Intelligence, 2001