Lucas Dixon
TitleCited byYear
Ex machina: Personal attacks seen at scale
E Wulczyn, N Thain, L Dixon
Proceedings of the 26th International Conference on World Wide Web, 1391-1399, 2017
1502017
IsaPlanner: A prototype proof planner in Isabelle
L Dixon, J Fleuriot
International Conference on Automated Deduction, 279-283, 2003
972003
Conjecture synthesis for inductive theories
M Johansson, L Dixon, A Bundy
Journal of Automated Reasoning 47 (3), 251-289, 2011
762011
Higher Order Rippling in IsaPlanner
L Dixon, J Fleuriot
International Conference on Theorem Proving in Higher Order Logics, 83-98, 2004
442004
Measuring and mitigating unintended bias in text classification
L Dixon, J Li, J Sorensen, N Thain, L Vasserman
Proceedings of the 2018 AAAI/ACM Conference on AI, Ethics, and Society, 67-73, 2018
432018
Open-graphs and monoidal theories
L Dixon, A Kissinger
Mathematical Structures in Computer Science 23 (2), 308-359, 2013
392013
Scheme-based theorem discovery and concept invention
O Montano-Rivas, R McCasland, L Dixon, A Bundy
Expert systems with applications 39 (2), 1637-1646, 2012
322012
Graphical reasoning in compact closed categories for quantum computation
L Dixon, R Duncan
Annals of Mathematics and Artificial Intelligence 56 (1), 23, 2009
322009
Constructing induction rules for deductive synthesis proofs
A Bundy, L Dixon, J Gow, J Fleuriot
Electronic Notes in Theoretical Computer Science 153 (1), 3-21, 2006
312006
A proof planning framework for Isabelle
L Dixon
University of Edinburgh. College of Science and Engineering. School of …, 2006
302006
Towards formal proof script refactoring
I Whiteside, D Aspinall, L Dixon, G Grov
International Conference on Intelligent Computer Mathematics, 260-275, 2011
292011
Quantomatic
A Kissinger, A Merry, L Dixon, R Duncan, M Soloviev, B Frot, D Quick, ...
Software available on-line at http://sites. google. com/site/quantomatic, 2011
262011
Case-analysis for rippling and inductive proof
M Johansson, L Dixon, A Bundy
International Conference on Interactive Theorem Proving, 291-306, 2010
242010
Conversations gone awry: Detecting early signs of conversational failure
J Zhang, JP Chang, C Danescu-Niculescu-Mizil, L Dixon, Y Hua, N Thain, ...
arXiv preprint arXiv:1805.05345, 2018
222018
Plans, actions and dialogues using linear logic
L Dixon, A Smaill, T Tsang
Journal of Logic, Language and Information 18 (2), 251-289, 2009
192009
Scheme-based synthesis of inductive theories
O Montano-Rivas, R McCasland, L Dixon, A Bundy
Mexican International Conference on Artificial Intelligence, 348-361, 2010
162010
Open graphs and computational reasoning
L Dixon, R Duncan, A Kissinger
arXiv preprint arXiv:1007.3794, 2010
162010
A proof-centric approach to mathematical assistants
L Dixon, J Fleuriot
Journal of Applied Logic 4 (4), 505-532, 2006
142006
MKM
J Carette, L Dixon, CS Coen, SM Watt
Calculemus Proceedings, 0
13
Network Traffic Obfuscation and Automated Internet Censorship
TS Lucas Dixon, Thomas Ristenpart
IEEE Security & Privacy, 2016
12*2016
The system can't perform the operation now. Try again later.
Articles 1–20