• The University of Western Australia (M002), 35 Stirling Highway,

    6009 Perth

    Australia

  • 396 Citations
  • 11 h-Index
20012019

Research output per year

If you made any changes in Pure these will be visible here soon.

Research Output

Filter
Conference paper
2019

Aleatoric dynamic epistemic logic for learning agents

French, T., Gozzard, A. & Reynolds, M., 1 Jan 2019, PRICAI 2019: Trends in Artificial Intelligence - 16th Pacific Rim International Conference on Artificial Intelligence, Proceedings. Nayak, A. C. & Sharma, A. (eds.). Springer-Verlag Berlin, p. 433-445 13 p. (Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics); vol. 11670 LNAI).

Research output: Chapter in Book/Conference paperConference paper

A modal aleatoric calculus for probabilistic reasoning

Gozzard, A., French, T. & Reynolds, M., 2019, Logic and its applications : 8th Indian Conference, ICLA 2019, Delhi, India, March 1-5, 2019, Proceedings. Aquil Khan, M. & Manuel, A. (eds.). Berlin: Springer, p. 52-63

Research output: Chapter in Book/Conference paperConference paper

2 Citations (Scopus)

Groups versus coalitions: On the relative expressivity of gal and cal

French, T., Galimullin, R., Van Ditmarsch, H. & Alechina, N., 17 May 2019, 18th International Conference on Autonomous Agents and Multiagent Systems, AAMAS 2019. Canada: International Foundation for Autonomous Agents and Multiagent Systems (IFAAMAS), p. 953-961 9 p. (Proceedings of the International Joint Conference on Autonomous Agents and Multiagent Systems, AAMAS; vol. 2).

Research output: Chapter in Book/Conference paperConference paper

1 Citation (Scopus)

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

Rosenberg, M., Fletcher, J., Reynolds, M., French, T. & While, L., 1 Jun 2019, 2019 IEEE Congress on Evolutionary Computation, CEC 2019 - Proceedings. IEEE, Institute of Electrical and Electronics Engineers, p. 2498-2505 8 p. 8790232. (2019 IEEE Congress on Evolutionary Computation, CEC 2019 - Proceedings).

Research output: Chapter in Book/Conference paperConference paper

Requirements for adaptive user interfaces for industrial maintenance procedures: A discussion of context, requirements and research opportunities

Woods, C., Hodkiewicz, M. & French, T., Dec 2019, Proceedings of the 31st Australian Conference on Human-Computer-Interaction, OzCHI 2019. USA: Association for Computing Machinery (ACM), p. 322-326 5 p. (ACM International Conference Proceeding Series).

Research output: Chapter in Book/Conference paperConference paper

2018

A Cooperative Coevolutionary Algorithm for Real-time Underground Mine Scheduling

Cox, W. M. E., French, T., Reynolds, M. & While, R., 2018, Artificial Intelligence, AI 2018, Wellington, New Zealand, December 2018. Springer, p. 410-418

Research output: Chapter in Book/Conference paperConference paper

A low-cost hardware-in-the-loop agent-based simulation testbed for autonomous vehicles

Barker, R., Hurst, A., Shrubsall, R., Hassan, G. M. & French, T., 30 Aug 2018, AIM 2018 - IEEE/ASME International Conference on Advanced Intelligent Mechatronics. USA: IEEE, Institute of Electrical and Electronics Engineers, Vol. 2018-July. p. 1015-1020 6 p. 8452376

Research output: Chapter in Book/Conference paperConference paper

1 Citation (Scopus)

Applying cognitive computing to maintainer-collected data

Smoker, T. M., French, T., Liu, W. & Hodkiewicz, M. R., 29 Jan 2018, 2017 2nd International Conference on System Reliability and Safety, ICSRS 2017. USA: IEEE, Institute of Electrical and Electronics Engineers, Vol. 2018-January. p. 543-551 9 p.

Research output: Chapter in Book/Conference paperConference paper

3 Citations (Scopus)

Population based methods for optimising infinite behaviours of timed automata

