9444 search results - page 1495 / 1889 » The Language Model LMNtal |
229
click to vote
IFL
2004
Springer
16 years 29 days ago
2004
Springer
Landin’s SECD machine was the first abstract machine for the λ-calculus viewed as a programming language. Both theoretically as a model of computation and practically as an ide...
236
click to vote
KI
2004
Springer
16 years 29 days ago
2004
Springer
Abstract. DTGolog was proposed by Boutilier et al. as an integration of decision-theoretic (DT) planning and the programming language Golog. Advantages include the ability to handl...
218
click to vote
MIDDLEWARE
2004
Springer
16 years 29 days ago
2004
Springer
In order for middleware systems to be adaptive, their properties and services need to support a wide variety of application-specific policies. However, application developers and ...
180
click to vote
OTM
2004
Springer
16 years 29 days ago
2004
Springer
Abstract. The modeling, design, and implementation of inter-organizational systems (IOS) is a challenging new problem. In contrast to previous systems, where components have clearl...
224
click to vote
RULEML
2004
Springer
16 years 28 days ago
2004
Springer
Abstract. Defeasible reasoning is a rule-based approach for efficient reasoning with incomplete and inconsistent information. Such reasoning is, among others, useful for ontology i...