In this paper, we consider a method of computing minimal models in circumscription using integer programming in propositional logic and first-order logic with domain closure axiom...
We present core aspects of a fully implemented generation component in a multilingual speechto-speech dialogue translation system. Its design was particularly influenced by the ne...
Tilman Becker, Wolfgang Finkler, Anne Kilger, Pete...
: What is an adequate philosophy for knowledge management for an ontologist working in information science? I will contend that the relevant part of knowledge management, namely th...
- Anyone familiar with the German IS research culture would expect to find numerous action researchers in Germany. However, a closer examination of the literature reveals there are...
The paper addresses some misconceptions of Software Engineering, requirements analysis and modelling in particular, due to underlying epistemological flaws., e.g. the believe that...