William F. Clocksin

Computer Science · Physical Sciences

21h-index3.2kcitations159works0.72yr avg
OpenAlex↗ORCID↗Google Scholar↗

Accepting Students?

No reports yet. Know if this professor is taking students?

Research Topics

Logic, programming, and type systems(29), Logic, Reasoning, and Knowledge(16), Formal Methods in Verification(11), Parallel Computing and Optimization Techniques(9), Computability, Logic, AI Algorithms(9)

Publications159 total

Steps towards Android Intelligence
Cambridge University Press eBooks·2024
A social and computational perspective on spiritual intelligence
2024· 1 cited
Religion and the Android
Zygon®·2024· 1 citedOpen Access
Personhood and Relationality
SpringerBriefs in computer science·2023
Narratives
SpringerBriefs in computer science·2023
The Computational Model
SpringerBriefs in computer science·2023
Significant Concerns
SpringerBriefs in computer science·2023
The Economy
SpringerBriefs in computer science·2023
Conclusion
SpringerBriefs in computer science·2023
Introduction
SpringerBriefs in computer science·2023
Computational Modelling of Robot Personhood and Relationality
SpringerBriefs in computer science·2023· 2 citedOpen Access
Modelling Concerns
SpringerBriefs in computer science·2023
Analysis of Value Systems
SpringerBriefs in computer science·2023Open Access
GUIDELINES FOR COMPUTATIONAL MODELING OF FRIENDSHIP
Zygon®·2023· 1 citedOpen Access
A new method for estimating optical flow
CL Technical Reports·2021· 4 citedOpen Access
Logic programming and the specification of circuits
CL Technical Reports·2021· 2 citedOpen Access
Feature representation for the automatic analysis of fluorescence in-situ hybridization images
IEEE Transactions on Systems Man and Cybernetics·2021· 3 citedOpen Access
Una narrativa arquitectónica para mentes en funcionamiento : desde un enfoque construccionista y social
LA Referencia (Red Federada de Repositorios Institucionales de Publicaciones Científicas)·2012Open Access
Clause and Effect: Prolog Programming for the Working Programmer
2011· 8 cited
Joint Optimization for Object Class Segmentation and Dense Stereo Reconstruction
International Journal of Computer Vision·2011· 137 citedOpen Access
page 1 of 8Next →

Frequent Co-authors

Christopher S. Mellish(6), Boaz Lerner(4), M. S. Khorsheed(3), Maj Hultén(3), Chris Mellish(2), Ľubor Ladický(2), Paul Sturgess(2), Chris Russell(2), Sunando Sengupta(2), Yalın Baştanlar(2), Peter Davey(2), Andrew Vidler(2), C. G. Morgan(2), Seema Dhanjal(2), Chris Bishop(2), João Quinta da Fonseca(2), Philip J. Withers(2), Philip H. S. Torr(2), Katharine F Chivers(2), A.J. McCollum(2)