Authors: Dunne, PE Bench-Capon, TJM

Citation: Pe. Dunne et Tjm. Bench-capon, A sharp threshold for the phase transition of a restricted Satisfiability problem for Horn clauses, J LOGIC ALG, 47(1), 2001, pp. 1-14

Authors: Bench-Capon, TJM

Citation: Tjm. Bench-capon, The role of ontologies in the verification and validation of knowledge-based systems, INT J INTEL, 16(3), 2001, pp. 377-390

Authors: Van Kralingen, RW Visser, PRS Bench-Capon, TJM Van den Herik, HJ

Citation: Rw. Van Kralingen et al., A principled approach to developing legal knowledge systems, INT J HUM-C, 51(6), 1999, pp. 1127-1154