1776 search results - page 190 / 356 » Using a Logic Programming Language with Persistence and Cont... |
100
Voted
TREC
2004
15 years 4 months ago
2004
The text-mining system we are building deals with the specific problem of identifying the instances of relevant concepts present in the texts. Therefore, our system relies on inte...
126
Voted
ICALP
2005
Springer
15 years 9 months ago
2005
Springer
We introduce a foundational language for modelling applications over global computers whose interconnection structure can be explicitly manipulated. Together with process distribut...
112
Voted
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...
140
Voted
APLAS
2007
ACM
15 years 7 months ago
2007
ACM
Abstract. We propose a theory of up-to techniques for proofs by coinduction, in the setting of complete lattices. This theory improves over existing results by providing a way to c...
124
Voted
BIRTHDAY
2000
Springer
15 years 8 months ago
2000
Springer
A number of prioritized variants of Reiter’s default logic have been described in the literature. In this paper, we introduce two natural principles for preference handling and s...