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

    6009 Perth

    Australia

  • 341 Citations
  • 11 h-Index
20012023
If you made any changes in Pure these will be visible here soon.

Personal profile

Keywords

  • Algorithms
  • Automata theory
  • Automated reasoning
  • Formal methods in software
  • Logical foundations of computer science
  • Modal/temporal logic
  • Verification of systems

Fingerprint Dive into the research topics where Tim French is active. These topic labels come from the works of this person. Together they form a unique fingerprint.

  • 1 Similar Profiles
Logic Mathematics
Computability and decidability Engineering & Materials Science
Undecidability Mathematics
Timed Automata Mathematics
Trucks Engineering & Materials Science
Multi agent systems Engineering & Materials Science
Modal Logic Mathematics
Epistemic Logic Mathematics

Network Recent external collaboration on country level. Dive into details by clicking on the dots.

Research Output 2001 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

Epistemic Logic
Dynamic Logic
Proposition
Probability distributions
Probability Distribution
2 Citations (Scopus)

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

Probabilistic Reasoning
Calculi
Possible Worlds
Sound
Multi-agent Systems

Dynamic aleatoric reasoning in games of bluffing and chance

French, T., Gozzard, A. & Reynolds, M., 17 May 2019, p. 1964-1966. 3 p.

Research output: Contribution to conferenceAbstract

Uncertainty

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

Multi agent systems

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

Microgrid
Graph Clustering
Evolutionary algorithms
Evolutionary Algorithms
Electricity

Projects 2008 2023