default search action
Google
Google Scholar
Semantic Scholar
Internet Archive Scholar
CiteSeerX
ORCIDTim French 0002
Timothy Noel French
Person information
- affiliation: University of Western Australia, Perth, WA, Australia
Other persons with the same name
- Tim French 0001 (aka: Timothy Stewart French) — Bedfordshire University, Computer Science Department, Luton, UK
- Tim French 0003 — University of Manchester, UK
SPARQL queries 
Refine list
refinements active!
zoomed in on ?? of ?? records
view refined list in
export refined list as
showing all ?? records
2020 – today
- 2024
[j27]Caitlin Woods
, Melinda Hodkiewicz, Tim French:
Semantic Quality Assurance of Industrial Maintenance Procedures. IEEE Access 12: 122029-122046 (2024)- [j26]Cristiano da Costa Cunha, Wei Liu, Tim French, Ajmal Mian:
Q-Cogni: An Integrated Causal Reinforcement Learning Framework. IEEE Trans. Artif. Intell. 5(12): 6186-6195 (2024) - [j25]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): 1920-1930 (2024) - [c74]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: 23020-23026 - [c73]Tim French:
Aleatoric Predicates: Reasoning about Marbles. AAMAS 2024: 2267-2269 - [c72]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: 10939-10951 - [i14]Thomas Ågotnes, Hans van Ditmarsch, Tim French:
The Undecidability of Quantified Announcements. CoRR abs/2405.15671 (2024) - 2023
- [j24]Caitlin Woods, Tim French, Melinda Hodkiewicz, Tyler Bikaun:
An ontology for maintenance procedure documentation. Appl. Ontology 18(2): 169-206 (2023) - [j23]Natasha Alechina, Hans van Ditmarsch, Tim French, Rustam Galimullin:
The Expressivity of Quantified Group Announcements. J. Log. Comput. 33(6): 1122-1151 (2023) - [c71]Chau Nguyen, Tim French, Wei Liu, Michael Stewart:
SConE: Simplified Cone Embeddings with Symbolic Operators for Complex Logical Queries. ACL (Findings) 2023: 11931-11946 - [c70]Ziyu Zhao, Wei Liu, Tim French, Michael Stewart:
CySpider: A Neural Semantic Parsing Corpus with Baseline Models for Property Graphs. AI (2) 2023: 120-132 - [c69]Chau Nguyen, Tim French, Wei Liu, Michael Stewart:
CylE: Cylinder Embeddings for Multi-hop Reasoning over Knowledge Graphs. EACL 2023: 1728-1743 - [c68]Tim French:
Aleatoric Propositions: Reasoning About Coins. WoLLIC 2023: 227-243 - [i13]Cris Cunha, Wei Liu, Tim French, Ajmal Mian:
Q-Cogni: An Integrated Causal Reinforcement Learning Framework. CoRR abs/2302.13240 (2023) - [i12]Ziyu Zhao, Wei Liu, Tim French, Michael Stewart:
Rel2Graph: Automated Mapping From Relational Databases to a Unified Property Knowledge Graph. CoRR abs/2310.01080 (2023) - 2022
- [j22]Maira Alvi, Tim French, Rachel Cardell-Oliver, Philip Keymer, Andrew Ward:
Cost Effective Soft Sensing for Wastewater Treatment Facilities. IEEE Access 10: 55694-55708 (2022) - [j21]Hans van Ditmarsch, Tim French:
Quantifying over Boolean announcements. Log. Methods Comput. Sci. 18(1) (2022) - [j20]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: 101018 (2022) - [c67]Ziyu Zhao, Michael Stewart, Wei Liu, Tim French, Melinda Hodkiewicz:
Natural Language Query for Technical Knowledge Graph Navigation. AusDM 2022: 176-191 - [c66]Manou Rosenberg, Mark Reynolds, Tim French, Lyndon While:
Evolutionary Algorithms for Planning Remote Electricity Distribution Networks Considering Isolated Microgrids and Geographical Constraints. CEC 2022: 1-10 - [c65]Maira Alvi, Rachel Cardell-Oliver, Tim French:
Utilizing autoencoders to improve transfer learning when sensor data is sparse. BuildSys 2022: 500-503 - [e1]Haris Aziz, Débora C. Corrêa, Tim French:
AI 2022: Advances in Artificial Intelligence - 35th Australasian Joint Conference, AI 2022, Perth, WA, Australia, December 5-8, 2022, Proceedings. Lecture Notes in Computer Science 13728, Springer 2022, ISBN 978-3-031-22694-6 [contents] - 2021
- [j19]Hans van Ditmarsch, Tim French, James Hales:
Positive Announcements. Stud Logica 109(3): 639-681 (2021) - [c64]Caitlin Woods, Mark A. Griffin, Tim French, Melinda Hodkiewicz:
Using Job Characteristics to Inform Interface Design for Industrial Maintenance Procedures. CHI 2021: 180:1-180:10 - [c63]Tim French, Thomas Smoker:
An Aleatoric Description Logic for Probabilistic Reasoning. Description Logics 2021 - [c62]Tyler Bikaun, Tim French, Melinda Hodkiewicz, Michael Stewart, Wei Liu:
LexiClean: An annotation tool for rapid multi-task lexical normalisation. EMNLP (Demos) 2021: 212-219 - [c61]Manou Rosenberg, Tim French, Mark Reynolds, Lyndon While:
A genetic algorithm approach for the Euclidean Steiner tree problem with soft obstacles. GECCO 2021: 618-626 - [c60]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: 159-164 - [c59]Hans van Ditmarsch, Tim French, Rustam Galimullin:
No Finite Model Property for Logics of Quantified Announcements. TARK 2021: 129-138 - [i11]Tim French, Tom Smoker:
Aleatoric Description Logic for Probailistic Reasoning (Long Version). CoRR abs/2108.13036 (2021)
2010 – 2019
- 2019
- [c58]Tim French, Rustam Galimullin, Hans van Ditmarsch, Natasha Alechina:
Groups Versus Coalitions: On the Relative Expressivity of GAL and CAL. AAMAS 2019: 953-961 - [c57]Tim French, Andrew Gozzard, Mark Reynolds:
Dynamic Aleatoric Reasoning in Games of Bluffing and Chance. AAMAS 2019: 1964-1966 - [c56]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: 2498-2505 - [c55]Tim French, Andrew Gozzard, Mark Reynolds:
A Modal Aleatoric Calculus for Probabilistic Reasoning. ICLA 2019: 52-63 - [c54]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: 322-326 - [c53]Tim French, Andrew Gozzard, Mark Reynolds:
Aleatoric Dynamic Epistemic Logic for Learning Agents. PRICAI (1) 2019: 433-445 - 2018
- [j18]Hans van Ditmarsch, Tim French, Fernando R. Velázquez-Quesada, Yì N. Wáng:
Implicit, explicit and speculative knowledge. Artif. Intell. 256: 35-67 (2018) - [c52]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: 1015-1020 - [c51]Wesley Cox, Tim French, Mark Reynolds, Lyndon While:
A Cooperative Coevolutionary Algorithm for Real-Time Underground Mine Scheduling. Australasian Conference on Artificial Intelligence 2018: 410-418 - [c50]Lewis Tolonen, Tim French, Mark Reynolds:
Population Based Methods for Optimising Infinite Behaviours of Timed Automata. TIME 2018: 22:1-22:22 - [i10]Hans van Ditmarsch, Tim French, James Hales:
Positive Announcements. CoRR abs/1803.01696 (2018) - [i9]Tim French, Andrew Gozzard, Mark Reynolds:
A modal aleatoric calculus for probabilistic reasoning: extended version. CoRR abs/1812.11741 (2018) - 2017
- [j17]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: 87-104 (2017) - [c49]Wesley Cox, Tim French, Mark Reynolds, Lyndon While:
A Genetic Algorithm for Truck Dispatching in Mining. GCAI 2017: 93-106 - [c48]Thomas M. Smoker, Tim French, Wei Liu, Melinda R. Hodkiewicz:
Applying cognitive computing to maintainer-collected data. ICSRS 2017: 543-551 - [c47]Callan Bright, Lyndon While, Tim French, Mark Reynolds:
Using market-based optimisation to solve the dynamic vehicle routing problem. SSCI 2017: 1-8 - [i8]Hans van Ditmarsch, Tim French:
Quantifying over boolean announcements. CoRR abs/1712.05310 (2017) - 2016
- [j16]Tim French, John Christopher McCabe-Dansted, Mark Reynolds:
A complete axiomatization of a temporal logic with obligation and robustness. J. Log. Comput. 26(5): 1439-1467 (2016) - [j15]Thomas Ågotnes, Hans van Ditmarsch, Timothy Noel French:
The Undecidability of Quantified Announcements. Stud Logica 104(4): 597-640 (2016) - [j14]Ben Caldwell, Rachel Cardell-Oliver, Tim French:
Learning Time Delay Mealy Machines From Programmable Logic Controllers. IEEE Trans Autom. Sci. Eng. 13(2): 1155-1164 (2016) - [c46]John Christopher McCabe-Dansted, Mark Reynolds, Tim French:
Modelling Systems over General Linear Time. TIME 2016: 130-139 - [i7]Omar I. Al-Bataineh, Mark Reynolds, Tim French:
Finding Minimum and Maximum Termination Time of Timed Automata Models with Cyclic Behaviour. CoRR abs/1610.09795 (2016) - 2015
- [j13]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): 917-949 (2015) - [j12]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): 193-228 (2015) - [j11]Tim French, John Christopher McCabe-Dansted, Mark Reynolds:
Synthesis for continuous time. Theor. Comput. Sci. 594: 201-222 (2015) - [c45]Yuki Osada, Mark Reynolds, Tim French:
Hourglass Systems. ACSC 2015: 119-123 - 2014
- [j10]Laura Bozzelli, Hans van Ditmarsch, Tim French, James Hales, Sophie Pinchinat:
Refinement modal logic. Inf. Comput. 239: 303-339 (2014) - [j9]Hans van Ditmarsch, Tim French:
Semantics for Knowledge and Change of Awareness. J. Log. Lang. Inf. 23(2): 169-195 (2014) - [c44]Tim French, James Hales, Edwin Tay:
A Composable Language for Action Models. Advances in Modal Logic 2014: 197-216 - [c43]Thomas Ågotnes, Hans van Ditmarsch, Tim French:
The undecidability of group announcements. AAMAS 2014: 893-900 - [c42]Omar I. Al-Bataineh, Mark Reynolds, Tim French:
Finding Best and Worst Case Execution Times of Systems Using Difference-Bound Matrices. FORMATS 2014: 38-52 - [c41]Yuki Osada, Tim French, Mark Reynolds, Harry Smallbone:
Hourglass Automata. GandALF 2014: 175-188 - [i6]Tim French, James Hales, Edwin Tay:
A composable language for action models. CoRR abs/1406.2103 (2014) - 2013
- [j8]Tim French, Wiebe van der Hoek, Petar Iliev, Barteld P. Kooi:
On the succinctness of some modal logics. Artif. Intell. 197: 56-85 (2013) - [j7]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): 1-6 (2013) - [c40]Ji Bian, Tim French, Mark Reynolds:
An Efficient Tableau for Linear Time Temporal Logic. Australasian Conference on Artificial Intelligence 2013: 289-300 - [c39]Mohammad Behdad, Tim French:
Online learning classifiers in dynamic environments with incomplete feedback. IEEE Congress on Evolutionary Computation 2013: 1786-1793 - [c38]Tim French, John Christopher McCabe-Dansted, Mark Reynolds:
Indiscrete Models: Model Building and Model Checking over Linear Time. ICLA 2013: 50-68 - [c37]Tim French, John Christopher McCabe-Dansted, Mark Reynolds:
Verifying Temporal Properties in Real Models. LPAR 2013: 309-323 - [c36]Tim French, John Christopher McCabe-Dansted, Mark Reynolds:
Model Checking General Linear Temporal Logic. TABLEAUX 2013: 119-133 - [c35]Hans van Ditmarsch, Tim French, Fernando R. Velázquez-Quesada, Yì N. Wáng:
Knowledge, awareness, and bisimulation. TARK 2013 - [c34]Tim French, John Christopher McCabe-Dansted, Mark Reynolds:
An Algebraic System of Temporal Structures. TIME 2013: 81-88 - [c33]Tim French, John Christopher McCabe-Dansted, Mark Reynolds:
Complexity of Model Checking over General Linear Time. TIME 2013: 107-114 - [i5]John Christopher McCabe-Dansted, Tim French, Mark Reynolds, Sophie Pinchinat:
Specifying Robustness. CoRR abs/1309.4416 (2013) - [i4]Hans van Ditmarsch, Tim French, Fernando R. Velázquez-Quesada, Yi Nicholas Wang:
Knowledge, Awareness, and Bisimulation. CoRR abs/1310.6410 (2013) - 2012
- [j6]Mohammad Behdad, Tim French, Luigi Barone, Mohammed Bennamoun:
On principal component analysis for high-dimensional XCSR. Evol. Intell. 5(2): 129-138 (2012) - [j5]Mohammad Behdad, Luigi Barone, Tim French, Mohammed Bennamoun:
On XCSR for electronic fraud detection. Evol. Intell. 5(2): 139-150 (2012) - [j4]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): 300-309 (2012) - [j3]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): 1273-1290 (2012) - [c32]Hans van Ditmarsch, Tim French, Fernando R. Velázquez-Quesada:
Action models for knowledge and awareness. AAMAS 2012: 1091-1098 - [c31]Tim French, John Christopher McCabe-Dansted, Mark Reynolds:
Synthesis for Temporal Logic over the Reals. Advances in Modal Logic 2012: 217-238 - [c30]James Hales, Tim French, Rowan Davies:
Refinement Quantified Logics of Knowledge and Belief for Multiple Agentsc. Advances in Modal Logic 2012: 317-338 - [c29]Deepak Garg, Amitava Datta, Tim French:
A Two-Level Prioritization Approach for Regression Testing of Web Applications. APSEC Workshops 2012: 150-153 - [c28]Omar I. Al-Bataineh, Tim French, Terry Woodings:
Formal Modeling and Analysis of a Distributed Transaction Protocol in UPPAAL. TIME 2012: 65-72 - [i3]Omar I. Al-Bataineh, Mark Reynolds, Tim French, Terry Woodings:
Verifying Real-time Commit Protocols Using Dense-time Model Checking Technology. CoRR abs/1201.3416 (2012) - [i2]Laura Bozzelli, Hans van Ditmarsch, Tim French, James Hales, Sophie Pinchinat:
Refinement Modal Logic. CoRR abs/1202.3538 (2012) - 2011
- [c27]Saeed Danesh, Wei Liu, Tim French, Mark Reynolds:
An Investigation of Recursive Auto-associative Memory in Sentiment Detection. ADMA (1) 2011: 162-174 - [c26]Hans van Ditmarsch, Tim French:
On the Interactions of Awareness and Certainty. Australasian Conference on Artificial Intelligence 2011: 727-738 - [c25]Mohammad Behdad, Tim French, Luigi Barone, Mohammed Bennamoun:
PCA for improving the performance of XCSF in classification of high-dimensional problems. GECCO (Companion) 2011: 361-368 - [c24]Hans van Ditmarsch, Tim French:
Becoming Aware of Propositional Variables. ICLA 2011: 204-218 - [c23]Tim French, Wiebe van der Hoek, Petar Iliev, Barteld P. Kooi:
Succinctness of Epistemic Languages. IJCAI 2011: 881-886 - [c22]James Hales, Tim French, Rowan Davies:
Refinement Quantified Logics of Knowledge. M4M/LAMAS 2011: 85-98 - 2010
- [c21]Hans van Ditmarsch, Tim French, Sophie Pinchinat:
Future Event Logic - Axioms and Complexity. Advances in Modal Logic 2010: 77-99 - [c20]David G. Nidorf, Luigi Barone, Tim French:
A comparative study of NEAT and XCS in Robocode. IEEE Congress on Evolutionary Computation 2010: 1-8 - [c19]Tim French, John Christopher McCabe-Dansted, Mark Reynolds:
Axioms for Obligation and Robustness with Temporal Logic. DEON 2010: 66-83 - [c18]Nazri Kama, Tim French, Mark Reynolds:
Considering Patterns in Class Interactions Prediction. FGIT-ASEA 2010: 11-22 - [c17]Mohammad Behdad, Tim French, Luigi Barone, Mohammed Bennamoun:
On the problems of using learning classifier systems for fraud detection. GECCO 2010: 1067-1068 - [c16]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: 1893-1900 - [c15]Nazri Kama, Tim French, Mark Reynolds:
Impact Analysis using Class Interaction Prediction Approach. SoMeT 2010: 96-111
2000 – 2009
- 2009
- [j2]Tim French:
Virtual Organisational Trust Requirements: Can Semiotics Help Fill The Trust Gap? Int. J. Intell. Inf. Technol. 5(2): 1-16 (2009) - [c14]Hans van Ditmarsch, Tim French:
Awareness and Forgetting of Facts and Agents. Web Intelligence/IAT Workshops 2009: 478-483 - [c13]John Christopher McCabe-Dansted, Tim French, Mark Reynolds, Sophie Pinchinat:
On the Expressivity of RoCTL*. TIME 2009: 37-44 - [c12]Szabolcs Mikulás, Mark Reynolds, Tim French:
Axiomatizations for Temporal Epistemic Logic with Perfect Recall over Linear Time. TIME 2009: 81-87 - [i1]Hans van Ditmarsch, Tim French:
Awareness and forgetting of facts and agents. Information processing, rational belief change and social interaction 2009 - 2008
- [c11]Tim French, Hans van Ditmarsch:
Undecidability for arbitrary public announcement logic. Advances in Modal Logic 2008: 23-42 - [c10]Hans van Ditmarsch, Tim French:
Simulation and Information: Quantifying over Epistemic Events. KRAMAS 2008: 51-65 - 2007
- [c9]Tim French:
Idempotent Transductions for Modal Logics. FroCoS 2007: 178-192 - [c8]Tim French, John Christopher McCabe-Dansted, Mark Reynolds:
A Temporal Logic of Robustness. FroCoS 2007: 193-205 - 2006
- [j1]Giovanna D'Agostino, Giacomo Lenzi, Tim French:
µ-programs, uniform interpolation and bisimulation quantifiers for modal logics. J. Appl. Non Class. Logics 16(3-4): 297-310 (2006) - [c7]Tim French:
Bisimulation Quantified Modal Logics: Decidability. Advances in Modal Logic 2006: 147-166 - 2005
- [c6]Tim French:
Bisimulation Quantified Logics: Undecidability. FSTTCS 2005: 396-407 - 2004
- [c5]Tim French, Ron van der Meyden, Mark Reynolds:
Axioms for Logics of Knowledge and Past Time: Synchrony and Unique Initial States. Advances in Modal Logic 2004: 53-72 - 2003
- [c4]Tim French:
Decidability of Propositionally Quantified Logics of Knowledge. Australian Conference on Artificial Intelligence 2003: 352-363 - [c3]Tim French:
Quantified Propositional Temporal Logic with Repeating States. TIME 2003: 155-165 - 2002
- [c2]Tim French, Mark Reynolds:
A Sound and Complete Proof System for QPTL. Advances in Modal Logic 2002: 127-148 - 2001
- [c1]Tim French:
Decidability of Quantifed Propositional Branching Time Logics. Australian Joint Conference on Artificial Intelligence 2001: 165-176
Coauthor Index
manage site settings
To protect your privacy, all features that rely on external API calls from your browser are turned off by default. You need to opt-in for them to become active. All settings here will be stored as cookies with your web browser. For more information see our F.A.Q.
Unpaywalled article links
Add open access links from 
to the list of external document links (if available).
Privacy notice: By enabling the option above, your browser will contact the API of unpaywall.org to load hyperlinks to open access articles. Although we do not have any reason to believe that your call will be tracked, we do not have any control over how the remote server uses your data. So please proceed with care and consider checking the Unpaywall privacy policy.
Archived links via Wayback Machine
For web page which are no longer available, try to retrieve content from the 
of the Internet Archive (if available).
Privacy notice: By enabling the option above, your browser will contact the API of archive.org to check for archived content of web pages that are no longer available. Although we do not have any reason to believe that your call will be tracked, we do not have any control over how the remote server uses your data. So please proceed with care and consider checking the Internet Archive privacy policy.
Reference lists
Add a list of references from 
, 
, and 
to record detail pages.
load references from crossref.org and opencitations.net
Privacy notice: By enabling the option above, your browser will contact the APIs of crossref.org, opencitations.net, and semanticscholar.org to load article reference information. Although we do not have any reason to believe that your call will be tracked, we do not have any control over how the remote server uses your data. So please proceed with care and consider checking the Crossref privacy policy and the OpenCitations privacy policy, as well as the AI2 Privacy Policy covering Semantic Scholar.
Citation data
Add a list of citing articles from and to record detail pages.
load citations from opencitations.net
Privacy notice: By enabling the option above, your browser will contact the API of opencitations.net and semanticscholar.org to load citation information. Although we do not have any reason to believe that your call will be tracked, we do not have any control over how the remote server uses your data. So please proceed with care and consider checking the OpenCitations privacy policy as well as the AI2 Privacy Policy covering Semantic Scholar.
OpenAlex data
Load additional information about publications from 
.
Privacy notice: By enabling the option above, your browser will contact the API of openalex.org to load additional information. Although we do not have any reason to believe that your call will be tracked, we do not have any control over how the remote server uses your data. So please proceed with care and consider checking the information given by OpenAlex.
last updated on 2025-03-04 21:21 CET by the dblp team
all metadata released as open data under CC0 1.0 license
see also: Terms of Use | Privacy Policy | Imprint
dblp was originally created in 1993 at:
since 2018, dblp has been operated and maintained by:
the dblp computer science bibliography is funded and supported by:
