1814 search results - page 185 / 363 » Extended First-Order Logic |
125
Voted
VLDB
1997
ACM
15 years 7 months ago
1997
ACM
We present a design for multi-version concurrency control and recovery in a main memory database, and describe logical and physical versioning schemes that allow read-only transac...
149
Voted
DLOG
2008
15 years 6 months ago
2008
We present a novel Fuzzy Description Logic (DL) based approach to automate matchmaking in e-marketplaces. We model traders' preferences with the aid of Fuzzy DLs and, given a ...
122
Voted
SEBD
2008
15 years 5 months ago
2008
We present a novel Fuzzy Description Logic (DL) based approach to automate matchmaking in e-marketplaces. We model traders' preferences with the aid of Fuzzy DLs and, given a ...
111
Voted
AAAI
2004
15 years 5 months ago
2004
This paper provides a logical framework for negotiation between agents that are assumed to be rational, cooperative and truthful. We present a characterisation of the permissible ...
126
Voted
SLP
1993
15 years 5 months ago
1993
In this paper we describe a method of programspecialisation and give an extended example of its application to specialisation of a refutation proof procedure for rst order logic. ...