Tolonen, L., French, T. & Reynolds, M., 1 Oct 2018, 25th International Symposium on Temporal Representation and Reasoning, TIME 2018. Norvag, K., Penczek, W. & Alechina, N. (eds.). Netherlands: Schloss Dagstuhl- Leibniz-Zentrum fur Informatik GmbH, Dagstuhl Publishing, Vol. 120. p. 1-22

Research output: Chapter in Book/Conference paperConference paper

Open Access
File
131 Downloads (Pure)

Teaching Safety in Design in Large Classes using VR

Male, S., Kenworthy, P., Hassan, G., Guzzomi, A., Van Der Veen, T. & French, T., 9 Dec 2018, Proceedings of 29th Australasian Association for Engineering Education Conference: The future Engineer: Accounting for Diversity. Hamilton, New Zealand: University of Waikato, 101

Research output: Chapter in Book/Conference paperConference paper

Open Access
File
100 Downloads (Pure)
2017

A Genetic Algorithm for Truck Dispatching in Mining

Cox, W., French, T. N., Reynolds, M. & While, R. L., 2017, GCAI 2017 - 3rd Global Conference on Artificial Intelligence. Benzmüller, C., Lisetti, C. & Theobald, M. (eds.). USA: EasyChair, p. 93–107 (EPiC Series in Computing; vol. 50).

Research output: Chapter in Book/Conference paperConference paper

Open Access

Using Market-based Optimisation to Solve the Dynamic Vehicle Routing Problem

Bright, C., While, L., French, T. & Reynolds, M., 27 Nov 2017, Symposium Series on Computational Intelligence. New Jersey: IEEE, Institute of Electrical and Electronics Engineers, p. 1561-1568 8 p.

Research output: Chapter in Book/Conference paperConference paper

2 Citations (Scopus)
2016

Modelling Systems over General Linear Time

McCabe-Dansted, J., Reynolds, M. & French, T., 5 Dec 2016, Proceedings - 23rd International Symposium on Temporal Representation and Reasoning. Dyreson, C., Hansen, M. R. & Hunsberger, L. (eds.). IEEE, Institute of Electrical and Electronics Engineers, Vol. 2016-December. p. 130-139 10 p. 7774655

Research output: Chapter in Book/Conference paperConference paper

2015

Hourglass Systems

Osada, Y., Reynolds, M. & French, T., 2015, Proceedings of the 385h Australasian Computer Science Conference (ACSC 2015). CRPIT, ACT, Vol. 159. p. 119-123

Research output: Chapter in Book/Conference paperConference paper

2014

A composable language for action models

French, T., Hales, J. & Tay, E., 2014, Advances in Modal Logic. London: College Publications, Vol. 10. p. 197-216

Research output: Chapter in Book/Conference paperConference paper

6 Citations (Scopus)

Finding best and worst case execution times of systems using difference-bound matrices

Al-Bataineh, O., Reynolds, M. & French, T., 2014, Formal Modeling and Analysis of Timed Systems. Netherlands: Springer, Vol. 8711 LNCS. p. 38-52

Research output: Chapter in Book/Conference paperConference paper

3 Citations (Scopus)

Hourglass Automata

Osada, Y., French, T., Reynolds, M. & Smallbone, H., 2014, Proceedings Fifth International Symposium on Games, Automata, Logics and Formal Verification. USA: Cornell University Library, Vol. EPTCS 161. p. 175-188

Research output: Chapter in Book/Conference paperConference paper

1 Citation (Scopus)

The undecidability of group announcements

Ågotnes, T., Van Ditmarsch, H. P. & French, T., 2014, Proceedings of the 13th International Conference on Autonomous Agents and Multiagent Systems (AAMAS 2014). International Foundation for Autonomous Agents and Multiagent Systems , Vol. 2. p. 893-900

Research output: Chapter in Book/Conference paperConference paper

5 Citations (Scopus)
2013

An algebraic system for linear orders

French, T., Mccabe-Dansted, J. & Reynolds, M., 2013, TIME'13 20th International Symposium on Temporal Representation and Reasoning. USA: IEEE, Institute of Electrical and Electronics Engineers, Vol. 1. p. 81-88

