3468 search results - page 431 / 694 » An open logical framework |
129
Voted
IJCAI
2003
15 years 5 months ago
2003
A promising technique used in some planning systems to improve their performance is the use of domain dependent search control knowledge. We present a procedure for compiling sear...
132
click to vote
COLING
2000
15 years 5 months ago
2000
Most of the studies in the framework of Lambek calculus have considered the parsing process and ignored the generation process. This paper wants to rely on the close link between ...
119
Voted
COLING
1994
15 years 5 months ago
1994
We present an integrated architecture for word-level and sentence-level processing in a unification-based paradigm. The core of the system is a CLP implementation of a nnilication...
130
click to vote
CORR
2010
Springer
15 years 4 months ago
2010
Springer
In a previous paper the authors argued the case for incorporating ideas from innate immunity into artificial immune systems (AISs) and presented an outline for a conceptual framewo...
129
click to vote
CORR
2008
Springer
15 years 4 months ago
2008
Springer
Abstract. Data exchanges between Web services engaged in a composition raise several heterogeneities. In this paper, we address the problem of data cardinality heterogeneity in a c...