On representation schemes for promising electronically
Decision Support Systems
ACM Transactions on Information Systems (TOIS)
Proceedings of the 8th international conference on Artificial intelligence and law
On the Spanning Hypothesis for EDI Semantics
HICSS '99 Proceedings of the Thirty-second Annual Hawaii International Conference on System Sciences-Volume 5 - Volume 5
Formal language for business communication: sketch of a basic theory
International Journal of Electronic Commerce - Special issue: Formal aspects of digital commerce
On Lean Messaging with Unfolding and Unwrapping for Electronic Commerce
International Journal of Electronic Commerce
Teaching business systems to agree
NLDB'12 Proceedings of the 17th international conference on Applications of Natural Language Processing and Information Systems
Hi-index | 0.00 |
My aim in this note is to provide a series of examples that will serve to illustrate how to symbolize English sentences in a manner concording with the theory I have been developing for an FLBC (formal language for business communication, cf. [3, 6, 8, 7, 5, 9, 4]). In that theory, which can be called the lean event semantics with disquotation (LESD) theory, first-order logic is used for (nearly) all representations. The version of FLBC being illustrated here I shall call Elementary FLBC. The presentation is example-driven. Theory is used and alluded to, but must be accessed in other writings as cited above.