Research output: Chapter in Book/Conference paperConference paper

An Efficient Tableau for Linear Time Temporal Logic

Bian, J., French, T. & Reynolds, M., 2013, Lecture Notes in Artificial Intelligence. Cranefield, S. & Nayak, A. (eds.). Germany: Springer, Vol. 8272 2013. p. 289-300

Research output: Chapter in Book/Conference paperConference paper

2 Citations (Scopus)

Complexity of model checking general linear time

French, T., Mccabe-Dansted, J. & Reynolds, M., 2013, TIME'13 20th International Symposium on Temporal Representation and Reasoning. USA: IEEE, Institute of Electrical and Electronics Engineers, Vol. 1. p. 107-114

Research output: Chapter in Book/Conference paperConference paper

3 Citations (Scopus)
10 Downloads (Pure)

Knowledge, Awareness, and Bisimulation

Ditmarsch, H., French, T., Velazquez-Quesada, F. R. & Wang, Y. N., 2013, TARK 2013 - Proceedings of the 14th Conference on Theoretical Aspects of Rationality and Knowledge. Chennai, India: Institute of Mathematical Sciences , Vol. 1. p. 61-70

Research output: Chapter in Book/Conference paperConference paper

8 Citations (Scopus)

Model checking general linear temporal logic

French, T., Mccabe-Dansted, J. & Reynolds, M., 2013, Lecture Notes in Artificial Intelligence. Galmiche, D. & Larchey-Wendling, D. (eds.). Berlin: Springer, Vol. 8123 LNAI. p. 119-133

Research output: Chapter in Book/Conference paperConference paper

2 Citations (Scopus)

Online learning classifiers in dynamic environments with incomplete feedback

Behdad, M. & French, T., 2013, 2013 IEEE Congress on Evolutionary Computation. USA: IEEE, Institute of Electrical and Electronics Engineers, p. 1786 - 1793

Research output: Chapter in Book/Conference paperConference paper

5 Citations (Scopus)

Verifying temporal properties in real models

French, T., Mccabe-Dansted, J. & Reynolds, M., 2013, Logic for Programming, Artificial Intelligence, and Reasoning: 19th International Conference, LPAR-19 Stellenbosch, SouthAfrica, December 14-19, 2013 Proceedings. McMillan, K., Middeldorp, A. & Voronkov, A. (eds.). Germany: Springer, p. 309-232 (Lecture Notes in Computer Science; no. 8312).

Research output: Chapter in Book/Conference paperConference paper

2 Citations (Scopus)
2012

Action models for knowledge and awareness

Ditmarsch, H., French, T. & Velazquez-Quesada, F., 2012, Proceedings of the 11th International Conference on Autonomous Agents and Multiagent Systems. USA: Association for Computing Machinery (ACM), Vol. 2. p. 1091-1098

Research output: Chapter in Book/Conference paperConference paper

5 Citations (Scopus)

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

Garg, D., Datta, A. & French, T., 2012, Software Engineering Conference (APSEC), 2012 19th Asia-Pacific. USA: IEEE, Institute of Electrical and Electronics Engineers, Vol. 2. p. 150-153

Research output: Chapter in Book/Conference paperConference paper

7 Citations (Scopus)

Formal modeling and analysis of a distributed transaction protocol in UPPAAL

Al-Bataineh, O., French, T. & Woodings, T., 2012, 19th International Symposium on Temporal Representation and Reasoning, TIME 2012. United Kingdom: IEEE, Institute of Electrical and Electronics Engineers, Vol. 1. p. 65-72

Research output: Chapter in Book/Conference paperConference paper

3 Citations (Scopus)

Refinement Quantified Logics of Knowledge and belief for Multiple Agents

French, T., Hales, J. C. & Davies, R., 2012, Advances in Modal Logic. UK: College Publications, Vol. 9. p. 317-338

Research output: Chapter in Book/Conference paperConference paper

Synthesis for Temporal Logic over the Reals

