search query: @indexterm electronic data interchange / total: 56
reference: 15 / 56
| Author: | Daskalopulu, A. Sergot, M. |
| Title: | Computational aspects of the FLBC framework |
| Journal: | Decision Support Systems
2002 : JUL. VOL. 33:3, p. 267-290 |
| Index terms: | BUSINESS COMMUNICATION ELECTRONIC COMMERCE ELECTRONIC DATA INTERCHANGE LANGUAGES |
| Language: | eng |
| Abstract: | In this paper, the authors discuss some of the specific technical choices for the representation of messages in the original formal language for business communication (FLBC) framework and propose two modifications. The first eliminates a problematic modal logical component from the representations of messages; the second transforms the message representation into Skolemised clausal form. |
SCIMA