On representation schemes for promising electronically
Decision Support Systems
Meaning and speech acts: principles of language use (vol. 1)
Meaning and speech acts: principles of language use (vol. 1)
Defeasible deontic reasoning and its applications to normative systems
Decision Support Systems
Obligations directed from bearers to counterparts
ICAIL '95 Proceedings of the 5th international conference on Artificial intelligence and law
Evaluated receipts and settlement at Bell Atlantic
Communications of the ACM
ACM Transactions on Information Systems (TOIS)
Designing XML Internet applications
Designing XML Internet applications
Speech acts, electronic commerce, and KQML
Decision Support Systems - Special issue: logic modeling
From EDI to Electronic Commerce: A Business Initiative
From EDI to Electronic Commerce: A Business Initiative
Machine-Negotiated, Ontology-Based EDI (Electronic Data Interchange)
Proceedings of the Workshop at NIST on Electronic Commerce, Current Research Issues and Applications
Toward a New Type of Language for Electronic Commerce
HICSS '96 Proceedings of the 29th Hawaii International Conference on System Sciences Volume 4: Organizational Systems and Technology
Sketch of a Basic Theory for a Formal Language for Business Communication
HICSS '98 Proceedings of the Thirty-First Annual Hawaii International Conference on System Sciences-Volume 5 - Volume 5
On ESTheta Theory and the Logic of the X12 Date/Time Qualifiers
HICSS '98 Proceedings of the Thirty-First Annual Hawaii International Conference on System Sciences-Volume 5 - Volume 5
Speech Acts in Electronic Communication With Special Reference to KQML and ANSI X12
HICSS '97 Proceedings of the 30th Hawaii International Conference on System Sciences: Information Systems Track—Internet and the Digital Economy - Volume 4
Modeling the Dynamics of Transferable Obligations in Business Procedures
HICSS '97 Proceedings of the 30th Hawaii International Conference on System Sciences: Information Systems Track—Internet and the Digital Economy - Volume 4
On Electronic Commerce, Subatomic Semantics and Caesar's Stabbing
HICSS '97 Proceedings of the 30th Hawaii International Conference on System Sciences: Information Systems Track—Internet and the Digital Economy - Volume 4
Facilitating International Electronic Commerce by Formalising the Incoterms
HICSS '97 Proceedings of the 30th Hawaii International Conference on System Sciences: Information Systems Track—Internet and the Digital Economy - Volume 4
Journal of Management Information Systems - Special section: Toward a theory of business process change management
Formal language for business communication: sketch of a basic theory
International Journal of Electronic Commerce - Special issue: Formal aspects of digital commerce
Distributed electronic trade scenarios: representation, design, prototyping
International Journal of Electronic Commerce - Special issue: Formal aspects of digital commerce
Proceedings of the 8th international conference on Artificial intelligence and law
An asynchronous rule-based approach for business process automation using obligations
Proceedings of the 2002 ACM SIGPLAN workshop on Rule-based programming
A note on getting started with FLBC: towards a user guide for FLBC
ACM SIGGROUP Bulletin
On original generation of structure in legal documents
ICAIL '03 Proceedings of the 9th international conference on Artificial intelligence and law
Generating original structure in regulatory documents
dg.o '03 Proceedings of the 2003 annual national conference on Digital government research
A note on interpretations for federated languages and the use of disquotation
ICAIL '05 Proceedings of the 10th international conference on Artificial intelligence and law
Speech acts with institutional effects in agent societies
DEON'06 Proceedings of the 8th international conference on Deontic Logic and Artificial Normative Systems
On the normative aspect of signalling conventions
DEON'06 Proceedings of the 8th international conference on Deontic Logic and Artificial Normative Systems
On the representation of normative sentences in FOL
Logic Programs, Norms and Action
Hi-index | 0.00 |
EDI (electronic data interchange) messages are notoriously lean and difficult (or impossible) to interpret without additional information. The authors acknowledge the many criticisms of the EDI protocols, but argue that there is something basically correct, even inevitable, in the leanness of EDI messages. They present a framework that describes how EDI messages are interpreted, and indeed must be interpreted. "Unwrapping" and "unfolding" of messages are the central elements. These concepts are discussed in detail, and the article demonstrates how to exploit them in formalizations for electronic commerce. In particular, it shows how Kimbrough's lean-event semantics for speech acts, and Tan and Thoen's theory of directed obligation can be fit naturally and fruitfully into this framework, and to each other. Much remains to be done, but the progress in formalization in evidence here should be generalizable.