French, T., Mccabe-Dansted, J. & Reynolds, M., 2012, Advances in Modal Logic. UK: College Publications, Vol. 9. p. 217-238

Research output: Chapter in Book/Conference paperConference paper

2011

An Investigation of Recursive Auto-associative Memory in Sentiment Detection

Reynolds, M., Liu, W., French, T. & Danesh, S., 2011, Lecture Notes in Artificial Inteligence. Germany: Springer, Vol. 7120. p. 162-174

Research output: Chapter in Book/Conference paperConference paper

3 Citations (Scopus)

Becoming aware of propositional variables

French, T. & Van Ditmarsch, H., 2011, Proceeding of the 4th Indian Conference on Logic and its Applications. Dehli, India: Springer, Vol. 6521. p. 204-218

Research output: Chapter in Book/Conference paperConference paper

17 Citations (Scopus)

On the interactions of awareness and certainty

Van Ditmarsch, H. & French, T., 2011, AI 2011: Advances in Artificial Intelligence. India: Springer, Vol. 7106. p. 727-738

Research output: Chapter in Book/Conference paperConference paper

3 Citations (Scopus)

PCA for Improving the Performance of XCSR in Classification of High Dimensional Problems

Behdad, M., French, T., Barone, L. & Bennamoun, M., 2011, Proceedings of the 13th Annual Conference Companion on Genetic and Evolutionary Computation. New York, NY, USA: Association for Computing Machinery (ACM), Vol. -. p. 361-368

Research output: Chapter in Book/Conference paperConference paper

3 Citations (Scopus)

Refinement Quantified Logics of Knowledge

Hales, J., French, T. & Davies, R., 2011, Proceedings of the 7th Workshop on Methods for Modalities (M4M’2011). Spain: Elsevier, Vol. 278. p. 85-98

Research output: Chapter in Book/Conference paperConference paper

5 Citations (Scopus)

Succinctness of Epistemic Languages

French, T., Van Der Hoek, W., Iliev, P. & Kooi, B., 2011, Proceedings of the 22nd International Joint Conference on Artificial Intelligence. USA: Association for the Advancement of Artificial Intelligence (AAAI), Vol. 1. p. 881-886

Research output: Chapter in Book/Conference paperConference paper

15 Citations (Scopus)
2010

A Comparative Study of NEAT and XCS in Robocode

Nidorf, D., Barone, L. & French, T., 2010, Proceedings of the 2010 IEEE Congress on Computation. Fogel, G. (ed.). Barcelona Spain ed. New Jersey USA: IEEE, Institute of Electrical and Electronics Engineers, Vol. 1. p. 1-8

Research output: Chapter in Book/Conference paperConference paper

3 Citations (Scopus)

An investigation of Real-Valued Accuracy-based Learning Classifier Systems for Electronic Fraud Detection

Behdad, M., Barone, L., French, T. & Bennamoun, M., 2010, Genetic and Evolutionary Computation Conference 2010 Proceedings. Branke, J. (ed.). Portland USA ed. New York USA: Association for Computing Machinery (ACM), Vol. 1. p. 1893-1900

Research output: Chapter in Book/Conference paperConference paper

3 Citations (Scopus)

Axioms for obligation and robustness with temporal logic

French, T., Mccabe-Dansted, J. & Reynolds, M., 2010, Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics). USA: Springer, Vol. 6181. p. 66 - 83

Research output: Chapter in Book/Conference paperConference paper

1 Citation (Scopus)

Considering Patterns in Class Interactions Prediction

Kama, M. N., French, T. & Reynolds, M., 2010, Advances in Software Engineering International Conference, ASEA 2010 Proceedings. Kim, T., Kim, H., Khan, M. K., Kiumi, A., Fang, W. & Slezak, D. (eds.). Korea ed. Germany: Springer, Vol. 1. p. 11-22

Research output: Chapter in Book/Conference paperConference paper

2 Citations (Scopus)

On the Problems of Using Learning Classifier Systems for Fraud Detection

Behdad, M., French, T., Barone, L. & Bennamoun, M., 2010, Genetic and Evolutionary Computation Conference 2010 Proceedings. Branke, J. (ed.). Portland USA ed. New York USA: Association for Computing Machinery (ACM), Vol. 1. p. 1067-1068

