The Semantic Grid is an extension of the current Grid in which information and services are given well-defined meaning, better enabling computers and people to work in cooperation....
This work is about the metatheory of actions, and here we address the problem of what a good domain description for reasoning about actions should look like. We state some postulat...
The understanding of novel compounds is a special case in which we can explore the deep generativity of natural language understanding. We report a model, PUNC, which captures the ...
In this paper, we tackle the satisfiability problem for multi-context systems. First, we establish a satisfiability algorithm based on an encoding into propositional logic. Then, w...
Abstract. Asbru is a complex formal language developed to represent clinical guidelines and protocols which are time- and processoriented. To facilitate and support the modeling in...