2290 search results - page 134 / 458 » Extensible Protected Types |
161
click to vote
ASP
2003
Springer
15 years 11 months ago
2003
Springer
We present CR-Prolog2, an extension of A-Prolog with cr-rules and ordered disjunction. CR-rules can be used to formalize various types of common-sense knowledge and reasoning, tha...
131
click to vote
CLEF
2000
Springer
15 years 10 months ago
2000
Springer
HyREX is the Hypermedia Retrieval Engine for XML. Its extensibility is based on the implementation of physical data independence; its query interface on the conceptual level consis...
182
click to vote
LACL
1998
Springer
15 years 10 months ago
1998
Springer
Abstract. The paper proposes a type logical reformulation of Jacobson's ([9]) treatment of anaphoric dependencies in Categorial Grammar. To this end, the associative Lambek Ca...
185
click to vote
LICS
1990
IEEE
15 years 10 months ago
1990
IEEE
Reasoning about permissions and obligations sometimes requires to distinguish more than one level of permission: certain actions are preferable to others, or one has more confiden...
153
click to vote
SYRCODIS
2008
15 years 7 months ago
2008
Issues related to updating data in native XML database systems are studied extensively nowadays. In this work we consider a problem of updating typed XML documents having their sc...