3738 search results - page 347 / 748 » Parametrized Logic Programming |
118
click to vote
ACL
2004
15 years 5 months ago
2004
The purpose of this paper is to re-examine the balance between clarity and efficiency in HPSG design, with particular reference to the design decisions made in the English Resourc...
103
click to vote
ATVA
2009
Springer
15 years 10 months ago
2009
Springer
We present a data symmetry reduction approach for model temporal-epistemic logic. The technique abstracts the epistemic indistinguishably relation for the knowledge operators, and ...
131
click to vote
CP
2005
Springer
15 years 9 months ago
2005
Springer
Local search is a powerful and well-established method for solving hard combinatorial problems. Yet, until recently, it has provided very little user support, leading to time-consu...
110
click to vote
TBILLC
2005
Springer
15 years 9 months ago
2005
Springer
We implement the extension of the logical consequence relation to a partial order ≤ on arbitary types built from e (entities) and t (Booleans) that was given in [1], and the deï...
143
click to vote
XSYM
2005
Springer
15 years 9 months ago
2005
Springer
Abstract. Recently it was shown that existing general-purpose inductive logic programming systems are useful for learning wrappers (known as L-wrappers) to extract data from HTML d...