Information integration for electronic commerce

Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics)

Volumn 1571, Issue , 1999, Pages 189-206

  Ghidini, Chiara ^a   Serafini, Luciano ^b  

^a UNIVERSITY OF TRENTO   (Italy)

^b ITC IRST   (Italy)

Author keywords

[No Author keywords available]

Indexed keywords

COMMERCE; ELECTRONIC COMMERCE; ELECTRONIC TRADING; FORMAL METHODS; INFORMATION ANALYSIS; INFORMATION RETRIEVAL; INTEGRATION; INTELLIGENT AGENTS; SEMANTICS;

AGENT MEDIATED ELECTRONIC COMMERCE; COMPLETE INFORMATION; COMPLEX TASK; CRITICAL PROBLEMS; FORMAL SEMANTICS; INFORMATION INTEGRATION;

AUTONOMOUS AGENTS;

EID: 84959049122     PISSN: 03029743     EISSN: 16113349     Source Type: Book Series    
DOI: 10.1007/3-540-48835-9_11     Document Type: Conference Paper

References (17)

1. S. Abitebul, R. Hull, and V. Vianu. Foundation of Databases. Addison-Wesley, 1995.
2. H.A. Blair and V.S. Subrahmanian. Paraconsistent Logic Programming. Theoretical Computer Science, 68:35-51, 1987.
3. A. Borgida. Description Logics in Data Management. IEEE Transactions on Knowledge and Data Engineering, October 1995.
4. T. Catarci and M. Lenzerini. Representing and using interschema knowledge in cooperative information systems. International Journal ofIntelligent and Cooperative Information Systems, 2(4):375-398, 1993.
5. A. Cimatti and L. Serafini. Multi-Agent Reasoning with Belief Contexts II: Elaboration Tolerance. In Proc. 1st Int. Conference on Multi-Agent Systems (ICMAS-95), pages 57-64, 1996. Also IRST-Technical Report 9412-09, IRST, Trento, Italy. Commonsense-96, Third Symposium on Logical Formalizations of Commonsense Reasoning, Stanford University, 1996.
6. C. Ghidini and L. Serafini. Foundation of Federated Databases, I: A Model Theoretic Perspective. Technical Report 9709-02, IRST, Trento, Italy, 1997.
7. C. Ghidini and L. Serafini. Distributed First Order Logics. In Proceedings of the Second International Workshop on Frontiers of Combining Systems (FroCoS'98), Amsterdam, Holland, October, 2-4 1998. To appear.
8. F. Giunchiglia. Contextual reasoning. Epistemologia, special issue on I Linguaggi e le Macchine, XVI:345-364, 1993. Short version in Proceedings IJCAI'93 Workshop on Using Knowledge in its Context, Chambery, France, 1993, pp. 39-49. Also IRST- Technical Report 9211-20, IRST, Trento, Italy.
9. F. Giunchiglia and C. Ghidini. Local Models Semantics, or Contextual Reasoning = Locality + Compatibility. In Proceedings of the Sixth International Conference on Principles of Knowledge Representation and Reasoning (KR'98), pages 282-289. Morgan Kaufmann, 1998. Also IRST-Technical Report 9701-07, IRST, Trento, Italy.
10. F. Giunchiglia and L. Serafini. Multilanguage hierarchical logics (or: how we can do without modal logics). Artificial Intelligence, 65:29-70, 1994. Also IRST-Technical Report 9110-07, IRST, Trento, Italy.
11. R.V. Guha. Microtheories and contexts in cyc. Technical Report ACT-CYC-129-90, MCC, Austin, Texas, 1990.
12. A.Y. Levy, A. Rajaraman, and J.J. Ordille. Querying Heterogeneous Information Sources Using Source Descriptions. In Proceedings of the 22nd VLDB Conference, Bombay, India, 1996.
13. J. Mylopoulos and R. Motschnig-Pitrik. Partitioning Information Bases with Contexts. In Third International Conference on Cooperative Information Systems, Vienna, 1995.
14. V.S. Subrahmanian. Amalgamating Knowledge Bases. ACM Trans. Database Syst., 19(2):291-331, 1994.
15. V.S. Subrahmanian, S. Adah, A. Brink, R. Emery, J.J. Lu, A. Rajput, T.J. Rogers, R. Ross, and C. Ward. HERMES: A Heterogeneous Reasoning and Mediator System, 1997. Submitted for Publication. HTML version available at http://www.cs.umd.edu/projects/hermes/overview/paper/index.html.
16. M.W.W. Vermeer and P.M.G. Apers. The Role of Integrity Constraints in Database Interoperation. In Proceedings ofthe 22nd VLDB Conference, Mumbai(Bombay), India, 1996.
17. G. Wiederhold. Mediators in the architecture of future information systems. IEEE Computer, 25(3):38-49, 1992.