2722 search results - page 202 / 545 » Automating Language Evolution |
254
click to vote
ICLP
2009
Springer
16 years 5 months ago
2009
Springer
PRISM is a probabilistic extension of Prolog. It is a high level language for probabilistic modeling capable of learning statistical parameters from observed data. After reviewing ...
129
Voted
TPHOL
2008
IEEE
15 years 11 months ago
2008
IEEE
We present a novel compiled approach to Normalization by Evaluation (NBE) for ML-like languages. It supports efficient normalization of open λ-terms w.r.t. β-reduction and rewrit...
120
click to vote
ICCBR
2005
Springer
15 years 10 months ago
2005
Springer
Abstract. In this paper, we propose an approach to attach semantic annotations to textual cases for their representation. To achieve this goal, a framework that combines machine le...
136
Voted
LPAR
2005
Springer
15 years 10 months ago
2005
Springer
Defeasible Logic is extended to programming languages for cognitive agents with preferences and actions for planning. We define rule-based agent theories that contain preferences ...
127
Voted
FLOPS
2004
Springer
15 years 10 months ago
2004
Springer
Restricting polymorphism to values is now the standard way to obtain soundness in ML-like programming languages with imperative features. While this solution has undeniable advant...