1268 search results - page 44 / 254 » One Logic to Use Them All |
CADE
2003
Springer
14 years 10 months ago
2003
Springer
If there exist efficient procedures (canonizers) for reducing terms of two first-order theories to canonical form, can one use them to construct such a procedure for terms of the d...
IJCNN
2006
IEEE
14 years 3 months ago
2006
IEEE
Abstract— This paper presents the use of a newly created network structure known as a Self-Delaying Dynamic Network (SDN). The SDNs were created to process data which varies with...
ECIS
2000
13 years 11 months ago
2000
This paper considers how we are constructing and modelling digital realities, and considers the relationships between digital realities and our reality using concepts from traditio...
ICCS
2004
Springer
14 years 3 months ago
2004
Springer
Any non-trivial top-level ontology should take temporal notions into account. The details of how this should be done, however, are frequently debated. In this paper it is argued th...
ADBIS
2005
Springer
14 years 3 months ago
2005
Springer
Abstract. One of the areas of data integration covers systems that maintain coherence among a heterogeneous set of databases. Such a system repeatedly collects data from the local ...