1321 search results - page 99 / 265 » Subtyping in Logical Form |
158
click to vote
SIGMOD
2000
ACM
15 years 10 months ago
2000
ACM
Media recovery protects a database from failures of the stable medium by maintaining an extra copy of the database, called the backup, and a media recovery log. When a failure occ...
145
click to vote
AIIA
1999
Springer
15 years 9 months ago
1999
Springer
This paper presents thedistributed implementationof ALIAS, an architecture composed of several cooperating intelligent agents. This system is particularly suited to solve problems ...
162
click to vote
KI
1999
Springer
15 years 9 months ago
1999
Springer
Abstract. The revision and transformation of knowledge is widely recognized as a key issue in knowledge representation and reasoning. Reasons for the importance of this topic are t...
143
click to vote
ACL
2004
15 years 7 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...
137
click to vote
EACL
1989
ACL Anthology
15 years 6 months ago
1989
ACL Anthology
In this paper we present a logical treatment of semifree word order and bounded discontinuous constituency. We extend standard feature value logics to treat word order in a single...