Editorial
Ontology oriented programming in go!
Maintaining knowledge with a formal model
Adapting k-means for supervised clustering
An effective heuristic algorithm for the maximum satisfiability problem
Using a modified counter-propagation algorithm to classify conjoined data
Architecture and dialogue design for a voice operated information system
State-based modelling in hazard identification