Research output: Chapter in Book/Conference paperConference paper

Predicting Class Interactions from Requirement Interactions: Evaluating a New Filtration Approach

Kama, M. N., French, T. & Reynolds, M., 2010, Proceedings of the IASTED International Conference on Software Engineering (SE2010). Fox, R. & Golubski, W. (eds.). Innsbruck Austria ed. United Kingdom: ACTA Press, Vol. 1. p. 109-116

Research output: Chapter in Book/Conference paperConference paper

3 Citations (Scopus)

SoMeT 2010 The 9th International Conference on Software Methodologies, Tools and Techniques

Kama, M. N., French, T. & Reynolds, M., 2010, New Trends in Software Methodologies, Tools and Techniques - Proceedings of the 9th SoMeT_10. Fujita, H. (ed.). Japan ed. Netherlands: IOS Press, Vol. 217. p. 96-111

Research output: Chapter in Book/Conference paperConference paper

1 Citation (Scopus)
2009

Awareness and forgetting of facts and agents

Ditmarsch, H. & French, T., 2009, Proceedings of the 2009 IEEE/WIC/ACM International Conference on Web Intelligence and Intelligent Agent Technology - Wor. Boldi, P., Vizzari, G., Pasi, G. & Baeza-Yates, R. (eds.). Milano, Italy ed. Italy: IEEE, Institute of Electrical and Electronics Engineers, Vol. 1. p. 478-483

Research output: Chapter in Book/Conference paperConference paper

13 Citations (Scopus)

Axiomatizations for Temporal Epistemic Logic with Perfect Recall over Linear Time

Mikulas, S., Reynolds, M. & French, T., 2009, Proceedings of the 16th International Symposium on Temporal Representation and Reasoning. Lutz, C. & Raskin, J-F. (eds.). Bressanone-Brixen, Italy ed. Los Alamitos, California: IEEE, Institute of Electrical and Electronics Engineers, Vol. 1. p. 81-87

Research output: Chapter in Book/Conference paperConference paper

On the Expressivity of RoCTL

Mccabe-Dansted, J. C., French, T. N., Reynolds, M. & Pinchinat, S., 2009, Proceedings of the 16th International Symposium on Temporal Representation and Reasoning. Lutz, C. & Raskin, J-F. (eds.). Bressanone-Brixen, Italy ed. Los Alamitos, California: IEEE, Institute of Electrical and Electronics Engineers, Vol. 1. p. 37-46

Research output: Chapter in Book/Conference paperConference paper

5 Citations (Scopus)

PREDICTING CLASS INTERACTIONS USING REQUIREMENT INTERACTIONS

Kama, M. N., French, T. & Reynolds, M., 2009, Proceedings of the 13th IASTED International Conference on Software Engineering and Applications. Hamza, M. H. (ed.). Cambridge, Massachusetts, USA ed. USA: ACTA Press, Vol. 1. p. 30-37

Research output: Chapter in Book/Conference paperConference paper

7 Citations (Scopus)

Simulation and Information: Quantifying over Epistemic Events

Van Ditmarsch, H. & French, T., 2009, Knowledge Representation for Agents and Multi-Agent Systems. Wahlster, W. (ed.). Sydney, NSW ed. Germany: Springer, Vol. 5605. p. 51-65

Research output: Chapter in Book/Conference paperConference paper

24 Citations (Scopus)
2003

A sound and complete proof system for QPTL

Reynolds, M. & French, T., 2003, Advances in Modal Logic. p. 127-48

Research output: Chapter in Book/Conference paperConference paper

Quantified Propositional Temporal Logic with Repeating States

French, T., 2003, Proceedings od Time-Ictl 2003. Reynolds, M. & Saltar, A. (eds.). Cairns QLD ed. Piscataway: IEEE, Institute of Electrical and Electronics Engineers, Vol. N/A. p. 155-165

Research output: Chapter in Book/Conference paperConference paper

18 Citations (Scopus)