Ken Halland

According to our database, Ken Halland authored at least 5 papers between 2004 and 2014.

Collaborative distances:

• Dijkstra number of five.
• Erdős number of four.

2014

TBox Abduction in ALC Using a DL Tableau.

Ken Halland, Arina Britz, Szymon Klarman

Proceedings of the Informal Proceedings of the 27th International Workshop on Description Logics, 2014

2012

ABox abduction in <i>ALC</i> using a DL tableau.

Ken Halland, Katarina Britz

Proceedings of the 2012 South African Institute of Computer Scientists and Information Technologists Conference, 2012

Naive ABox abduction in ALC using a DL tableau.

Ken Halland, Katarina Britz

Proceedings of the 2012 International Workshop on Description Logics, 2012

2011

Investigations into the use of SNOMED CT to enhance an OpenMRS health information system.

Ken Halland, Katarina Britz, Aurona Gerber

South Afr. Comput. J., 2011

2004

Examples that can do harm in learning programming.

Katherine M. Malan, Ken Halland

Proceedings of the Companion to the 19th Annual ACM SIGPLAN Conference on Object-Oriented Programming, 2004