Search results for "commitments"

Hits ?▲	Authors	Title	Venue	Year	Link	Author keywords
3	Benoit Gaudou, Andreas Herzig, Dominique Longin	Logical formalization of social commitments: application to agent communication languages.	AAMAS	2009	DBLP DOI BibTeX RDF	modal logic, commitments, agent communication languages, grounding, speech act theory, BDI logic
3	Rafael Pass, Hoeteck Wee	Black-Box Constructions of Two-Party Protocols from One-Way Functions.	TCC	2009	DBLP DOI BibTeX RDF	black-box constructions, zero-knowledge arguments, trapdoor commitments, parallel coin-tossing, non-malleable commitments, secure two-party computation
3	Roberto A. Flores, Philippe Pasquier, Brahim Chaib-draa	Conversational semantics sustained by commitments.	Autonomous Agents and Multi-Agent Systems	2007	DBLP DOI BibTeX RDF	Multiagent system modeling and design, Formal specification, Interaction protocols, Social commitments
3	Hoeteck Wee	One-Way Permutations, Interactive Hashing and Statistically Hiding Commitments.	TCC	2007	DBLP DOI BibTeX RDF	Interactive hashing, statistically hiding commitments, black-box lower bounds
3	Brahim Chaib-draa, Marc-André Labrie, Mathieu Bergeron, Philippe Pasquier	DIAGAL: An Agent Communication Language Based on Dialogue Games and Sustained by Social Commitments.	Autonomous Agents and Multi-Agent Systems	2006	DBLP DOI BibTeX RDF	Commitments, Agent communication language, Dialogue games
3	Roberto A. Flores, Philippe Pasquier, Brahim Chaib-draa	Layered message semantics using social commitments.	AAMAS	2005	DBLP DOI BibTeX RDF	protocols, commitments, agent communication languages
3	Feng Wan, Munindar P. Singh	Formalizing and achieving multiparty agreements via commitments.	AAMAS	2005	DBLP DOI BibTeX RDF	agents, multiagent systems, commitments, agreements
3	Pinar Yolum, Munindar P. Singh	Reasoning about Commitments in the Event Calculus: An Approach for Specifying and Executing Protocols.	Ann. Math. Artif. Intell.	2004	DBLP DOI BibTeX RDF	methodologies, commitments, agent communication languages and protocols
3	Feng Wan, Munindar P. Singh	Commitments and causality for multiagent design.	AAMAS	2003	DBLP DOI BibTeX RDF	Dooley graphs, roles, commitments, conversation analysis
3	Pinar Yolum, Munindar P. Singh	Flexible protocol specification and execution: applying event calculus planning using commitments.	AAMAS	2002	DBLP DOI BibTeX RDF	commitments, agent communication languages and protocols, methodologies and tools
2	William N. Robinson, Sandeep Purao	Specifying and Monitoring Interactions and Commitments in Open Business Processes.	IEEE Software	2009	DBLP DOI BibTeX RDF
2	Pankaj R. Telang, Munindar P. Singh	Enhancing Tropos with Commitments.	Conceptual Modeling: Foundations and Applications	2009	DBLP DOI BibTeX RDF
2	Mingzhong Wang, Kotagiri Ramamohanarao, Jinjun Chen	Reasoning intra-dependency in commitments for robust scheduling.	AAMAS	2009	DBLP DOI BibTeX RDF	commitment machines, commitment refactoring, scheduling, robustness, agent interaction
2	Pankaj R. Telang, Munindar P. Singh	Business Modeling via Commitments.	SOCASE	2009	DBLP DOI BibTeX RDF
2	Amit K. Chopra, Munindar P. Singh	Multiagent commitment alignment.	AAMAS	2009	DBLP DOI BibTeX RDF	alignment, commitments, autonomy, asynchrony
2	Jens Groth	Linear Algebra with Sub-linear Zero-Knowledge Arguments.	CRYPTO	2009	DBLP DOI BibTeX RDF	Sub-linear size zero-knowledge arguments, public-coin special honest verifier zero-knowledge, Pedersen commitments, linear algebra, circuit satisfiability
2	David Galindo, Flavio D. Garcia, Peter van Rossum	Computational Soundness of Non-Malleable Commitments.	ISPEC	2008	DBLP DOI BibTeX RDF
2	Yan Tang, Damien Trog	Model Ontological Commitments Using ORM+ in T-Lex.	OTM Workshops	2008	DBLP DOI BibTeX RDF
2	Martí Navarro, Stella Heras, Vicente Julián	Ensuring Time in Real-Time Commitments.	IBERAMIA	2008	DBLP DOI BibTeX RDF
2	Philippe Golle, Richard Chow, Jessica Staddon	Testable commitments.	StorageSS	2008	DBLP DOI BibTeX RDF	litigation, responsive content, privacy, discovery, commitment scheme
2	Huijia Lin, Rafael Pass, Muthuramakrishnan Venkitasubramaniam	Concurrent Non-malleable Commitments from Any One-Way Function.	TCC	2008	DBLP DOI BibTeX RDF
2	Shien Jin Ong, Salil P. Vadhan	An Equivalence Between Zero Knowledge and Commitments.	TCC	2008	DBLP DOI BibTeX RDF
2	Yi-Nung Yang, Shi-Chung Chang	A contract of purchase commitments on shared yields as a risk-sharing mechanism among fabless-foundry partnership.	Winter Simulation Conference	2008	DBLP DOI BibTeX RDF
2	Viji R. Avali, Michael N. Huhns	Commitment-Based Multiagent Decision Making.	CIA	2008	DBLP DOI BibTeX RDF	Commitments, BDI, CTL*
2	Damien Trog, Yan Tang, Robert Meersman	Towards Ontological Commitments with Omega -RIDL Markup Language.	RuleML	2007	DBLP DOI BibTeX RDF
2	Stefan Sackmann	Personalization and Privacy in Ubiquitous Computing - Resolving the Conflict by Legally Binding Commitments.	CEC/EEE	2007	DBLP DOI BibTeX RDF
2	Mauricio Concha, Marcello Visconti, Hernán Astudillo	Agile Commitments: Enhancing Business Risk Management in Agile Development Projects.	XP	2007	DBLP DOI BibTeX RDF	commitment management, risk management, Agile development
2	Yathiraj B. Udupi, Munindar P. Singh	Dynamics of contracts-based organizations: a formal approach based on institutions.	AAMAS	2007	DBLP DOI BibTeX RDF	contracts, organizations, commitments, institutions
2	Mehmet S. Kiraz, Berry Schoenmakers, José Villegas	Efficient Committed Oblivious Transfer of Bit Strings.	ISC	2007	DBLP DOI BibTeX RDF	Committed oblivious transfer, Commitments, Homomorphic encryption
2	Nicoletta Fornara, Francesco Viganò, Marco Colombetti	Agent communication and artificial institutions.	Autonomous Agents and Multi-Agent Systems	2007	DBLP DOI BibTeX RDF	Artificial institutions, Commitments, Norms, Agent communication language
2	Ashok U. Mallya, Munindar P. Singh	An algebra for commitment protocols.	Autonomous Agents and Multi-Agent Systems	2007	DBLP DOI BibTeX RDF	Multiagent system modelling and design, Formal methods, Commitments, Interaction Protocols
2	Robbert-Jan Beun, Rogier M. van Eijk	Dialogue Coherence: A Generation Framework.	Journal of Logic, Language and Information	2007	DBLP DOI BibTeX RDF	Cooperative dialogue games, Speech act generation, Cognitive state update, Cognitive balance, Commitments, Beliefs
2	Thomas Müller	A Question of Trust: Assessing the Fulfillment of Commitments in Terms of Strategies.	DEON	2006	DBLP DOI BibTeX RDF
2	Ioan Alfred Letia, Adrian Groza	Agreeing on Defeasible Commitments.	DALT	2006	DBLP DOI BibTeX RDF
2	Dario Catalano, Yevgeniy Dodis, Ivan Visconti	Mercurial Commitments: Minimal Assumptions and Efficient Constructions.	TCC	2006	DBLP DOI BibTeX RDF
2	Guido Boella, Rossana Damiano, Joris Hulstijn, Leendert van der Torre	ACL Semantics Between Social Commitments and Mental Attitudes.	AC	2006	DBLP DOI BibTeX RDF
2	Jason Heard, Robert C. Kremer	Practical Issues in Detecting Broken Social Commitments.	AC	2006	DBLP DOI BibTeX RDF
2	Robert C. Kremer, Roberto A. Flores	Flexible Conversations Using Social Commitments and a Performatives Hierarchy.	AC	2006	DBLP DOI BibTeX RDF
2	Yuen-Yan Chan, Jin Li	BGN Authentication and Its Extension to Convey Message Commitments.	ICCSA	2006	DBLP DOI BibTeX RDF
2	Guido Boella, Rossana Damiano, Joris Hulstijn, Leendert W. N. van der Torre	Role-based semantics for agent communication: embedding of the 'mental attitudes' and 'social commitments' semantics.	AAMAS	2006	DBLP DOI BibTeX RDF
2	Philippe Pasquier, Brahim Chaib-draa	Modelling the links between social commitments and individual intentions.	AAMAS	2006	DBLP DOI BibTeX RDF
2	Jiangbo Dang, Michael N. Huhns	Inferring, Validating, and Coordinating the Commitments in aWorkflow.	ICWS	2006	DBLP DOI BibTeX RDF
2	Shakil M. Khan, Yves Lespérance	On the semantics of conditional commitment.	AAMAS	2006	DBLP DOI BibTeX RDF	conditional commitments, conditional intentions, semantics of requests, agent communication, logics for agent systems, formal models of agency
2	Dario Catalano, Ivan Visconti	Hybrid Trapdoor Commitments and Their Applications.	ICALP	2005	DBLP DOI BibTeX RDF
2	Fabrizio Furano, Andrew Hanushevsky	Managing commitments in a Multi Agent System using Passive Bids.	IAT	2005	DBLP DOI BibTeX RDF
2	Guido Boella, Joris Hulstijn, Leendert W. N. van der Torre	A Synthesis Between Mental Attitudes and Social Commitments in Agent Communication Languages.	IAT	2005	DBLP DOI BibTeX RDF
2	Mohsen Rouached, Olivier Perrin, Claude Godart	A Contract-Based Approach for Monitoring Collaborative Web Services Using Commitments in the Event Calculus.	WISE	2005	DBLP DOI BibTeX RDF
2	Ingo Schulz-Schaeffer	From Conditional Commitments to Generalized Media: On Means of Coordination Between Self-Governed Entities.	Socionics	2005	DBLP DOI BibTeX RDF
2	Jiangbo Dang, Michael N. Huhns	Towards Service Coalitions: Coordinating the Commitments in a Workflow.	MATES	2005	DBLP DOI BibTeX RDF
2	Melissa Chase, Alexander Healy, Anna Lysyanskaya, Tal Malkin, Leonid Reyzin	Mercurial Commitments with Applications to Zero-Knowledge Sets.	EUROCRYPT	2005	DBLP DOI BibTeX RDF
2	Rafael Pass, Alon Rosen	Concurrent Non-Malleable Commitments.	FOCS	2005	DBLP DOI BibTeX RDF
2	Stephen Cranefield	Reliable group communication and institutional action in a multi-agent trading scenario.	AAMAS	2005	DBLP DOI BibTeX RDF	pit, reliable group communication, commitments, interaction protocols
2	Robert C. Kremer, Roberto A. Flores	Using a performative subsumption lattice to support commitment-based conversations.	AAMAS	2005	DBLP DOI BibTeX RDF	CASA, performatives, protocols, policies, agent communications languages, ACL, FIPA, social commitments
2	Ashok U. Mallya, Munindar P. Singh	Modeling exceptions via commitment protocols.	AAMAS	2005	DBLP DOI BibTeX RDF	agents, multiagent systems, exception handling, commitments
2	Francesco Viganò, Nicoletta Fornara, Marco Colombetti	An operational approach to norms in artificial institutions.	AAMAS	2005	DBLP DOI BibTeX RDF	artificial institutions, commitments, norms, ACLs
2	Danny Weyns, Elke Steegmans, Tom Holvoet	Towards commitments for situated agents.	SMC	2004	DBLP DOI BibTeX RDF
2	Philippe Pasquier, Roberto A. Flores, Brahim Chaib-draa	Modelling Flexible Social Commitments and Their Enforcement.	ESAW	2004	DBLP DOI BibTeX RDF
2	Marcos De Oliveira, Martin K. Purvis, Stephen Cranefield, Mariusz Nowostawski	Institutions and Commitments in Open Multi-Agent Systems.	IAT	2004	DBLP DOI BibTeX RDF
2	Andrew Lim, Zhou Xu	The Bottleneck Problem with Minimum Quantity Commitments.	SWAT	2004	DBLP DOI BibTeX RDF
2	Jamal Bentahar, Bernard Moulin, Brahim Chaib-draa	Specifying and Implementing a Persuasion Dialogue Game Using Commitments and Arguments.	ArgMAS	2004	DBLP DOI BibTeX RDF
2	Dennis Hofheinz, Jörn Müller-Quade	Universally Composable Commitments Using Random Oracles.	TCC	2004	DBLP DOI BibTeX RDF	universal composition, cryptographic protocols, commitment, random oracle
2	Feng Wan, Munindar P. Singh	Analyzing Multiparty Agreements with Commitments.	AOIS	2004	DBLP DOI BibTeX RDF
2	Roberto A. Flores, Philippe Pasquier, Brahim Chaib-draa	Conversational Semantics with Social Commitments.	AC	2004	DBLP DOI BibTeX RDF
2	Amit K. Chopra, Munindar P. Singh	Commitments for Flexible Business Processes.	AAMAS	2004	DBLP DOI BibTeX RDF
2	Thuc Duong Nguyen, Nicholas R. Jennings	Reasoning about commitments in multiple concurrent negotiations.	ICEC	2004	DBLP DOI BibTeX RDF
2	Jyrki Kontio, Magnus Höglund, Jan Rydén, Pekka Abrahamsson	Managing Commitments and Risks: Challenges in Distributed Agile Development.	ICSE	2004	DBLP DOI BibTeX RDF
2	Renate A. Schmidt, Dmitry Tishkovsky, Ullrich Hustadt	Interactions between Knowledge, Action and Commitment within Agent Dynamic Logic.	Studia Logica	2004	DBLP DOI BibTeX RDF	Agent logic, knowledge, decidability, commitments, actions, dynamic logic, multi-modal logic, abilities, soundness and completeness
2	Ashok U. Mallya, Michael N. Huhns	Commitments Among Agents.	IEEE Internet Computing	2003	DBLP DOI BibTeX RDF
2	Ashok U. Mallya, Pinar Yolum, Munindar P. Singh	Resolving Commitments among Autonomous Agents.	Workshop on Agent Communication Languages	2003	DBLP DOI BibTeX RDF
2	Daniele Micciancio, Erez Petrank	Simulatable Commitments and Efficient Concurrent Zero-Knowledge.	EUROCRYPT	2003	DBLP DOI BibTeX RDF
2	Anderson C. A. Nascimento, Akira Otsuka, Hideki Imai, Jörn Müller-Quade	Unconditionally Secure Homomorphic Pre-distributed Commitments.	AAECC	2003	DBLP DOI BibTeX RDF
2	Brahim Chaib-draa, Marc-André Labrie, Nicolas Maudet	Request for Action Reconsidered as a Dialogue Game Based on Commitments.	Communication in Multiagent Systems	2003	DBLP DOI BibTeX RDF
2	Barbara Dunin-Keplicz, Rineke Verbrugge	Calibrating Collective Commitments.	CEEMAS	2003	DBLP DOI BibTeX RDF
2	Peter McBurney, Simon Parsons	Posit spaces: a performative model of e-commerce.	AAMAS	2003	DBLP DOI BibTeX RDF	performatives, e-commerce, negotiation, commitments, agent communications languages, tuple spaces, speech acts, Javaspaces
2	Jie Xing, Munindar P. Singh	Engineering commitment-based multiagent systems: a temporal logic approach.	AAMAS	2003	DBLP DOI BibTeX RDF	operational semantics, statecharts, commitments, behavior models
2	Juan A. Garay, Carl Pomerance	Timed Fair Exchange of Standard Signatures: [Extended Abstract].	Financial Cryptography	2003	DBLP DOI BibTeX RDF	Timed-release cryptography, timed commitments, blind signatures, contract signing
2	Xiaofeng Gong, Julian Newman	The Role of Deontic Concepts and Commitment in the Policy Specification of Mobile Computing Environment.	OTM Workshops	2003	DBLP DOI BibTeX RDF	deontic concepts, speech acts oriented communication, mobile computing, Commitment, commitments, security policy specification
2	Mario Verdicchio, Marco Colombetti	Commitments for agent-based supply chain management.	SIGecom Exchanges	2002	DBLP DOI BibTeX RDF	Internet, software agents, supply chain, commitment
2	Haifei Li, Jun-Jang Jeng, Henry Chang	Managing Business Relationships in E-services Using Business Commitments.	TES	2002	DBLP DOI BibTeX RDF
2	Jeremy Pitt, Lloyd Kamara, Alexander Artikis	Interaction patterns and observable commitments in a multi-agent trading scenario.	Agents	2001	DBLP DOI BibTeX RDF
2	Gregg Economou, Maksim Tsvetovat, Katia P. Sycara, Massimo Paolucci	Interaction without commitments: an initial approach.	Agents	2001	DBLP DOI BibTeX RDF	conversational policies, standards for agents, commitments, social agents, social norms
2	Cora B. Excelente-Toledo, Rachel A. Bourne, Nicholas R. Jennings	Reasoning about commitments and penalties for coordination between autonomous agents.	Agents	2001	DBLP DOI BibTeX RDF
2	Peng Yong Kong, Kee Chaing Chua, Brahim Bensaou	Compound QoS commitments for a wireless network with variable capacity (invited paper).	ICME	2001	DBLP DOI BibTeX RDF
2	Maria Fasli	On Obligations, Relativised Obligations, and Bilateral Commitments.	Canadian Conference on AI	2001	DBLP DOI BibTeX RDF
2	Luke Hunsberger	Generating Bids for Group-Related Actions in the Context of Prior Commitments.	ATAL	2001	DBLP DOI BibTeX RDF	Collaborative Planning, Simple Temporal Networks, Bid Generation, Combinatorial Auctions, Temporal Constraints, Group Decision Making
2	Maria Fasli	On Commitments, Roles, and Obligations.	CEEMAS	2001	DBLP DOI BibTeX RDF
2	Dan Boneh, Moni Naor	Timed Commitments.	CRYPTO	2000	DBLP DOI BibTeX RDF
2	Munindar P. Singh	Commitments in the Architecture of a Limited, Rational Agent.	PRICAI Workshop on Intelligent Agent Systems	1996	DBLP DOI BibTeX RDF
2	Jean-Pierre Corriveau	A time-constrained architecture for cognition.	HICSS	1995	DBLP DOI BibTeX RDF	time-constrained architecture, computational approaches, static strategy, diachronic nature, strong tractability, epistemological commitments, time-constrained model, massively parallel network, simple signals, object-oriented hierarchy, parallel architectures, knowledge based systems, software reliability, software reliability, memory, knowledge base, cognition, cognitive architectures, cognitive architecture, cognitive systems
2	Ben C. Moszkowski	Compositional reasoning about projected and infinite time.	ICECCS	1995	DBLP DOI BibTeX RDF	multiple time granularities, parallel programming, concurrency, temporal logic, temporal logic, concurrency control, theorem proving, multiprocessing systems, deadlock, commitments, concurrent system, assumptions, Interval Temporal Logic
2	William S. Mark, Sherman Tyler, James McGuire, Jon Schlossberg	Commitment-Based Software Development.	IEEE Trans. Software Eng.	1992	DBLP DOI BibTeX RDF	data requirements, Comet system, explicit representation, sensor-based tracker software, software engineering, artificial intelligence, knowledge representation, constraints, software development, reuse, reasoning, software reusability, commitments, software modules, resource consumption
1	James D. Dana Jr.	Buyer groups as strategic commitments.	Games and Economic Behavior	2012	DBLP DOI BibTeX RDF
1	Edward Shih-Tse Wang, Lily Shui-Lien Chen	Forming relationship commitments to online communities: The role of social motivations.	Computers in Human Behavior	2012	DBLP DOI BibTeX RDF
1	Miroslav Zivkovic, Joost W. Bosman, Hans van den Berg, Rob van der Mei, Hendrik B. Meeuwissen, Rudesindo Núñez-Queija	Run-time Revenue Maximization for Composite Web Services with Response Time Commitments.	AINA	2012	DBLP DOI BibTeX RDF
1	Eiichiro Fujisaki	New Constructions of Efficient Simulation-Sound Commitments Using Encryption and Their Applications.	CT-RSA	2012	DBLP DOI BibTeX RDF
1	Masayuki Abe, Kristiyan Haralambiev, Miyako Ohkubo	Group to Group Commitments Do Not Shrink.	EUROCRYPT	2012	DBLP DOI BibTeX RDF
1	Xiaofeng Chen, Willy Susilo, Fangguo Zhang, Haibo Tian, Jin Li	Identity-based trapdoor mercurial commitments and applications.	Theor. Comput. Sci.	2011	DBLP DOI BibTeX RDF
1	Federico Chesani, Paola Mello, Marco Montali, Paolo Torroni	Monitoring Time-Aware Commitments within Agent-Based Simulation Environments.	Cybernetics and Systems	2011	DBLP DOI BibTeX RDF
1	Antonín Komenda, Jirí Vokrínek, Michal Pechoucek	Plan representation and execution in multi-actor scenarios by means of social commitments.	Web Intelligence and Agent Systems	2011	DBLP DOI BibTeX RDF
1	Jeremy Clark, Aleksander Essex	CommitCoin: Carbon Dating Commitments with Bitcoin.	IACR Cryptology ePrint Archive	2011	DBLP BibTeX RDF