9444 search results - page 1495 / 1889 » The Language Model LMNtal |
192
click to vote
IFL
2004
Springer
16 years 6 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...
220
Voted
KI
2004
Springer
16 years 5 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...
188
click to vote
MIDDLEWARE
2004
Springer
16 years 5 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 ...
161
click to vote
OTM
2004
Springer
16 years 5 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...
200
click to vote
RULEML
2004
Springer
16 years 5 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...