Nature-inspired techniques in the context of fraud detection M Behdad, L Barone, M Bennamoun, T French IEEE Transactions on Systems, Man, and Cybernetics, Part C (Applications and …, 2012 | 104 | 2012 |
Undecidability for arbitrary public announcement logic T French, H Van Ditmarsch Advances in modal logic, 23-42, 2008 | 85 | 2008 |
Bisimulation quantifiers for modal logics TN French University of Western Australia, 2006 | 68 | 2006 |
Simulation and information: Quantifying over epistemic events H van Ditmarsch, T French International Workshop on Knowledge Representation for Agents and Multi …, 2008 | 53 | 2008 |
Decidability of quantifed propositional branching time logics T French AI 2001: Advances in Artificial Intelligence: 14th Australian Joint …, 2001 | 48 | 2001 |
On the succinctness of some modal logics T French, W van Der Hoek, P Iliev, B Kooi Artificial Intelligence 197, 56-85, 2013 | 47 | 2013 |
Refinement modal logic L Bozzelli, H van Ditmarsch, T French, J Hales, S Pinchinat Information and Computation 239, 303-339, 2014 | 44 | 2014 |
Becoming aware of propositional variables H Van Ditmarsch, T French Logic and Its Applications: 4th Indian Conference, ICLA 2011, Delhi, India …, 2011 | 39 | 2011 |
A sound and complete proof system for QPTL T French, M Reynolds | 39 | 1998 |
Awareness and forgetting of facts and agents H Van Ditmarsch, T French 2009 IEEE/WIC/ACM International Joint Conference on Web Intelligence and …, 2009 | 35 | 2009 |
Quantified propositional temporal logic with repeating states T French 10th International Symposium on Temporal Representation and Reasoning, 2003 …, 2003 | 32 | 2003 |
Future Event Logic-Axioms and Complexity. H van Ditmarsch, T French, S Pinchinat Advances in Modal Logic 8 (8), 77-99, 2010 | 30 | 2010 |
Succinctness of epistemic languages T French, W Van Der Hoek, P Iliev, B Kooi Twenty-Second International Joint Conference on Artificial Intelligence, 2011 | 29 | 2011 |
The undecidability of quantified announcements T Ågotnes, H van Ditmarsch, T French Studia Logica 104, 597-640, 2016 | 28 | 2016 |
A temporal logic of robustness T French, JC Mc Cabe-Dansted, M Reynolds Frontiers of Combining Systems: 6th International Symposium, FroCoS 2007 …, 2007 | 28 | 2007 |
Action models for knowledge and awareness. H van Ditmarsch, T French, FR Velázquez-Quesada AAMAS, 1091-1098, 2012 | 27 | 2012 |
Refinement Quantified Logics of Knowledge and Belief for Multiple Agentsc. J Hales, T French, R Davies Advances in Modal Logic 9, 317-338, 2012 | 26 | 2012 |
Implicit, explicit and speculative knowledge H van Ditmarsch, T French, FR Velázquez-Quesada, YN Wáng Artificial Intelligence 256, 35-67, 2018 | 23 | 2018 |
Knowledge, awareness, and bisimulation H van Ditmarsch, T French, FR Velázquez-Quesada, YN Wáng arXiv preprint arXiv:1310.6410, 2013 | 23 | 2013 |
Axioms for Logics of Knowledge and Past Time: Synchrony and Unique Initial States. T French, R van der Meyden, M Reynolds Advances in modal logic 5, 53-72, 2004 | 22 | 2004 |