We describe an ontology for WWW summarization in Bone Marrow Transplantation that is currently under construction. It is text-based and qualifies as a grounded ontology. In additi...
Abstract: We show the application of the data analysis tool InfoZoom to a database of Formula One racing results. The user can interactively explore different tabular visualisation...
This paper presents a model for generating prosodically appropriate synthesized responses to database queries using Combinatory Categorial Grammar (CCG - cf. [22]), a formalism wh...
We consider Presburger arithmetic extended by infinity. For this we give an effective quantifier elimination and decision procedure which implies also the completeness of our exten...
We introduce a general framework that is based on distance semantics and investigate the main properties of the entailment relations that it induces. It is shown that such entailm...