A logic model for electronic contracting

Abstract: Contracting is an essential aspectof doing business. Electronic contracting uses telecommunications and artificial intelligence to improve contracting processes by streamlining red tape enforcing legal correctness. To do this, the underlying conceptual structures of contracts and contracting must be carefully understood. A logic model is presented that emphasizes temporal, deontic and performative aspects of contracting.

[1]  Ronald M. Lee,et al.  Logic modeling: A tool for management science , 1988, Decis. Support Syst..

[2]  James Lyle Peterson,et al.  Petri net theory and the modeling of systems , 1981 .

[3]  Risto Hilpinen,et al.  Deontic Logic: An Introduction , 1970 .

[4]  O. Williamson.  Transaction-Cost Economics: The Governance of Contractual Relations , 1979, The Journal of Law and Economics.

[5]  Terry Winograd,et al.  Understanding computers and cognition , 1986 .

[6]  Risto Hilpinen,et al.  New Studies in Deontic Logic , 1981 .

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

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

[9]  Ruth E. Davis.  Logic Programming and Prolog: A Tutorial , 1985, IEEE Software.

[10]  P. Tiersma,et al.  The Language of Offer and Acceptance: Speech Acts and the Question of Intent , 1986 .

[11]  Terry Winograd,et al.  Understanding computers and cognition - a new foundation for design , 1987 .

[12]  A. Koller,et al.  Speech Acts: An Essay in the Philosophy of Language , 1969 .

[13]  Ronald M. Lee.  Candid -- a logical calculus for describing financial contracts , 1980 .

[14]  William F. Clocksin,et al.  Programming in Prolog , 1981, Springer Berlin Heidelberg.

[15]  Ronald M. Lee,et al.  Temporal Inferencing on Administrative Databases , 1985 .

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

[17]  O. Williamson,et al.  Markets and Hierarchies: Analysis and Antitrust Implications. , 1977 .

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

[19]  Alasdair Urquhart,et al.  Temporal Logic , 1971 .

[20]  Kalle Lyytinen,et al.  Theories of Language and Information Systems: An Appraisal of Alternative Language Views for Information Systems , 1984, ICIS.

[21]  H. G. Sol,et al.  Decision support systems: Issues and challenges: Göran FICK and Ralph H. SPRAGUE Jr. (Eds.) Proceedings of an International Task Force Meeting, June 23–25, 1980, Pergamon, Oxford, 1980, viii + 189 pages, £12.50 , 1981 .

[22]  Ronald M. Lee,et al.  Performative, Informative and Emotive Systems The First Piece of the PIE , 1984, ICIS.

[23]  Ronald M. Lee.  International contracting-a formal language approach , 1988, Proceedings of the Twenty-First Annual Hawaii International Conference on System Sciences, 1988. Vol.IV. Applications Track.

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

[25]  Ronald M. Lee,et al.  A logic programming framework for planning and simulation , 1986 .

[26]  JoAnne Yates,et al.  Electronic markets and electronic hierarchies , 1987, CACM.