In an effort to develop a training programme to assist teaching professionals to migrate towards e-teaching from more traditional modes of teaching, the European Commission (EC) p...
We analyze the complexity of propositional kernel resolution (del Val 1999), a general method for obtaining logical consequences in restricted target languages. Different choices ...
: 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...
We describe a language which can be used to model business processes (both technical and nontechnical). It has a formal semantics, so as to enable formal analysis and prediction o...