Concepedia

John Slaney

JS

31

Publications

1.6K

Citations

22

H-Index

1984

Active since

Affiliations

Australian National University(Current)

Data61

Mitsubishi Research Institute (Japan)

Université de Sherbrooke

University of Edinburgh

John Slaney is an author at Australian National University specializing in automated reasoning, engineering, and formal methods.

Top concepts

Automated ReasoningEngineeringFormal MethodsDiscrete MathematicsLanguageComputer ScienceMathematical ProgrammingSemanticsLinguisticsEpistemology

Publications per year

1984–2017

31

Publications

31

Blocks World revisited

John Slaney, Sylvie Thiébaux · Artificial Intelligence · 2001 · 226 citations

Blockchain Consensus Protocol, Engineering, Block Design +5

On the Ternary Relation and Conditionality

Jc Beall, Ross T. Brady, J. Michael Dunn et al. · Journal of Philosophical Logic · 2011 · 120 citations

Relevance Logic, Automated Reasoning, Classical Logic +5

Handbook of Philosophical Logic, Volume II. Extensions of Classical Logic.

John Slaney, Dov M. Gabbay, F Guenther · The Philosophical Quarterly · 1986 · 112 citations

Formal Logic, Non-classical Logic, Comparative Literature +11

Backbones and backdoors in satisfiability

Philip Kilby, John Slaney, Sylvie Thiébaux et al. · National Conference on Artificial Intelligence · 2005 · 107 citations

Backbones in optimization and approximation

John Slaney, Toby Walsh · 2001 · 88 citations

Rows per page

1–5 of 31