3005 search results - page 274 / 601 » Logical Information Systems: from Taxonomies to Logics |
165
click to vote
CCIA
2009
Springer
15 years 7 months ago
2009
Springer
When an agent receives a query from another agent, it tries to satisfy it by building an answer based on its current knowledge. Depending on the available time or the urgency of t...
172
click to vote
GIS
1999
ACM
15 years 11 months ago
1999
ACM
Nowadays, many applications need data modeling facilities for the description of complex objects with spatial and/or temporal facilities. Responses to such requirements may be fou...
175
click to vote
ENTCS
2008
15 years 6 months ago
2008
We present a type system extending the dependent type theory LF, whose terms are more amenable to compact representation. This is achieved by carefully omitting certain subterms w...
224
click to vote
RR
2010
Springer
15 years 5 months ago
2010
Springer
Role-based access control is a standard mechanism in information systems. Based on the role a user has, certain information is kept from the user even if requested. For ontologies ...
188
click to vote
LOPSTR
2009
Springer
16 years 1 months ago
2009
Springer
Proving termination of, or generating efficient control for Constraint Handling Rules (CHR) programs requires information about the kinds of constraints that can show up in the CHR...