15372 search results - page 2655 / 3075 » The Semantics of Semantic Annotation |
203
click to vote
KR
1992
Springer
15 years 11 months ago
1992
Springer
While the task of answering queries from an arbitrary propositional theory is intractable in general, it can typicallybe performed e ciently if the theory is Horn. This suggests t...
172
click to vote
LICS
1992
IEEE
15 years 11 months ago
1992
IEEE
The aim of this paper is to find the finest `observable' and `implementable' equivalence on concurrent processes. This is a part of a larger programme to develop a theor...
223
click to vote
LOPSTR
1992
Springer
15 years 11 months ago
1992
Springer
We present a self-applicable partial evaluator for a large subset of full Prolog. The partial evaluator, called Logimix, is the result of applying our experience from partial eval...
238
click to vote
META
1992
15 years 11 months ago
1992
A meta-level extension of a logic programming language is presented. The resulting language, called 'LOG (read quote-log), provides meta-programming facilities similar to thos...
226
click to vote
ECAI
1990
Springer
15 years 11 months ago
1990
Springer
In case-based reasoning (CBR) a problem is solved by matching the problem description to a previously solved case, using the past solution in solving the new problem. A case-based...