Tim French - RankMe

124 papers A* 4A 8B 17C 11Misc 4Journal 43Unranked 37

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