Benjamin Horsfall

Publication Activity (10 Years)

Years Active: 2012-2014
Publications (10 Years): 0

Top Topics

Knowledge Representation And Reasoning

Logic Programming

Analogical Reasoning

Computational Logic

Top Venues

IEEE Trans. Comput. Aided Des. Integr. Circuits Syst.

University of Sussex, Falmer, UK (PHD)

Education History

University of Sussex, Falmer, UK

PHD

Publications

Graeme Gange, Benjamin Horsfall, Lee Naish, Harald Søndergaard
Four-Valued Reasoning and Cyclic Circuits. IEEE Trans. Comput. Aided Des. Integr. Circuits Syst. 33 (7) (2014)
Lee Naish, Harald Søndergaard, Benjamin Horsfall
Logic Programming: From Underspecification to Undefinedness. CATS (2012)