Sciweavers

147 search results - page 9 / 30
» ecai 2004
Sort
View
ECAI
2004
Springer
15 years 11 months ago
The Semantic Grid: Myth Busting and Bridge Building
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....
Carole A. Goble, David De Roure
ECAI
2004
Springer
15 years 11 months ago
Domain Descriptions Should Be Modular
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...
Andreas Herzig, Ivan José Varzinczak
ECAI
2004
Springer
15 years 11 months ago
Modelling the Interpretation of Novel Compounds
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 ...
Dermot Lynott, Mark T. Keane
ECAI
2004
Springer
15 years 9 months ago
Many Hands Make Light Work: Localized Satisfiability for Multi-Context Systems
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...
Floris Roelofsen, Luciano Serafini, Alessandro Cim...
ECAI
2004
Springer
15 years 11 months ago
Temporal Plan Interdependencies
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...
Katharina Kaiser, Silvia Miksch