322 search results - page 16 / 65 » Combinations of Abstract Domains for Logic Programming |
149
Voted
RULEML
2004
Springer
15 years 9 months ago
2004
Springer
Abstract. We extend Answer Set Programming with, possibly infinite, open domains. Since this leads, in general, to undecidable reasoning, we restrict the syntax of programs, while...
149
Voted
WFLP
2000
Springer
15 years 7 months ago
2000
Springer
We describe the current status of the development of CFLP, a system which aims at the integration of the best features of functional logic programming (FLP), cooperative constrain...
100
Voted
CORR
2007
Springer
15 years 3 months ago
2007
Springer
nalysis of logic programs, abstract domains for detecting sharing and linearity ion are widely used. Devising abstract unification algorithms for such domains has proved to be ra...
145
Voted
ICML
1989
IEEE
15 years 7 months ago
1989
IEEE
Logic programming provides a uniform framework in which all aspects of explanation-based generalization and learning may be defined and carried out, but first-order Horn logic i...
138
Voted
CLEF
2005
Springer
15 years 9 months ago
2005
Springer
Abstract. In this paper the methodology followed to build a questionanswering system for the Portuguese language is described. The system modules are built using computational ling...