4737 search results - page 283 / 948 » The LOGIC negotiation model |
250
click to vote
TABLEAUX
2000
Springer
15 years 11 months ago
2000
Springer
FaCT (Fast Classification of Terminologies) is a Description Logic (DL) classifier that can also be used for modal logic satisfiability testing. The FaCT system includes two reason...
235
click to vote
ADC
2008
Springer
16 years 1 months ago
2008
Springer
As the eXtensible Markup Language (XML) is about to emerge as a new standard for databases, the problem of providing solid logical grounds for XML query languages arises. For the ...
193
click to vote
WWW
2004
ACM
16 years 8 months ago
2004
ACM
Service-oriented architectures (SOA) will provide the basis of the next generation of distributed software systems, and have already gained enormous traction in the industry throu...
233
click to vote
ICCS
2005
Springer
16 years 24 days ago
2005
Springer
The Semantic Web is a significant improvement of the original World Wide Web. It models shared meanings with ontologies, and uses these to provide many different kinds of web servi...
161
click to vote
ACMICEC
2004
ACM
16 years 22 days ago
2004
ACM
We start with the usual paradigm in electronic commerce: a consumer who wants to buy from a merchant. However, both parties wish to enjoy maximal privacy. In addition to remaining...