Abstract. Formulas are often monotonic in the sense that if the formula is satisfiable for given domains of discourse, it is also satisfiable for all larger domains. Monotonicity i...
Software is an increasing and important part of many products and systems. Software, hardware, and system level components have been developed and produced following separate proc...
Conversational Case Based Reasoning (CCBR) is a form of CBR where users initiate conversations with the system to solve a certain problem. Current CCBR solutions are limited to spe...
We have previously presented initial results of a case study which illustrated an approach to engineering protective wrappers as a means of detecting errors or unwanted behaviour ...
Tom Anderson, Mei Feng, Steve Riddle, Alexander Ro...
In geospatial applications with heterogeneous databases, an ontology-driven approach to data integration relies on the alignment of the concepts of a global ontology that describe ...