共 50 条
- [1] Defeasible reasoning with e-contracts [J]. 2006 IEEE/WIC/ACM INTERNATIONAL CONFERENCE ON INTELLIGENT AGENT TECHNOLOGY, PROCEEDINGS, 2006, : 690 - +
- [3] The representation of e-contracts as default theories [J]. NEW TRENDS IN APPLIED ARTIFICIAL INTELLIGENCE, PROCEEDINGS, 2007, 4570 : 963 - +
- [4] A Multi-level model for activity commitments in e-contracts [J]. ON THE MOVE TO MEANINGFUL INTERNET SYSTEMS 2007: COOPLS, DOA, ODBASE, GADA, AND IS, PT 1, PROCEEDINGS, 2007, 4803 : 300 - +
- [6] Towards formal modeling of e-contracts [J]. FIFTH IEEE INTERNATIONAL ENTERPRISE DISTRIBUTED OBJECT COMPUTING CONFERENCE, PROCEEDINGS, 2001, : 59 - 68
- [8] Timed Automata Semantics for Visual e-Contracts [J]. ELECTRONIC PROCEEDINGS IN THEORETICAL COMPUTER SCIENCE, 2011, (68): : 7 - 21
- [9] Specification and Verification of Security Properties of e-Contracts [J]. PROCEEDINGS OF THE 2010 8TH INTERNATIONAL CONFERENCE ON COMMUNICATIONS (COMM), 2010, : 427 - 430
- [10] Inter-organisational collaborations supported by e-contracts [J]. BUILDING THE E-SERVICE SOCIETY: E-COMMERCE, E-BUSINESS, AND E-GOVERNMENT, 2004, 146 : 413 - 429