A logic model for electronic contracting
Decision Support Systems
International contracting: a formal language approach
Proceedings of the Twenty-First Annual Hawaii International Conference on Applications Track
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)
Message management systems: concepts, motivations, and strategic effects
Journal of Management Information Systems
A semantics approach for KQML—a general purpose communication language for software agents
CIKM '94 Proceedings of the third international conference on Information and knowledge management
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.)
ACM Transactions on Information Systems (TOIS)
Readings in agents
Readings in agents
Natural Language Processing for PROLOG Programmers
Natural Language Processing for PROLOG Programmers
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
On Lean Messaging with Wrapping and Unfolding for E-Commerce
HICSS '99 Proceedings of the Thirty-second Annual Hawaii International Conference on System Sciences-Volume 6 - Volume 6
Candid -- a logical calculus for describing financial contracts
Candid -- a logical calculus for describing financial contracts
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
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
Formal aspects of electronic commerce: research issues and challenges
International Journal of Electronic Commerce - Special issue: Systems for computer-mediated digital commerce
Toward a semantics for an agent communications language based on speech0-acts
AAAI'96 Proceedings of the thirteenth national conference on Artificial intelligence - Volume 1
Proceedings of the 8th international conference on Artificial intelligence and law
Computational aspects of the FLBC framework
Decision Support Systems - Special issue: Formal modeling and electronic commerce
Automated generation of electronic procedures: procedure constraint grammars
Decision Support Systems - Special issue: Formal modeling and electronic commerce
A note on getting started with FLBC: towards a user guide for FLBC
ACM SIGGROUP Bulletin
Separating Business Process from User Interaction in Web-Based Information Commerce
Electronic Commerce Research
Modelling the ICE Standard with a Formal Language for Information Commerce
EC-Web 2001 Proceedings of the Second International Conference on Electronic Commerce and Web Technologies
Documentary Petri Nets: A Modeling Representation for Electronic Trade Procedures
Business Process Management, Models, Techniques, and Empirical Studies
Distributed electronic trade scenarios: representation, design, prototyping
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
On the representation of normative sentences in FOL
Logic Programs, Norms and Action
Hi-index | 0.00 |
Progress in research on developing a general-purpose formal language for business communications (FLBC) has been substantial. Key distinctions have been made, important concepts identified, and impressive prototypes implemented. The purpose of this paper is to present succinctly the basic elements of a complete (logical) theory for an FLBC. These elements include speech act theory, event semantics, extensive use of thematic roles, and representation in first-order logic. The theory is expected to lead to superior messaging in electronic commerce.