John Christopher McCabe-Dansted
发表
John Christopher McCabe-Dansted,
J. McCabe-Dansted,
2011,
CATS.
Sophie Pinchinat,
Mark Reynolds,
Tim French,
2015,
J. Appl. Non Class. Logics.
Tim French,
Mark Reynolds,
John Christopher McCabe-Dansted,
2010,
DEON.
Tim French,
Mark Reynolds,
John Christopher McCabe-Dansted,
2013,
LPAR.
Clare Dixon,
Mark Reynolds,
Tim French,
2019,
Information and Computation.
Clare Dixon,
John Christopher McCabe-Dansted,
2010,
2010 17th International Symposium on Temporal Representation and Reasoning.
Sophie Pinchinat,
Mark Reynolds,
Tim French,
2013,
ArXiv.
Mark Reynolds,
Tim French,
John Christopher McCabe-Dansted,
2016,
J. Log. Comput..
Mark Reynolds,
John Christopher McCabe-Dansted,
M. Reynolds,
2017,
J. Appl. Log..
Geoffrey Pritchard,
Arkadii M. Slinko,
John Christopher McCabe-Dansted,
2008,
Soc. Choice Welf..
Tim French,
Mark Reynolds,
John Christopher McCabe-Dansted,
2007,
FroCoS.
Mark Reynolds,
John Christopher McCabe-Dansted,
2015,
TABLEAUX.
Tim French,
Mark Reynolds,
John Christopher McCabe-Dansted,
2016,
2016 23rd International Symposium on Temporal Representation and Reasoning (TIME).
Tim French,
Mark Reynolds,
John Christopher McCabe-Dansted,
2015,
Theor. Comput. Sci..
Mark Reynolds,
John Christopher McCabe-Dansted,
2017,
Annals of Mathematics and Artificial Intelligence.
Mark Reynolds,
John Christopher McCabe-Dansted,
2014,
2014 21st International Symposium on Temporal Representation and Reasoning.
Tim French,
Mark Reynolds,
John Christopher McCabe-Dansted,
2012,
Advances in Modal Logic.
John Christopher McCabe-Dansted,
J. McCabe-Dansted,
2010,
ArXiv.
Mark Reynolds,
John Christopher McCabe-Dansted,
M. Reynolds,
2014,
2014 21st International Symposium on Temporal Representation and Reasoning.
Sophie Pinchinat,
Tim French,
Mark Reynolds,
2009,
2009 16th International Symposium on Temporal Representation and Reasoning.
John Christopher McCabe-Dansted,
J. McCabe-Dansted,
2012,
2012 19th International Symposium on Temporal Representation and Reasoning.
John Christopher McCabe-Dansted,
2011,
Electron. Notes Theor. Comput. Sci..
John Christopher McCabe-Dansted,
2008,
JELIA.
John Christopher McCabe-Dansted,
2006
.
Tim French,
John Christopher McCabe-Dansted,
Mark Reynolds,
2013,
2013 20th International Symposium on Temporal Representation and Reasoning.
Arkadii M. Slinko,
John Christopher McCabe-Dansted,
Dodge Cahan,
2011,
ArXiv.
Tim French,
Mark Reynolds,
John Christopher McCabe-Dansted,
2013,
TABLEAUX.
Tim French,
Mark Reynolds,
John Christopher McCabe-Dansted,
2013,
ICLA.
Mark Reynolds,
John Christopher McCabe-Dansted,
2017,
GandALF.