Conditional Commitments
暂无分享,去创建一个
Jamal Bentahar | Rachida Dssouli | Hongyang Qu | Mohamed El-Menshawy | Warda El Kholy | R. Dssouli | J. Bentahar | Hongyang Qu | M. El-Menshawy | W. E. Kholy
[1] Munindar P. Singh,et al. Commitment-Based Service-Oriented Architecture , 2009, Computer.
[2] M. Sirbu. Credits and debits on the Internet , 1997 .
[3] Munindar P. Singh. Semantical Considerations on Dialectical and Practical Commitments , 2008, AAAI.
[4] Cristina Baroglio,et al. On Temporal Regulations and Commitment Protocols , 2011, IJCAI.
[5] Alessio Lomuscio,et al. MCMAS: A Model Checker for the Verification of Multi-Agent Systems , 2009, CAV.
[6] Jamal Bentahar,et al. Reducing model checking commitments for agent communication to model checking ARCTL and GCTL* , 2013, Autonomous Agents and Multi-Agent Systems.
[7] Munindar P. Singh,et al. Commitment Machines , 2001, ATAL.
[8] Munindar P. Singh,et al. Formalizing and verifying protocol refinements , 2013, TIST.
[9] Marco Colombetti,et al. Research directions in agent communication , 2013, TIST.
[10] Alessio Lomuscio,et al. Towards Verifying Contract Regulated Service Composition , 2008, ICWS.
[11] Munindar P. Singh,et al. Toward verification of commitment protocols and their compositions , 2007, AAMAS '07.
[12] Jamal Bentahar,et al. Verifying conformance of multi-agent commitment-based protocols , 2013, Expert Syst. Appl..
[13] John-Jules Ch. Meyer,et al. A New Logical Semantics for Agent Communication , 2006, CLIMA.
[14] Jamal Bentahar,et al. Communicative commitments: Model checking and complexity analysis , 2012, Knowl. Based Syst..
[15] Y VardiMoshe,et al. An automata-theoretic approach to branching-time model checking , 2000 .
[16] Munindar P. Singh. A Social Semantics for Agent Communication Languages , 2000, Issues in Agent Communication.
[17] Stephan Merz,et al. Model Checking , 2000 .
[18] Jamal Bentahar,et al. On the verification of social commitments and time , 2011, AAMAS.
[19] Jamal Bentahar,et al. Verifiable Semantic Model for Agent Interactions Using Social Commitments , 2009, LADS.
[20] Munindar P. Singh. An ontology for commitments in multiagent systems: , 1999, Artificial Intelligence and Law.
[21] Cristiano Castelfranchi,et al. Commitments: From Individual Intentions to Groups and Organizations , 1995, ICMAS.
[22] Cristina Baroglio,et al. Constitutive and regulative specifications of commitment protocols: A decoupled approach , 2013, TIST.
[23] Jamal Bentahar,et al. Model Checking Agent Communication , 2010 .
[24] Franco Zambonelli,et al. Developing multiagent systems: The Gaia methodology , 2003, TSEM.
[25] Philippe Schnoebelen,et al. The Complexity of Temporal Logic Model Checking , 2002, Advances in Modal Logic.
[26] Ronald Fagin,et al. Reasoning about knowledge , 1995 .
[27] Alexander Artikis,et al. Specifying Open Agent Systems: A Survey , 2009, ESAW.
[28] Michael Winikoff,et al. Enhancing Commitment Machines , 2004, DALT.
[29] Wojciech Jamroga,et al. Strategic commitment and release in logics for multi-agent systems , 2008 .
[30] Munindar P. Singh,et al. Verifying Compliance with Commitment Protocols Enabling Open Web-Based Multiagent Systems , 1999 .
[31] Marco Colombetti,et al. A logical model of social commitment for agent communication , 2003, AAMAS '03.
[32] Xavier Parent,et al. A Convention-based Approach to Agent Communication Languages , 2007 .
[33] Diego Calvanese,et al. Verification of data-aware commitment-based multiagent system , 2014, AAMAS.
[34] Rik Eshuis,et al. Symbolic model checking of UML activity diagrams , 2006, TSEM.
[35] Munindar P. Singh,et al. Specifying and Verifying Cross-Organizational Business Models: An Agent-Oriented Approach , 2012, IEEE Transactions on Services Computing.
[36] Munindar P. Singh. An ontology for commitments in multiagent systems: , 1999, Artificial Intelligence and Law.
[37] Munindar P. Singh,et al. Verifying Compliance with Commitment Protocols , 1998, Autonomous Agents and Multi-Agent Systems.
[38] Paola Mello,et al. Representing and monitoring social commitments using the event calculus , 2013, Autonomous Agents and Multi-Agent Systems.
[39] Munindar P. Singh,et al. Reasoning about Commitments in the Event Calculus: An Approach for Specifying and Executing Protocols , 2004, Annals of Mathematics and Artificial Intelligence.
[40] Munindar P. Singh. Formalizing Communication Protocols for Multiagent Systems , 2007, IJCAI.
[41] Alessio Lomuscio,et al. Verifying GSM-Based Business Artifacts , 2012, 2012 IEEE 19th International Conference on Web Services.
[42] Alessio Lomuscio,et al. Verification of Agent-Based Artifact Systems , 2013, J. Artif. Intell. Res..
[43] Jamal Bentahar,et al. Representing and reasoning about communicative conditional commitments , 2013, AAMAS.
[44] Laura Giordano,et al. Specifying and verifying interaction protocols in a temporal action logic , 2007, J. Appl. Log..
[45] Jamal Bentahar,et al. Model Checking Commitment Protocols , 2011, IEA/AIE.
[46] Munindar P. Singh,et al. Flexible protocol specification and execution: applying event calculus planning using commitments , 2002, AAMAS '02.
[47] Munindar P. Singh,et al. Resolving Commitments among Autonomous Agents , 2003, Workshop on Agent Communication Languages.
[48] Paola Mello,et al. Social Commitments in Time: Satisfied or Compensated , 2009, DALT.
[49] Munindar P. Singh,et al. Amoeba: A methodology for modeling and evolving cross-organizational business processes , 2009, TSEM.
[50] Jamal Bentahar,et al. Symbolic Model Checking Commitment Protocols Using Reduction , 2010, DALT.
[51] Munindar P. Singh,et al. Nonmonotonic Commitment Machines , 2003, Workshop on Agent Communication Languages.
[52] Mohamed El Menshawy Mohamed,et al. Model Checking Logics of Social Commitments for Agent Communication , 2012 .
[53] Munindar P. Singh,et al. Multiagent commitment alignment , 2009, AAMAS.
[54] Cristina Baroglio,et al. Behavior-Oriented Commitment-based Protocols , 2010, ECAI.
[55] Munindar P. Singh,et al. Amoeba : A Methodology for Modeling and Evolution of Cross-Organizational Business Processes , 2008 .
[56] Cristina Baroglio,et al. A Generalized Commitment Machine for 2CL Protocols and Its Implementation , 2012, DALT.
[57] James Harland,et al. Temporal linear logic as a basis for flexible agent interactions , 2007, AAMAS '07.
[58] R. Cleaveland,et al. Efficient Model Checking Via Büchi Tableau Automata , 2001, CAV.
[59] Marco Colombetti,et al. Artificial institutions: a model of institutional reality for open multiagent systems , 2008, Artificial Intelligence and Law.
[60] Giovanni Denaro,et al. ACM Transactions on Software Engineering and Methodology : Volume 22, Nomor 4, 2013 , 2014 .