BibSLEIGH corpus
BibSLEIGH tags
BibSLEIGH bundles
BibSLEIGH people
Open Knowledge
XHTML 1.0 W3C Rec
CSS 2.1 W3C CanRec
email twitter
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 DBLP: Slaney:John_K=

Facilitated 1 volumes:

CADE 1996Ed

Contributed to:

ICLP 20052005
IJCAR 20012001
TOOLS Pacific 19991999
CADE 19971997
CADE 19941994
CADE 19921992
CADE 19901990

Wrote 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.
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.

Bibliography of Software Language Engineering in Generated Hypertext (BibSLEIGH) is created and maintained by Dr. Vadim Zaytsev.
Hosted as a part of SLEBOK on GitHub.