28 search results - page 1 / 6 » Improving the Efficiency of Reasoning Through Structure-Base... |
SARA
2000
Springer
13 years 8 months ago
2000
Springer
We investigate the possibility of improving the efficiency of reasoning through structure-based partitioning of logical theories, combined with partitionbased logical reasoning str...
SIGMOD
2004
ACM
14 years 5 months ago
2004
ACM
Peer data management systems (PDMS) offer a flexible architecture for decentralized data sharing. In a PDMS, every peer is associated with a schema that represents the peer's...
PRICAI
2000
Springer
13 years 8 months ago
2000
Springer
A system that applies a method of knowledge-intensive case-based reasoning, for repair and prevention of unwanted events in the domain of offshore oil well drilling, has been deve...
DLOG
2010
13 years 3 months ago
2010
We develop a query algebra that supports efficient assertion retrieval--a natural extension of instance retrieval. The algebra is based on previously developed techniques for index...
HICSS
2003
IEEE
13 years 10 months ago
2003
IEEE
With the advent of fast growing Internet and World Wide Web (WWW), more and more companies start the electronic commerce to enhance the business competitiveness. On the other hand...