1737 search results - page 85 / 348 » On Interpolation in Existence Logics |
189
click to vote
PLILP
1995
Springer
15 years 9 months ago
1995
Springer
Abstract. Using higher-order functions is standard practice in functional programming, but most functional logic programming languages that have been described in the literature la...
150
click to vote
ICML
1994
IEEE
15 years 9 months ago
1994
IEEE
This paper describes a new methodfor inducing logic programs from examples which attempts to integrate the best aspects of existingILP methodsintoa singlecoherent framework. In pa...
178
click to vote
AAAI
2007
15 years 8 months ago
2007
A team of agents is jointly able to achieve a goal if despite any incomplete knowledge they may have about the world or each other, they still know enough to be able to get to a g...
137
click to vote
LREC
2010
15 years 7 months ago
2010
This paper presents and evaluates an original approach to automatically align bitexts at the word level. It relies on a syntactic dependency analysis of the source and target text...
160
click to vote
AAAI
2000
15 years 7 months ago
2000
There are a number of frameworks for modelling argumentation in logic. They incorporate formal representation of individual arguments and techniques for comparing conflicting argu...