Formal Aspects of Electronic Commerce: Research Issues and Challenges

The notion of electronic or digital commerce is gaining widespread popularity. For the most part, these developments are being led by industry and government, with academic research following these trends in the form of empirical and economic research. Much more fundamental improvements to (global) commerce are possible but are presently being overlooked for lack of adequate formal theories, representations, and tools. This paper attempts to incite research in these directions.

[1]  Ronald M. Lee,et al.  Shopping in the Electronic Marketplace , 1986, J. Manag. Inf. Syst..

[2]  Garett O. Dworman,et al.  On Automated Discovery of Models Using Genetic Programming: Bargaining in a Three-Agent Coalitions Game , 1995, J. Manag. Inf. Syst..

[3]  J. Austin.  How to do things with words , 1962 .

[4]  Steven Orla Kimbrough,et al.  Message Management Systems at Work: Prototypes for Business Communication , 1995, J. Organ. Comput..

[5]  J. Vessey.  The competitive edge. , 1997, Nursing research.

[6]  Ronald M. Lee,et al.  Schematic evaluation of internal accounting control systems , 1992 .

[7]  Neff Walker,et al.  A classification of visual representations , 1994, CACM.

[8]  L H Meskin,et al.  The competitive edge. , 1994, Journal of the American Dental Association.

[9]  John L Berg.  EDI: The competitive edge: by Phyllis K. Sokol. Intertext/McGraw-Hill Corp., New York. $24.95. Illustrated, Index, Appendices, Glossary. ISBN: 0-07-059511-9 , 1989 .

[10]  Ronald M. Lee,et al.  Modelling Interorganizational Trade Procedures Using Documentary Petri Nets , 1995, Electron. Mark..

[11]  Thomas K. Landauer,et al.  Trouble with Computers: Usefulness, Usability, and Productivity , 1996 .

[12]  Jim R. Oliver.  On artificial agents for negotiation in electronic commerce , 1996, Proceedings of HICSS-29: 29th Hawaii International Conference on System Sciences.

[13]  李幼升,et al.  Ph , 1989 .

[14]  Ronald M. Lee,et al.  On Illocutionary Logic as a Telecommunications Language , 1986, ICIS.

[15]  P. Kidwell,et al.  The trouble with computers: Usefulness, usability and productivity , 1996, IEEE Annals of the History of Computing.

[16]  木村 和夫.  Pragmatics , 1997, Language Teaching.

[17]  Scott A. Moore,et al.  Testing speech act theory and its applicability to EDI and other computer-processable messages , 1996, Proceedings of HICSS-29: 29th Hawaii International Conference on System Sciences.

[18]  Roger A. Clarke,et al.  Electronic data interchange in international trade: frameworks for the strategic analysis of ocean port communities , 1994, J. Strateg. Inf. Syst..

[19]  Scott A. Moore.  Saying and doing: uses of formal languages in the conduct of business , 1993 .

[20]  Thomas K. Landauer,et al.  The trouble with computers , 1995 .

[21]  Ronald M. Lee,et al.  Finding International Contracting Opportunities: AI Extensions to EDI , 1990, ICIS.

[22]  Jeffrey S. Rosenschein,et al.  Rules of Encounter - Designing Conventions for Automated Negotiation among Computers , 1994 .

[23]  Steven Orla Kimbrough,et al.  On representation schemes for promising electronically , 1990, Decis. Support Syst..

[24]  Steven O. Kimbrough,et al.  On obligation, time, and defeasibility in systems for electronic commerce , 1993, [1993] Proceedings of the Twenty-sixth Hawaii International Conference on System Sciences.

[25]  Victor R. Lesser,et al.  Coalitions Among Computationally Bounded Agents , 1997, Artif. Intell..

[26]  Andrew Dillon,et al.  The trouble with computers: Usefulness, usability, and productivity , 1996 .

[27]  V. E. Van Reijswoud,et al.  The structure of business communication : Theory, model and application , 1996 .

[28]  Victor R. Lesser,et al.  Advantages of a Leveled Commitment Contracting Protocol , 1996, AAAI/IAAI, Vol. 1.

[29]  G. Hutchison,et al.  Electronic data interchange , 1987, IEEE Network.

[30]  Daniel Vanderveken,et al.  Foundations of Illocutionary Logic , 1985 .

[31]  Peter Radford,et al.  Petri Net Theory and the Modeling of Systems , 1982 .

[32]  Steven Orla Kimbrough,et al.  Message Management Systems: Concepts, Motivations, and Strategic Effects , 1992, J. Manag. Inf. Syst..

[33]  R. Hilpinen.  Deontic Logic: Introductory and Systematic Readings , 1981 .

[34]  C. D. Wrigley,et al.  Electronic Data Interchange , 2002, Encyclopedia of Information Systems.

[35]  Steven Orla Kimbrough,et al.  On automated message processing in electronic commerce and work support systems: speech act theory and expressive felicity , 1997, TOIS.

[36]  S.O. Kimbrough,et al.  On semantically-accessible messaging in an office environment , 1989, [1989] Proceedings of the Twenty-Second Annual Hawaii International Conference on System Sciences. Volume III: Decision Support and Knowledge Based Systems Track.

[37]  Hemant K. Bhargava,et al.  Electronic Commerce in Decision Technologies: A Business Cycle Analysis , 1997, Int. J. Electron. Commer..

[38]  Jim R. Oliver.  Artificial Agents Learn Policies for Multi-Issue Negotiation , 1997, Int. J. Electron. Commer..

[39]  F. F. Kuo,et al.  PROCEEDINGS OF THE HAWAII INTERNATIONAL CONFERENCE ON SYSTEM SCIENCES HELD JANUARY 29-30, 1968, , 1968 .

[40]  Ronald M. Lee,et al.  Legal procedures as formal conversations: contracting on a performative network , 1989, ICIS '89.

[41]  Phyllis K. Sokol.  EDI: The Competitive Edge , 1989 .

[42]  Young U. Ryu.  A formal representation of normative systems: a defeasible deontic reasoning approach , 1992 .

[43]  Steven O. Kimbrough,et al.  Search and Preference-Based Navigation in Electronic Shopping , 1993 .

[44]  Steven O. Kimbrough,et al.  Bargaining in a Three-Agent CoalitionS Game: An Application of Genetic Programming , 1995 .

[45]  James V. Hansen,et al.  Control and Audit of Electronic Data Interchange , 1989, MIS Q..

[46]  Kurt Lautenbach,et al.  System Modelling with High-Level Petri Nets , 1981, Theor. Comput. Sci..

[47]  Ronald M. Lee,et al.  Soft-Coded Trade Procedures for Open-EDI , 1996, Int. J. Electron. Commer..

[48]  Ronald M. Lee,et al.  Modelling inter-organizational trade using Documentary Petri Nets , 1995, Proceedings of the Twenty-Eighth Annual Hawaii International Conference on System Sciences.

[49]  Michael A. Covington,et al.  On Designing a Language for Electronic Commerce , 1997, Int. J. Electron. Commer..

[50]  David Makinson,et al.  New studies in deontic logic , 1981 .