Travelled to:1 × France
1 × Italy
1 × Spain
1 × USA
2 × Australia
Collaborated with:∅ E.L.Lusk W.McCune K.Hodgson P.Pritchard H.Wang V.Varadharajan P.J.Stuckey M.J.G.d.l.Banda M.J.Maher K.Marriott Z.Somogyi M.Wallace T.Walsh
Talks about:descript (3) system (3) parallel (2) theorem (2) prover (2) comput (2) scott (2) model (2) logic (2) finit (2)
Person: John K. Slaney
DBLP: Slaney:John_K=
Facilitated 1 volumes:
EdContributed to:
2005
2001
19991997199419921990Wrote 10 papers:
- ICLP-2005-StuckeyBMMSSWW #independence #modelling #performance
- The G12 Project: Mapping Solver Independent Models to Efficient Solutions (PJS, MJGdlB, MJM, KM, JKS, ZS, MW, TW), pp. 9–13.
- IJCAR-2001-HodgsonS
- System Description: SCOTT-5 (KH, JKS), pp. 443–447.
- TOOLS-PACIFIC-1999-WangVS #towards
- Towards Perfect Objects (HW, VV, JKS), pp. 115–126.
- CADE-1997-Slaney #logic #named #proving #theorem proving
- Minlog: A Minimal Logic Theorem Prover (JKS), pp. 268–271.
- CADE-1994-Slaney #automation #finite #reasoning
- The Crisis in Finite Mathematics: Automated Reasoning as Cause and Cure (JKS), pp. 1–13.
- CADE-1994-Slaney94a #finite #named
- FINDER: Finite Domain Enumerator — System Description (JKS), pp. 798–801.
- CADE-1994-SlaneyLM #named #semantics
- SCOTT: Semantically Constrained Otter System Description (JKS, ELL, WM), pp. 764–768.
- CADE-1992-LuskMS #named #parallel #proving #theorem proving
- ROO: A Parallel Theorem Prover (ELL, WM, JKS), pp. 731–734.
- CADE-1990-PritchardS #logic #modelling #tutorial
- Tutorial on Computing Models of Propositional Logics (PP, JKS), p. 685.
- CADE-1990-SlaneyL #automation #deduction
- Parallelizing the Closure Computation in Automated Deduction (JKS, ELL), pp. 28–39.