- Being Interactive Services and
- The Web connects services (informa-tion resources, vendors, brokers, and
- Maintenance and Prevention: Formalization and Fixpoint Characterization
- In Proceedings of the Annual Conference of the Cognitive Science Society (CogSci), 1991 Intentions, Commitments and Rationality
- Modelling Interactions via Commitments and Expectations
- Trustworthy Service Caching: Cooperative Search in P2P Information Systems
- Commitment Machines Pinar Yolum Munindar P. Singh
- Nonmonotonic Commitment Machines Amit Chopra and Munindar Singh
- Formal Aspects of Workflow Management Part 2: Distributed Scheduling \Lambday
- Semantical Considerations on Intention Dynamics for BDI Agents
- A Modular Action Description Language for Protocol Composition Nirmit Desai and Munindar P. Singh
- Operators for Propagating Trust and their Evaluation in Social Networks
- Toward InteractionOriented Programming Munindar P. Singh
- Multiagent Systems in InformationRich Environments
- Synthesizing Distributed Constrained Events from Transactional Workflow Specifications
- The Intentions of Teams: Team Structure, Endodeixis, and Exodeixis
- Commitments in the Architecture of a Limited, Rational Agent ? ??
- E. Michael Maximilien IBM Corporation
- JANUARY FEBRUARY 1998 http://computer.org/internet/ IEEE INTERNET COMPUTING Until now, this column has focused
- Intertemporal Discount Factors as a Measure of Trustworthiness in Electronic Commerce
- Michael N. Huhns University of South Carolina
- The Internet provides the backdrop for an important technical controver-
- Network Computing Munindar P. Singh \Lambda and Mladen A. Vouk y
- Toward InteractionOriented Programming Munindar P. Singh
- Trustworthy Service Composition: Challenges and Research Questions
- A Social Semantics for Agent Communication Munindar P. Singh
- 46 Published by the IEEE Computer Society 1089-7801/08/$25.00 2008 IEEE IEEE INTERNET COMPUTING Editors: M. Brian Blake mb7@georgetown.edu
- An Architectural Approach to Combining Trust and Christopher J. Hazard and Munindar P. Singh
- Flexible Protocol Specification and Execution: Applying Event Calculus Planning using Commitments
- Community Standards for Agent Communication MUNINDAR P. SINGH
- Multiagent Systems for Workflow Munindar P. Singh
- Formal Aspects of Work ow Management Part 1: Semanticsy
- Specifying and Resolving Preferences Among Agent Interaction Patterns
- In Proceedings of the International Joint Conference on Artificial Intelligence (IJCAI), 1991 Towards a Formal Theory of Communication
- MUNINDAR P. SINGH In the knowledge lies the power.
- Global Information Management via Local Autonomous Agents Michael N. Huhns Munindar P. Singh
- Being Interactive Privacy and
- Accepted to appear in the Proceedings of the 2nd Conference of the Pacific Association for Compu-tational Linguistics (PACLING), Brisbane, April 1995.
- Searching Social Networks Department of Computer Science
- Challenges for Machine Learning Cooperative Information Systems
- INTERACTIONORIENTED PROGRAMMING FOR THE WEB A Position Statement for the
- Interaction Protocols as Design Abstractions for Business Processes
- Dynamic Communities in Referral Networks Pinar Yolum and Munindar P. Singh
- Being Interactive Privacy for
- Multiagent Policy Architecture for Virtual Business Organizations Yathiraj B. Udupi
- Architecture for Affective Social Games Derek J. Sollenberger and Munindar P. Singh
- Formal Trust Model for Multiagent Systems Yonghong Wang and Munindar P. Singh
- Formal Aspects of Workflow Management Part 1: Semantics \Lambday
- In Proceedings of the 6th International Conference on Management of Data (COMAD), 1994 Workflow Execution Through Distributed Events
- Enhancing Tropos with Commitments A Business Metamodel and Methodology
- Protocols for Processes Munindar P. Singh
- Abstracting Business Modeling Patterns from Pankaj R. Telang and Munindar P. Singh
- In my last column I explained why I think full-fledged business-to-con-
- As agents get smarter and our expec-tations of their capabilities rise corre-
- The Next Big Thing: Position Statements Munindar P. Singh
- Verifying Compliance with Commitment Protocols Enabling Open WebBased Multiagent Systems
- MAY JUNE 1997 http://computer.org/internet/ IEEE INTERNET COMPUTING MOBILE AGENTS
- In Proceedings of the IEEE International Phoenix Conference on Computers and Communications, 1992 ON THE SEMANTICS OF PROTOCOLS AMONG
- Longer version of a paper that appears in AAAI Fall Symposium on Knowledge and Action at Social and Organiza tional Levels, November 1991
- Developing Formal Specifications to Coordinate Heterogeneous Autonomous Agents
- Synthesizing Coordination Requirements for Heterogeneous Autonomous Agents
- Engineering Commitment-Based Multiagent Systems: A Temporal Logic Approach
- A Comparison of Workflow Metamodels \Lambda Yu Lei and Munindar P. Singh
- Protocol Refinement: Formalization and Verification Scott N. Gerard and Munindar P. Singh
- When you build or buy an agent for the Web, you want it to perform as well as possi-
- BEINGINTERACTIVE Last issue, I wrote about interaction
- Challenges for Mobile Agents Munindar P. Singh
- Auton Agent Multi-Agent Syst DOI 10.1007/s10458-010-9160-3
- As the Internet extends its reach, peo-ple want to do more and more with
- Trust Representation and Aggregation in a Distributed Agent System Yonghong Wang and Munindar P. Singh
- Detecting Deception in Reputation Management Department of Computer Science
- In Proceedings of the International Joint Conference on Artificial Intelligence Workshop on Theoretical and Practical Design of Rational Agents, 1991
- Developing Formal Specifications to Coordinate Heterogeneous Autonomous Agents
- In Proceedings of the National Conference on Artificial Intelligence (AAAI), 1991 A Logic of Situated Knowhow
- Engineering Foreign Exchange Processes via Commitment Protocols Nirmit Desai
- 0018-9162/98/$10.00 1998 IEEE40 Computer gents are important because they let soft-
- Yves DEMAZEAU and JeanPierre M ULLER (Eds.)
- Multiagent Systems as Spheres of Commitment Munindar P. Singh \Lambda
- Be Patient and Tolerate Imprecision: How Autonomous Agents can Coordinate Effectively \Lambda
- ReseaRch FeaTURe computer46 Published by the IEEE Computer Society 0018-9162/09/$26.00 2009 IEEE
- Research Directions in Agent Communication AMIT K. CHOPRA
- Trust as Dependence: A Logical Approach Munindar P. Singh
- Being Interactive The Invisible
- ONLINE APPENDIX MAPPING SEQUENCE DIAGRAMS TO NUSMV MOD-
- Commitments for Business Overview of Concepts, Protocols,
- Interoperation in Protocol Enactment Amit K. Chopra and Munindar P. Singh
- Programming Multiagent Systems without Programming Agents
- Being Interactive Health Care
- Protocols for Processes Programming in the Large for Open Systems
- In Proceedings of the European Conference on Artificial Intelligence (ECAI), 1992 Computing the Temporal Structure of Events in
- Toward a Model Theory of Actions: How Agents do it in Branching Time
- Appears in Annals of Mathematics and Artificial Intelligence, volume 8, number I--II, pages 47--71 A Semantics for Speech Acts \Lambda
- A Conceptual Analysis of Commitments in Multiagent Systems
- MCC Technical Report Number KBNL08693 Intentions for Multiagent Systems
- Semantical Considerations on Workflows: An Algebra for Intertask Dependencies
- The Bases of Effective Coordination in Decentralized Multiagent Systems ?
- The Web can seem so uniformly accessible that it is easy to begin
- Mining Business Contracts for Service Exceptions Xibin Gao, Munindar P. Singh, Fellow, IEEE, and Pankaj Mehra
- Information Sharing among Autonomous Agents in Referral Networks
- Formalizing Actions in Branching Time: ModelTheoretic Considerations
- IEEE INTERNET COMPUTING http://computer.org/internet/ JANUARY FEBRUARY 1997 A decade ago this claim would have evoked
- Interaction pervades the Internet. Not only its newest applications but also
- Mapping Dooley Graphs and Commitment Causality to the -Calculus Department of Computer Science
- A Pragmatics Perspective on Web Services
- Trust-Based Recommendation Based on Graph Chung-Wei Hang and Munindar P. Singh
- Verifying Compliance with Commitment Protocols Enabling Open Web-Based Multiagent Systems
- Choice, Interoperability, and Conformance in Interaction Protocols and Service Choreographies
- Business Modeling via Commitments Pankaj R. Telang and Munindar P. Singh
- Amoeba: A Methodology for Modeling and Evolving Cross-Organizational
- Being Interactive The Pragmatic
- Formalizing and Achieving Multiparty Agreements via Commitments
- Semantical Considerations on Dialectical and Practical Commitments Munindar P. Singh
- Analyzing Contract Robustness through a Model of Commitments
- Achieving Trust via Service Graphs Pinar Yolum
- COMMUNICATIONS OF THE ACM April 2000/Vol. 43, No. 4 107 popular techies' tale goes
- LoST: Local State Transfer An Architectural Style for the Distributed Enactment of Business Protocols
- Formalizing and Verifying Protocol Refinements Scott N. Gerard and Munindar P. Singh
- Specifying and Applying Commitment-Based Business Patterns
- Information-Driven Interaction-Oriented Programming: BSPL, the Blindingly Simple Protocol Language
- Commitments with Regulations: Reasoning about Safety and Control in REGULA
- Abstracting and Applying Business Modeling Patterns from RosettaNet
- Governance of Services: A Natural Function for Agents Frances Brazier1
- An Architecture for Multiagent Systems An Approach Based on Commitments
- Correctness Properties for Multiagent Systems Munindar P. Singh1
- Multiagent Commitment Alignment Amit K. Chopra
- On the Enactability of Business Protocols Nirmit Desai
- Checking Correctness of Business Contracts via Commitments
- Constitutive Interoperability Amit K. Chopra
- Representing and Reasoning About Commitments in Business Processes Nirmit Desai and Amit K. Chopra and Munindar P. Singh
- Producing Compliant Interactions: Conformance, Coverage, and Interoperability
- Business Process Adaptations via Protocols Nirmit Desai Amit K. Chopra Munindar P. Singh
- Contract Enactment in Virtual Organizations: A Commitment-Based Approach Yathiraj B. Udupi and Munindar P. Singh
- Contextualizing Commitment Protocols Amit K. Chopra
- An Algebra for Commitment Protocols Ashok U. Mallya and Munindar P. Singh
- Incorporating Commitment Protocols into Tropos Ashok U. Mallya and Munindar P. Singh
- Modeling Exceptions via Commitment Protocols Ashok U. Mallya
- Protocols for Processes: Programming in the Large for Open Systems
- Reasoning About Commitments in the Event Calculus: An Approach for Specifying and Executing Protocols
- Commitments and Causality for Multiagent Design Department of Computer Science
- Verifying Constraints on Web Service Compositions
- The Intentions of Teams: Team Structure, Endodeixis, and Exodeixis
- Formal Aspects of Work ow Management Part 2: Distributed Schedulingy
- Semantical Considerations on Workflows: An Algebra for Intertask Dependencies
- Methodology for Engineering Affective Social Applications
- Journal of Artificial Intelligence Research 40 (2011) 221-267 Submitted 06/10; published 01/11 A Probabilistic Approach for Maintaining Trust
- From Quality to Utility: Adaptive Service Selection Framework
- Trustworthy Service Selection and Composition CHUNG-WEI HANG and MUNINDAR P. SINGH
- Evidence-Based Trust A Mathematical Model Geared for Multiagent Systems
- An Adaptive Probabilistic Trust Model and its Evaluation (Short Paper)
- IEEE INTERNET COMPUTING 1089-7801/05/$20.00 2005 IEEE Published by the IEEE Computer Society NOVEMBER DECEMBER 2005 65 Service-OrientedComputingTrack
- Agent-Based Trust Model Involving Multiple Qualities E. Michael Maximilien
- Multiagent System for Dynamic Web Services Selection E. Michael Maximilien
- Toward Autonomic Web Services Trust and Selection E. Michael Maximilien
- Developing Trust in Large-Scale Peer-to-Peer Systems School of Computer Science
- use one or more times score provider
- Self-Organizing Referral Networks: A Process View of Trust and Authority
- Conceptual Model of Web Service Reputation E. Michael Maximilien
- Computational Intelligence DISTRIBUTED REPUTATION MANAGEMENT FOR
- An Evidential Model of Distributed Reputation Management Department of Computer Science
- Reputation and Endorsement for Web Services E. Michael Maximilien
- lthough both computing and communications capabilities are
- The Bases of Effective Coordination in Decentralized Multiagent Systems
- Applying the Mu-Calculus in Planning and Reasoning about Action
- A Multiagent Treatment of Agenthood Michael N. Huhns
- MUNINDAR P. SINGH In the knowledge lies the power.
- 8 Formal Methods in DAI: Logic-Based Representation and Reasoning 1
- In Proc. 10th International Workshop on Distributed Artificial Intelligence, 1990 Group Intentions
- Programming MAS without Programming Agents Munindar P. Singh and Amit K. Chopra
- Colaba: Collaborative Design of Cross-Organizational Processes
- How IT Happens Munindar P. Singh
- The Trust Competition Testbed Some Key Requirements
- The Pragmatic Web: Preliminary Thoughts Munindar P. Singh
- Being Interactive Gonna Call?
- Being Interactive oogle's popularity has turned link analysis
- Being Interactive o technology can create a market from
- Being Interactive Peer-to-Peer
- With the rapid deployment of the Internet, we now routinely interact
- Like many techies, I've been wonder-ing what changes we'll see in the
- Just about everyone seems to believe that business-to-consumer e-com-
- Two key aspects of being interactive are figuring out whom to interact
- 10 Published by the IEEE Computer Society 1089-7801/10/$26.00 2010 IEEE IEEE INTERNET COMPUTING GuestEditors'Introduction
- When you use a computer at work, chances are you're engaged in a work-
- In the early 1980s, when we first started building agents, we used Lisp
- MARCH APRIL 1998 http://computer.org/internet/ IEEE INTERNET COMPUTING The agent metaphor comes packaged
- Commitments in Multiagent Systems Some History, Some Confusions,
- An Agent-Based Approach for Trustworthy Service Pinar Yolum Munindar P. Singh
- Emergent Properties of Referral Systems Pinar Yolum
- Emergent Personalized Communities in Referral Networks Pinar Yolum and Munindar P. Singh
- Flexible Caching in Peer-to-Peer Information Systems Pinar Yolum Munindar P. Singh
- Toward Web Services Interaction Styles E. Michael Maximilien
- Resolving Commitments Among Autonomous Agents Ashok U. Mallya, Pinar Yolum, Munindar P. Singh
- Kokomo: An Empirically Evaluated Methodology for Affective Applications
- G U E S T E D I T O R S ' I N T R 0 1089-7801/97/$10.00 1997 IEEE IEEE INTERNET COMPUTING
- An Adaptive Social Network for Information Access: Theoretical and Experimental Results
- Selecting Trustworthy Service in Service-Oriented Environments
- A Customizable Coordination Service for Autonomous Agents
- The Temporal Structure of Narratives: A Semantic Approach
- Specifying and Verifying Cross-Organizational Business Models: An Agent-Oriented Approach
- To appear in Journal of Philosophical Logic, 1993 A Logic of Intentions and Beliefs \Lambdayz
- Commitments Among Autonomous Agents in InformationRich Environments ?
- 8 Formal Methods in DAI: LogicBased Representation and Reasoning 1
- In Proc. 10th International Workshop on Distributed Artificial Intelligence, 1990 Group Intentions
- Semantical Considerations on Some Primitives for Agent Specification
- C O L U M N IEEE INTERNET COMPUTING http://computer.org/internet/ NOVEMBER DECEMBER 1997
- SEPTEMBER OCTOBER 1997 http://computer.org/internet/ IEEE INTERNET COMPUTING AGENTS ON THE WEB
- 396 IEEE TRANSACTIONS ON SYSTEMS, MAN, AND CYBERNETICS--PART A: SYSTEMS AND HUMANS, VOL. 35, NO. 3, MAY 2005 Engineering Self-Organizing Referral Networks
- Service Graphs for Building Trust Pinar Yolum
- A DAML-Based Repository for QoS-Aware Semantic Web Service Selection A. Soydan Bilgin
- Emerging Properties of Knowledge Sharing Referral Networks: Considerations of Effectiveness and Fairness
- Being Interactive Physics of Service
- Distributed Enactment of Multiagent Workflows: Temporal Logic for Web Service Composition
- Semantical Considerations on Some Primitives for Agent Specification
- Enacting Protocols by Commitment Concession Pinar Yolum
- Governance of Cross-Organizational Service Agreements: A Policy-Based Approach
- Being Interactive Working the Flow
- The Internet is abuzz with electronic commerce. All too often these days,
- Synthesizing Coordination Requirements for Heterogeneous Autonomous Agents
- The Semantic Integration of Information Models Michael N. Huhns and Munindar P. Singh
- Multiagent Workflow Management Feng Wan, Sudhir K. Rustogi, Jie Xing, and Munindar P. Singh
- Automating Spoken Dialogue Systems Mona Singh,1,2
- Incorporating Expectations as a Basis for Business Service Selection
- process coherence Enterprises
- Integrating Marine Observatories into a System-of-Systems: Messaging in the US Ocean Observatories
- Incentive Mechanisms for Peer-to-Peer Systems Bin Yu and Munindar P. Singh
- A Customizable Coordination Service for Autonomous Agents
- Munindar P. Singh http://www.csc.ncsu.edu/faculty/mpsingh/ Governing Future Networks
- LoST: Local State Transfer Data, Data, Data
- Governing Sociotechnical Systems Munindar P. Singh
- Governing Sociotechnical Systems Munindar P. Singh
- Noname manuscript No. (will be inserted by the editor)
- LoST: Local State Transfer An Architectural Style for the Distributed Enactment of Business
- Commitments in Multiagent Systems Some History, Some Confusions,
- Relating Goal and Commitment Semantics Pankaj R. Telang1,2
- Comma: A Commitment-Based Business Modeling Methodology and its Empirical Evaluation
- Semantics and Verification of Information-Based Protocols Munindar P. Singh
- Platys Social: Relating Shared Places and Private Social Circles
