Readings in nonmonotonic reasoning
Readings in nonmonotonic reasoning
Computer systems and the design of organizational interaction
ACM Transactions on Information Systems (TOIS)
Bureaucracies as deontic systems
ACM Transactions on Information Systems (TOIS)
Legal procedures as formal conversations: contracting on a performative network
ICIS '89 Proceedings of the tenth international conference on Information Systems
Handbook of logic in artificial intelligence and logic programming (vol. 1)
Handbook of logic in artificial intelligence and logic programming (vol. 1)
KQML as an agent communication language
CIKM '94 Proceedings of the third international conference on Information and knowledge management
Saying and doing: uses of formal languages in the conduct of business
Saying and doing: uses of formal languages in the conduct of business
Natural language understanding (2nd ed.)
Natural language understanding (2nd ed.)
Message management systems at work: prototypes for business communication
WITS '92 Selected papers of the workshop on Information technologies and systems
Deontic logic in computer science: normative system specification
Deontic logic in computer science: normative system specification
A speech-act-based office modeling approach
ACM Transactions on Information Systems (TOIS)
Prolog programming in depth
The EDIFACT Standards
Natural Language Processing for PROLOG Programmers
Natural Language Processing for PROLOG Programmers
PostScript Language Program Design
PostScript Language Program Design
A communication framework for applications
HICSS '95 Proceedings of the 28th Hawaii International Conference on System Sciences
Testing Speech Act Theory and Its Applicability to EDI and Other Computer-Processable Messages
HICSS '96 Proceedings of the 29th Hawaii International Conference on System Sciences Volume 2: Decision Support and Knowledge-Based Systems
Candid -- a logical calculus for describing financial contracts
Candid -- a logical calculus for describing financial contracts
The ontology, syntax, and computability of deontic logic (artificial intelligence, automated reasoning, moral deliberation)
Formal aspects of electronic commerce: research issues and challenges
International Journal of Electronic Commerce - Special issue: Systems for computer-mediated digital commerce
International Journal of Electronic Commerce - Special issue: Formal aspects of digital commerce
Hi-index | 0.00 |
This paper surveys practical issues in the design of a formal language for business communication (FLBC) in which transactions are put together by combining meaningful elements, much as a programming language encodes algorithms. Such a language is preferable to existing codes such as ANSI X12 and UN EDIFACT because of its greater versatility. The new language is tentatively named LEC (Language for Electronic Commerce).