A Foundation for Flexible Automated Electronic Communication

References

• Allen J. F., Kautz H. A., Hobbs J. R., Moore R. C. A model of naive temporal reasoning. Formal Theories of the Commonsense World (1985) (Ablex Publishing Corp.)251–268Google Scholar
• Apple Computer, Inc Apple Event registry: Standard suites. (1996) . http://dev2.info.apple.com/FTPIndices/App-3.html downloaded on August 13Google Scholar
• Austin J. L.How To Do Things With Words (1975) 2nd ed.(Harvard University Press, Boston, MA) Crossref, Google Scholar
• Bach K., Harnish R. M.Linguistic Communication and Speech Acts (1979) (MIT Press, Cambridge, MA) Google Scholar
• Baker S. Forget the huddled masses: Send nerds. Business Week (1997) July 21):110Google Scholar
• Baldassari M., Bruno G., Jensen K., Rozenberg G. PROTOB: An object oriented methodology for developing discrete event dynamic systems. High Level Petri Nets (1991) (Springer-Verlag)624–648Crossref, Google Scholar
• Barbuceanu M., Fox M. S. COOL: A language for describing coordination in multi-agent systems. Proc. First Internat. Conf. Multiagent Systems (1995) (AAAI Press, San Francisco, CA) 17–24Google Scholar
• Barbuceanu M., Fox M. S. Coordinating multiple agents in the supply chain. Proc. 5th Workshops on Enabling Tech.: Infrastructure for Collaborative Enterprises (1996a) (IEEE Computer Society Press, Stanford, CA) 134–141Crossref, Google Scholar
• Barbuceanu M., Fox M. S. The design of a coordination language for multi-agent systems. Intelligent Agents III: Agent Theories, Architectures and Languages (1996b) (Springer-Verlag)341–55(Budapest, Hungary, August 12-13, 1996), ECAIGoogle Scholar
• Borenstein N. S. Computational mail as network infrastructure for computer-supported cooperative work. J. Turner, R. Kraut, eds. Proce. Conf. Computer-Supported Cooperative Work (1992) (ACM Press, Amsterdam, The Netherlands) 67–74Google Scholar
• Bruno G., Elia A., Spaccapietra S. Extending the entity-relationship approach for dynamic modeling purposes. Entity-Relationship Approach (1987) (Elsevier Science Publishers, Amsterdam, The Netherlands) 169–181Google Scholar
• Castells M.The Rise of the Network Society, vol. I of The Information Age: Economy, Society, and Culture (1996) (Blackwell Publishers, Cambridge, MA) Google Scholar
• Cohen P. R., Perrault C. R., Bond A. H., Gasser L. Elements of a plan-based theory of speech acts. Readings in Distributed Artificial Intelligence (1988) (Morgan Kaufman)169–186Crossref, Google Scholar
• Compaq Computer Corporation Compaq EDI home page. (1999) . < http://www.compaq.com/corporate/EDI/> downloaded on June 11Google Scholar
• Covington M. A. Speech acts, electronic commerce, and KQML. Decision Support Systems (1998) 22:203–211Crossref, Google Scholar
• DARPA Knowledge Sharing Initiative External Interfaces Working Group Specification of the KQML Agent-Communication Language. (1993) . http://www.cs.umbc.edu/kqml/kqmlspec.ps, June 15. Downloaded on July 14, 1997Google Scholar
• Finin T., Fritzson R., McKay D., McEntire R. KQML as an agent communication language. Proce. Third Internat. Conf. Inform. Knowledge Management (1994) (ACM Press, New York) 456–463Crossref, Google Scholar
• Flores F., Graves M., Hartfield B., Winograd T. Computer systems and the design of organizational interaction. ACM Trans. Office Inform. Systems (1988) 6(2):153–172Crossref, Google Scholar
• Foundation for Intelligent Physical Agents FIPA 97 specification part 2: Agent communication language. (1997) (Geneva, Switzerland). http://www.fipa.orgGoogle Scholar
• Gordon M. D., Moore S. A. Depicting the use and purpose of documents to improve information retrieval. Inform. Systems Res. (1999) 23–37Link, Google Scholar
• Grice P. Meaning, Grice P.Studies in the Way of Words (1989) (Harvard University Press)213–223Originally published in Philos. Rev. 1957, 66:377–88Google Scholar
• Harel D. Statecharts: A visual formalism for complex systems. Sci. Comput. Programming (1987) 8:231–274Crossref, Google Scholar
• Heuser C. A., Richter G., Rozenberg G. Constructs for modeling information systems with Petri nets. Advances in Petri Nets (1992) (Springer-Verlag, Sheffield, U.K.) 224–243Crossref, Google Scholar
• Hurst G., Kimbrough S. O., Moore S. A., Oliver J. R. The next generation: Exploiting advanced protocols for electronic commerce. Frontiers in Electronic Commerce: Experimental Systems for Communication, Coordination, and Negotiation (1992) (Philadelphia, PA). SEI Center for Advanced Studies in Management (affiliated with Wharton)Google Scholar
• Kimbrough S. O. On representing schemes for promising electronically. Decision Support Systems (1990) 99–121Crossref, Google Scholar
• Kimbrough S. O., Hua H. On defeasible reasoning with the method of sweeping presumptions. Minds and Machines (1991) 1(4):393–416Crossref, Google Scholar
• Kimbrough S. O., Moore S. A. Message management systems: Concepts, motivations, and strategic effects. J. Management Inform. Systems (1992) 9(2):29–52Crossref, Google Scholar
• Kimbrough S. O., Moore S. A., Nunamaker J. On obligation, time, and defeasibility in systems for electronic commerce. Proc. Hawaii Internat. Conf. System Sci. (1993) (University of Hawaii, IEEE Computer Society Press, Los Alamitos, CA) 493–502vol. IIICrossref, Google Scholar
• Kimbrough S. O., Moore S. A. On automated message processing in electronic commerce and work support systems: Speech act theory and expressive felicity. ACM Trans. Inform. Systems (1997) 15(4):321–367Crossref, Google Scholar
• Kimbrough S. O., Moore S. A. On the spanning hypothesis for EDI semantics. Proc. 32nd Hawaii Internat. Conf. Systems Sci. (1999) (University of Hawaii, IEEE Computer Society Press)Crossref, Google Scholar
• Labrou Y. Semantics for an agent communication language. (1996) . PhD thesis UMI #9700710. Computer Science and Electrical Engineering Department University of Maryland, College Park, MDGoogle Scholar
• Labrou Y., Finin T. A semantics approach for KQML—a general purpose communication language for software agents. Proc. Third Internat. Conf. Inform. Knowledge Management (1994) (National Institute of Standards and Technology, ACM Press, New York) 447–55Crossref, Google Scholar
• Labrou Y., Finin T. A proposal for a new KQML specification. Technical Report CS-97-03. (1997) . http://www.cs.umbc.edu/kqml/Google Scholar
• Lee R. M. Bureaucracies as deontic systems. ACM Trans. Office Inform. Systems (1988) 6(2):87–108Crossref, Google Scholar
• Lee Y. K., Park S. J. OPNets: An object-oriented high-level Petri net model for real-time system modeling. J. Systems Software (1993) 20:69–86Crossref, Google Scholar
• Levinson S. C.Pragmatics (1983) (Cambridge University Press, Cambridge, U.K.) Crossref, Google Scholar
• Light R.Presenting XML (1997) 1st ed.(SAMS.net Publishing, Indianapolis, IN) Google Scholar
• Litman D. J., Allen J. F. A plan recognition model for subdialogues in conversations. Cogn. Sci. (1987) 11:163–200Crossref, Google Scholar
• Maiocchi R., Pernici B., Bracchi G., Tsichritzis D. Time reasoning in the office environment. Office Systems: Methods and Tools (1987) (North-Holland, Amsterdam, The Netherlands) 223–246Google Scholar
• Malone T. W., Grant K. R., Turbak F. A., Brobst S. A., Cohen M. D. Intelligent information-sharing systems. Comm. ACM (1987) 30(5):390–402Crossref, Google Scholar
• McCarthy J. Elephant 2000: A programming language based on speech acts. (1993) . http://www-formal.stanford.edu/jmc/elephant.psGoogle Scholar
• Moore R. C., Hobbs J. R., Moore R. C. A formal theory of knowledge and action. Formal Theories of the Commonsense World (1985) (Ablex Publishing Corp.)319–358Google Scholar
• Moore S. A. Categorizing automated messages. Decision Support Systems (1998) 22(3):213–241Crossref, Google Scholar
• Moore S. A. KQML & FLBC: Contrasting agent communication languages. Internat. J. Electr. Commerce Forthcoming (2000a) Google Scholar
• Moore S. A., Dignum F., Greaves M. On conversation policies and the need for exceptions. Issues in Agent Communication (2000b) (Lecture Notes in Artificial Intelligence Springer-Verlag)Crossref, Google Scholar
• Moore S. A., Kimbrough S. O. Message management systems at work: Prototypes for business communication. J. Organ. Comput. (1995) 5(2):83–100Google Scholar
• Oberweis A., Lausen G., Bracchi G., Tsichritzis D. Temporal aspects in office information systems. Office Systems: Methods and Tools (1987) (North-Holland, Amsterdam, The Netherlands) 247–266Google Scholar
• Object Management Group (1999) . CORBA 2.2/IIOP Specification. < http://www.omg.org/library/c2indx.html>Google Scholar
• Peterson J. L.Petri Net Theory and the Modeling of Systems (1981) (Prentice-Hall, Englewood Cliffs, NJ) Google Scholar
• Pinci V., Shapiro R., Jensen K., Rozenberg G. An integrated software development methodology based on hierarchical colored Petri nets. High Level Petri Nets (1991) (Springer-Verlag, Berlin, Germany) 649–666Crossref, Google Scholar
• Polanyi L. A formal model of the structure of discourse. J. Pragmatics (1988) 12:601–638Crossref, Google Scholar
• Richter G., Voss K., Rozenberg G. Towards a comprehensive office model integrating information and resources. Advances in Petri Nets (1985) (Springer-Verlag, Berlin, Germany) 401–417Google Scholar
• Shoham Y. Agent-oriented programming. Artificial Intelligence (1993) 60:51–92Crossref, Google Scholar
• Strawson P., Rosenberg J. F., Travis C. On referring. Readings in the Philosophy of Language (1971) (Prentice-Hall, Inc., Englewood Cliffs, NJ) 320–44Google Scholar
• Winograd T., Flores C. F.Understanding Computers and Cognition (1986) (Ablex Publishing Corp., Norwood, NJ) Google Scholar
• Zisman M.Use of production systems for modeling asynchronous concurrent processes (1977) (The Wharton School, University of Pennsylvania, Philadelphia, PA) . Ph.D. thesisCrossref, Google Scholar