44651 search results - page 429 / 8931 » Generalized |
168
click to vote
LICS
1994
IEEE
15 years 11 months ago
1994
IEEE
The original semantics of Evaluation Logic in [Mog93] relies on additional properties of strong monads. This paper extends the original semantics by dropping all additional requir...
229
click to vote
CIKM
1994
Springer
15 years 11 months ago
1994
Springer
We investigate the semantics for Knowledge Query Manipulation Language KQML and we propose a semantic framework for the language. KQML is a language and a protocol to support comm...