-
1
-
-
85001651004
-
Modelling Inter-organizational Trade Procedures Using Documentary Petri Nets
-
Hawaii
-
R. Bons R. Lee R. Wagenaar C. Wrigley Modelling Inter-organizational Trade Procedures Using Documentary Petri Nets Proceedings of the HICSS-28 Conference 189 198 Proceedings of the HICSS-28 Conference USA Hawaii 1995-January
-
(1995)
, pp. 189-198
-
-
Bons, R.1
Lee, R.2
Wagenaar, R.3
Wrigley, C.4
-
2
-
-
85176692320
-
Legal Procedures as Formal Conversations: Contracting on a Performative Network
-
S. Dewitz R. Lee Legal Procedures as Formal Conversations: Contracting on a Performative Network Proceedings of the Tenth International Conference on Information Systems Proceedings of the Tenth International Conference on Information Systems 1989
-
(1989)
-
-
Dewitz, S.1
Lee, R.2
-
3
-
-
2842560201
-
STRIPS: A New Approach to the Application of Theorem Proving to Problem Solving
-
R. Fikes N. Nilsson STRIPS: A New Approach to the Application of Theorem Proving to Problem Solving Artificial Intelligence 2 198 208 1971
-
(1971)
Artificial Intelligence
, vol.2
, pp. 198-208
-
-
Fikes, R.1
Nilsson, N.2
-
4
-
-
0000678601
-
Theoretical Computer Science
-
System Modelling with High-Level Petri Nets North Holland
-
H. J. Genrich K. Lautenbach Theoretical Computer Science 13 109 136 1981 North Holland System Modelling with High-Level Petri Nets
-
(1981)
, vol.13
, pp. 109-136
-
-
Genrich, H.J.1
Lautenbach, K.2
-
5
-
-
85176691092
-
-
The Open-EDI Reference Model 1994 ISO/IEC JTC1/SC30WG3
-
(1994)
-
-
-
6
-
-
0021728533
-
Performative, Informative and Emotive Systems: The First Piece of the PIE
-
S. Kimbrough R. Lee D. Ness Performative, Informative and Emotive Systems: The First Piece of the PIE Proceedings of the Conference on Information Systems 141 148 Proceedings of the Conference on Information Systems 1984
-
(1984)
, pp. 141-148
-
-
Kimbrough, S.1
Lee, R.2
Ness, D.3
-
7
-
-
85176676126
-
-
University of Pennsylvania
-
R. Lee Candid — A Logical Calculus for Describing Financial Contracts 1980 University of Pennsylvania
-
(1980)
-
-
Lee, R.1
-
8
-
-
0008688014
-
A Logic Model for Electronic Contracting
-
R. Lee A Logic Model for Electronic Contracting Decision Support Systems 4 27 44 1988
-
(1988)
Decision Support Systems
, vol.4
, pp. 27-44
-
-
Lee, R.1
-
9
-
-
85176695777
-
Dynamic Modeling of Documentary Procedures: A CASE for EDI
-
NL
-
R. Lee Dynamic Modeling of Documentary Procedures: A CASE for EDI Proceedings of Third International Working Conference on Dynamic Modeling of Information Systems Proceedings of Third International Working Conference on Dynamic Modeling of Information Systems Noordwijkerhout NL 1992-June
-
(1992)
-
-
Lee, R.1
-
11
-
-
85176674699
-
Soft-Coded Trade Procedures for Open-edi
-
R. Lee R. Bons Soft-Coded Trade Procedures for Open-edi Proceedings of the Eighth International Conference on EDI: Electronic Commerce for Trade Efficiency Proceedings of the Eighth International Conference on EDI: Electronic Commerce for Trade Efficiency Bled Slovenia 1995-June
-
(1995)
-
-
Lee, R.1
Bons, R.2
-
13
-
-
0004164813
-
On Artificial Agents for Negotiation in Electronic Commerce
-
J. Oliver On Artificial Agents for Negotiation in Electronic Commerce Proc. Hawaii International Conference on System Sciences Proc. Hawaii International Conference on System Sciences 1996-January
-
(1996)
-
-
Oliver, J.1
-
14
-
-
0003418449
-
Petri Net Theory and the Modeling of Systems
-
Prentice-Hall
-
J. L. Peterson Petri Net Theory and the Modeling of Systems 1981 Prentice-Hall
-
(1981)
-
-
Peterson, J.L.1
|