Obserwuj
Tim French
Tim French
The University of Western Australia
Zweryfikowany adres z uwa.edu.au
Tytuł
Cytowane przez
Cytowane przez
Rok
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
1142012
Undecidability for arbitrary public announcement logic
T French, H Van Ditmarsch
Advances in modal logic, 23-42, 2008
862008
Bisimulation quantifiers for modal logics
TN French
University of Western Australia, 2006
682006
Simulation and information: Quantifying over epistemic events
H van Ditmarsch, T French
International Workshop on Knowledge Representation for Agents and Multi …, 2008
532008
On the succinctness of some modal logics
T French, W van Der Hoek, P Iliev, B Kooi
Artificial Intelligence 197, 56-85, 2013
502013
Decidability of quantifed propositional branching time logics
T French
AI 2001: Advances in Artificial Intelligence: 14th Australian Joint …, 2001
482001
Refinement modal logic
L Bozzelli, H van Ditmarsch, T French, J Hales, S Pinchinat
Information and Computation 239, 303-339, 2014
452014
Becoming aware of propositional variables
H Van Ditmarsch, T French
Logic and Its Applications: 4th Indian Conference, ICLA 2011, Delhi, India …, 2011
392011
A sound and complete proof system for QPTL
T French, M Reynolds
391998
Awareness and forgetting of facts and agents
H Van Ditmarsch, T French
2009 IEEE/WIC/ACM International Joint Conference on Web Intelligence and …, 2009
352009
Quantified propositional temporal logic with repeating states
T French
10th International Symposium on Temporal Representation and Reasoning, 2003 …, 2003
342003
Future Event Logic-Axioms and Complexity.
H van Ditmarsch, T French, S Pinchinat
Advances in Modal Logic 8 (8), 77-99, 2010
312010
The undecidability of quantified announcements
T Ågotnes, H van Ditmarsch, T French
Studia Logica 104, 597-640, 2016
302016
Succinctness of epistemic languages
T French, W Van Der Hoek, P Iliev, B Kooi
Twenty-Second International Joint Conference on Artificial Intelligence, 2011
302011
A temporal logic of robustness
T French, JC Mc Cabe-Dansted, M Reynolds
Frontiers of Combining Systems: 6th International Symposium, FroCoS 2007 …, 2007
282007
Action models for knowledge and awareness.
H van Ditmarsch, T French, FR Velázquez-Quesada
AAMAS, 1091-1098, 2012
272012
Refinement Quantified Logics of Knowledge and Belief for Multiple Agentsc.
J Hales, T French, R Davies
Advances in Modal Logic 9, 317-338, 2012
272012
Implicit, explicit and speculative knowledge
H van Ditmarsch, T French, FR Velázquez-Quesada, YN Wáng
Artificial Intelligence 256, 35-67, 2018
252018
Knowledge, awareness, and bisimulation
H van Ditmarsch, T French, FR Velázquez-Quesada, YN Wáng
arXiv preprint arXiv:1310.6410, 2013
232013
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
222004
Nie można teraz wykonać tej operacji. Spróbuj ponownie później.
Prace 1–20