While introducing the HTML standard to present information on the World Wide Web, the importance of being able to express the deep structure and meaning of the information was negl...
In this case study I argue for the usage of a machine-oriented controlled natural language as interface language to knowledge systems. Instead of using formal languages that are di...
We present a tutorial survey on some recent approaches to unsupervised machine learning in the context of statistical pattern recognition. In statistical PR, there are two classica...
We describe an interactive narrative system that embodies Object Oriented Prompted Play (O2P2). This means that behaviours, attributes, and crucially stories are attached to object...
We present four constructions for standard equipment which can be generated for every inductive datatype: case analysis, structural recursion, no confusion, acyclicity. Our constru...