John McCabe-Dansted
John McCabe-Dansted
Verified email at uwa.edu.au
Title
Cited by
Cited by
Year
Approximability of Dodgson’s rule
JC McCabe-Dansted, G Pritchard, A Slinko
Social Choice and Welfare 31 (2), 311-330, 2008
632008
Exploratory analysis of similarities between social choice rules
JC McCabe-Dansted, A Slinko
Group Decision and Negotiation 15 (1), 77-107, 2006
302006
Exploratory analysis of similarities between social choice rules
JC McCabe-Dansted, A Slinko
Group Decision and Negotiation 15 (1), 77-107, 2006
302006
A temporal logic of robustness
JC McCabe-Dansted, T French, M Reynolds
University of Western Australia, 2011
122011
Approximability and computational feasibility of Dodgson's rule
JC McCabe-Dansted
University of Auckland, 2006
122006
A rooted tableau for BCTL
JC McCabe-Dansted
Electronic Notes in Theoretical Computer Science 278, 145-158, 2011
92011
CTL-like fragments of a temporal logic of robustness
JC McCabe-Dansted, C Dixon
2010 17th International Symposium on Temporal Representation and Reasoning …, 2010
92010
A tableau for RoBCTL
JC McCabe-Dansted
European Workshop on Logics in Artificial Intelligence, 298-310, 2008
92008
On the expressivity of RoCTL
JC McCabe-Dansted, T French, M Reynolds, S Pinchinat
2009 16th International Symposium on Temporal Representation and Reasoning …, 2009
82009
Nonconvergent electoral equilibria under scoring rules: Beyond plurality
D Cahan, A Slinko
Journal of Public Economic Theory 19 (2), 445-460, 2017
62017
Feasibility and Approximability of Dodgson's rule
JC Mccabe-dansted, G Pritchard
Auckland University, 2006
52006
Complexity of model checking over general linear time
T French, J McCabe-Dansted, M Reynolds
2013 20th International Symposium on Temporal Representation and Reasoning …, 2013
42013
Model checking general linear temporal logic
T French, J McCabe-Dansted, M Reynolds
International Conference on Automated Reasoning with Analytic Tableaux and …, 2013
42013
Indiscrete models: Model building and model checking over linear time
T French, J McCabe-Dansted, M Reynolds
Indian Conference on Logic and Its Applications, 50-68, 2013
42013
A Tableau for the Combination of CTL and BCTL
JC McCabe-Dansted
2012 19th International Symposium on Temporal Representation and Reasoning …, 2012
42012
Dodgson's Rule Approximations and Absurdity
JC McCabe-Dansted
arXiv preprint arXiv:1008.1501, 2010
42010
Axioms for obligation and robustness with temporal logic
T French, JC McCabe-Dansted, M Reynolds
International Conference on Deontic Logic in Computer Science, 66-83, 2010
42010
A parallel linear temporal logic tableau
JC McCabe-Dansted, M Reynolds
arXiv preprint arXiv:1709.02101, 2017
32017
Verifying temporal properties in real models
T French, J McCabe-Dansted, M Reynolds
International Conference on Logic for Programming Artificial Intelligence …, 2013
32013
On the succinctness of RoCTL
JC McCabe-Dansted
Proceedings of the Seventeenth Computing: The Australasian Theory Symposium …, 2011
32011
The system can't perform the operation now. Try again later.
Articles 1–20