Ken Halland

Publication Activity (10 Years)

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

Top Topics

Reasoning Problems

Description Logic Knowledge Base

Expressive Description Logics

Top Venues

Description Logics

Publications

Ken Halland, Arina Britz, Szymon Klarman
TBox Abduction in ALC Using a DL Tableau. Description Logics (2014)
Ken Halland, Katarina Britz
using a DL tableau. SAICSIT (2012)
Ken Halland, Katarina Britz
Naive ABox abduction in ALC using a DL tableau. Description Logics (2012)
Ken Halland, Katarina Britz, Aurona Gerber
Investigations into the use of SNOMED CT to enhance an OpenMRS health information system. South Afr. Comput. J. 47 (2011)
Katherine M. Malan, Ken Halland
Examples that can do harm in learning programming. OOPSLA Companion (2004)