Sciweavers

147 search results - page 9 / 30
» ecai 2004
Sort
View
ECAI
2004
Springer
15 years 3 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 3 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 3 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 1 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 3 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