Search results for "commitments"

Hits ?▲	Authors	Title	Venue	Year	Link	Author keywords
110	Dario Catalano, Ivan Visconti	Hybrid Trapdoor Commitments and Their Applications.	ICALP	2005	DBLP DOI BibTeX RDF
91	Brahim Chaib-draa, Marc-André Labrie, Mathieu Bergeron, Philippe Pasquier	DIAGAL: An Agent Communication Language Based on Dialogue Games and Sustained by Social Commitments.	Auton. Agents Multi Agent Syst.	2006	DBLP DOI BibTeX RDF	Commitments, Agent communication language, Dialogue games
91	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
81	Haifei Li 0002, Jun-Jang Jeng, Henry Chang	Managing Business Relationships in E-services Using Business Commitments.	TES	2002	DBLP DOI BibTeX RDF
81	Feng Wan, Munindar P. Singh	Commitments and causality for multiagent design.	AAMAS	2003	DBLP DOI BibTeX RDF	Dooley graphs, roles, commitments, conversation analysis
75	Paul Harrenstein, Felix Brandt 0001, Felix A. Fischer	Commitment and extortion.	AAMAS	2007	DBLP DOI BibTeX RDF	extortion, game theory, multiagent systems, commitment
66	Viji R. Avali, Michael N. Huhns	Commitment-Based Multiagent Decision Making.	CIA	2008	DBLP DOI BibTeX RDF	Commitments, BDI, CTL*
63	Mingzhong Wang, Kotagiri Ramamohanarao, Jinjun Chen	Reasoning intra-dependency in commitments for robust scheduling.	AAMAS (2)	2009	DBLP BibTeX RDF	commitment machines, commitment refactoring, scheduling, robustness, agent interaction
63	Dario Catalano, Yevgeniy Dodis, Ivan Visconti	Mercurial Commitments: Minimal Assumptions and Efficient Constructions.	TCC	2006	DBLP DOI BibTeX RDF
63	Jason Heard, Robert C. Kremer	Practical Issues in Detecting Broken Social Commitments.	AC	2006	DBLP DOI BibTeX RDF
63	Melissa Chase, Alexander Healy, Anna Lysyanskaya, Tal Malkin, Leonid Reyzin	Mercurial Commitments with Applications to Zero-Knowledge Sets.	EUROCRYPT	2005	DBLP DOI BibTeX RDF
63	Philippe Pasquier, Roberto A. Flores, Brahim Chaib-draa	Modelling Flexible Social Commitments and Their Enforcement.	ESAW	2004	DBLP DOI BibTeX RDF
63	Maria Fasli	On Commitments, Roles, and Obligations.	CEEMAS	2001	DBLP DOI BibTeX RDF
63	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
56	Jamal Bentahar, Bernard Moulin, John-Jules Ch. Meyer, Brahim Chaib-draa	A Modal Semantics for an Argumentation-Based Pragmatics for Agent Communication.	ArgMAS	2004	DBLP DOI BibTeX RDF
56	Stuart W. Chalmers, Alun D. Preece, Timothy J. Norman, Peter M. D. Gray	Commitment Management through Constraint Reification.	AAMAS	2004	DBLP DOI BibTeX RDF
56	William S. Mark, Sherman W. Tyler, James McGuire, Jon L. 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
53	Ioan Alfred Letia, Adrian Groza	Agreeing on Defeasible Commitments.	DALT	2006	DBLP DOI BibTeX RDF
53	Benoit Gaudou, Andreas Herzig, Dominique Longin	Logical formalization of social commitments: application to agent communication languages.	AAMAS (2)	2009	DBLP BibTeX RDF	modal logic, commitments, agent communication languages, grounding, speech act theory, BDI logic
53	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
53	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
47	Duc Quang Pham, James Harland	Temporal linear logic as a basis for flexible agent interactions.	AAMAS	2007	DBLP DOI BibTeX RDF	logic and formal models of agency and multi-agent systems, agent communication languages and protocols
47	Jamal Bentahar, Bernard Moulin, John-Jules Ch. Meyer, Yves Lespérance	A New Logical Semantics for Agent Communication.	CLIMA	2006	DBLP DOI BibTeX RDF
47	Claude Crépeau, Paul Dumais, Dominic Mayers, Louis Salvail	Computational Collapse of Quantum State with Application to Oblivious Transfer.	TCC	2004	DBLP DOI BibTeX RDF
47	Maria Fasli	Reasoning about the dynamics of social behaviour.	AAMAS	2003	DBLP DOI BibTeX RDF	social interaction, modal logic, BDI agents
47	Amit K. Chopra, Munindar P. Singh	Multiagent commitment alignment.	AAMAS (2)	2009	DBLP BibTeX RDF	alignment, commitments, autonomy, asynchrony
47	Ashok U. Mallya, Munindar P. Singh	An algebra for commitment protocols.	Auton. Agents Multi Agent Syst.	2007	DBLP DOI BibTeX RDF	Multiagent system modelling and design, Formal methods, Commitments, Interaction Protocols
47	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
44	Robert C. Kremer, Roberto A. Flores	Flexible Conversations Using Social Commitments and a Performatives Hierarchy.	AC	2006	DBLP DOI BibTeX RDF
44	Thomas Müller 0007	A Question of Trust: Assessing the Fulfillment of Commitments in Terms of Strategies.	DEON	2006	DBLP DOI BibTeX RDF
44	Jiangbo Dang, Michael N. Huhns	Towards Service Coalitions: Coordinating the Commitments in a Workflow.	MATES	2005	DBLP DOI BibTeX RDF
44	Danny Weyns, Elke Steegmans, Tom Holvoet	Towards commitments for situated agents.	SMC (6)	2004	DBLP DOI BibTeX RDF
44	Ashok U. Mallya, Pinar Yolum, Munindar P. Singh	Resolving Commitments among Autonomous Agents.	Workshop on Agent Communication Languages	2003	DBLP DOI BibTeX RDF
44	Roberto A. Flores, Philippe Pasquier, Brahim Chaib-draa	Conversational semantics sustained by commitments.	Auton. Agents Multi Agent Syst.	2007	DBLP DOI BibTeX RDF	Multiagent system modeling and design, Formal specification, Interaction protocols, Social commitments
44	Feng Wan, Munindar P. Singh	Formalizing and achieving multiparty agreements via commitments.	AAMAS	2005	DBLP DOI BibTeX RDF	agents, multiagent systems, commitments, agreements
38	Pinar Yolum, Munindar P. Singh	Enacting protocols by commitment concession.	AAMAS	2007	DBLP DOI BibTeX RDF	communication, protocols, argumentation
38	Feng Wan, Munindar P. Singh	Mapping Dooley Graphs and Commitment Causality to the p-Calculus.	AAMAS	2004	DBLP DOI BibTeX RDF
38	Marc-André Labrie, Brahim Chaib-draa, Nicolas Maudet	DIAGAL: A Tool for Analyzing and Modelling Commitment-Based Dialogues between Agents.	AI	2003	DBLP DOI BibTeX RDF
38	Ivan Damgård, Eiichiro Fujisaki	A Statistically-Hiding Integer Commitment Scheme Based on Groups with Hidden Order.	ASIACRYPT	2002	DBLP DOI BibTeX RDF
38	Dennis Mulcare	Striving for coherency to mitigate the complexity of system design.	ECBS	1997	DBLP DOI BibTeX RDF	system design complexity, software system complexity, design product, functional architecture, embedded systems, systems analysis, design process, architectural design, system requirements, system specifications
38	Nicoletta Fornara, Francesco Viganò, Marco Colombetti	Agent communication and artificial institutions.	Auton. Agents Multi Agent Syst.	2007	DBLP DOI BibTeX RDF	Artificial institutions, Commitments, Norms, Agent communication language
38	Robbert-Jan Beun, Rogier M. van Eijk	Dialogue Coherence: A Generation Framework.	J. Log. Lang. Inf.	2007	DBLP DOI BibTeX RDF	Cooperative dialogue games, Speech act generation, Cognitive state update, Cognitive balance, Commitments, Beliefs
38	Shakil M. Khan 0001, 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
38	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
38	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
38	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
38	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
38	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
34	Pankaj R. Telang, Munindar P. Singh	Enhancing Tropos with Commitments.	Conceptual Modeling: Foundations and Applications	2009	DBLP DOI BibTeX RDF
34	Huijia Lin, Rafael Pass, Muthuramakrishnan Venkitasubramaniam	Concurrent Non-malleable Commitments from Any One-Way Function.	TCC	2008	DBLP DOI BibTeX RDF
34	David Galindo, Flavio D. Garcia, Peter van Rossum	Computational Soundness of Non-Malleable Commitments.	ISPEC	2008	DBLP DOI BibTeX RDF
34	Philippe Golle, Richard Chow, Jessica Staddon	Testable commitments.	StorageSS	2008	DBLP DOI BibTeX RDF	litigation, responsive content, privacy, discovery, commitment scheme
34	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
34	Jiangbo Dang, Michael N. Huhns	Inferring, Validating, and Coordinating the Commitments in aWorkflow.	ICWS	2006	DBLP DOI BibTeX RDF
34	Philippe Pasquier, Brahim Chaib-draa	Modelling the links between social commitments and individual intentions.	AAMAS	2006	DBLP DOI BibTeX RDF
34	Jamal Bentahar, Bernard Moulin, Brahim Chaib-draa	Specifying and Implementing a Persuasion Dialogue Game Using Commitments and Arguments.	ArgMAS	2004	DBLP DOI BibTeX RDF
34	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
34	Feng Wan, Munindar P. Singh	Analyzing Multiparty Agreements with Commitments.	AOIS	2004	DBLP DOI BibTeX RDF
34	Thuc Duong Nguyen, Nicholas R. Jennings	Reasoning about commitments in multiple concurrent negotiations.	ICEC	2004	DBLP DOI BibTeX RDF
34	Roberto A. Flores, Philippe Pasquier, Brahim Chaib-draa	Conversational Semantics with Social Commitments.	AC	2004	DBLP DOI BibTeX RDF
34	Ashok U. Mallya, Michael N. Huhns	Commitments Among Agents.	IEEE Internet Comput.	2003	DBLP DOI BibTeX RDF
34	Barbara Dunin-Keplicz, Rineke Verbrugge	Calibrating Collective Commitments.	CEEMAS	2003	DBLP DOI BibTeX RDF
34	Daniele Micciancio, Erez Petrank	Simulatable Commitments and Efficient Concurrent Zero-Knowledge.	EUROCRYPT	2003	DBLP DOI BibTeX RDF
34	Mario Verdicchio, Marco Colombetti	Commitments for agent-based supply chain management.	SIGecom Exch.	2002	DBLP DOI BibTeX RDF	Internet, software agents, supply chain, commitment
34	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
34	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
34	Munindar P. Singh	Commitments in the Architecture of a Limited, Rational Agent.	PRICAI Workshop on Intelligent Agent Systems	1996	DBLP DOI BibTeX RDF
34	Gregg Economou, Maksim Tsvetovat, Katia P. Sycara, Massimo Paolucci 0001	Interaction without commitments: an initial approach.	Agents	2001	DBLP DOI BibTeX RDF	conversational policies, standards for agents, commitments, social agents, social norms
31	Dario Fiore 0001, Dimitris Kolonelos, Paola de Perthuis	Cuckoo Commitments: Registration-Based Encryption and Key-Value Map Commitments for Large Spaces.	IACR Cryptol. ePrint Arch.	2023	DBLP BibTeX RDF
31	Dario Fiore 0001, Dimitris Kolonelos, Paola de Perthuis	Cuckoo Commitments: Registration-Based Encryption and Key-Value Map Commitments for Large Spaces.	ASIACRYPT (5)	2023	DBLP DOI BibTeX RDF
31	Ahto Buldas, Matthias Geihs, Johannes Buchmann 0001	Long-Term Secure Commitments via Extractable-Binding Commitments.	ACISP (1)	2017	DBLP DOI BibTeX RDF
31	Serge Fehr, Max Fillinger	On the Composition of Two-Prover Commitments, and Applications to Multi-Round Relativistic Commitments.	IACR Cryptol. ePrint Arch.	2016	DBLP BibTeX RDF
31	Serge Fehr, Max Fillinger	On the Composition of Two-Prover Commitments, and Applications to Multi-round Relativistic Commitments.	EUROCRYPT (2)	2016	DBLP DOI BibTeX RDF
31	Ioana Boureanu, Serge Vaudenay	Input-Aware Equivocable Commitments and UC-secure Commitments with Atomic Exchanges.	ProvSec	2013	DBLP DOI BibTeX RDF
28	Christophe Debruyne, Pieter De Leenheer, Robert Meersman	A Method and Tool for Fact Type Reuse in the DOGMA Ontology Framework.	OTM Conferences (2)	2009	DBLP DOI BibTeX RDF	ontology engineering, knowledge reuse, Ontology reuse
28	Dario Catalano, Dario Fiore 0001, Mariagrazia Messina	Zero-Knowledge Sets with Short Proofs.	EUROCRYPT	2008	DBLP DOI BibTeX RDF
28	Alun D. Preece, Stuart W. Chalmers, Craig McKenzie, Jeff Z. Pan, Peter M. D. Gray	A semantic web approach to handling soft constraints in virtual organisations.	ICEC	2006	DBLP DOI BibTeX RDF	semantic web, virtual organisations, soft constraints
28	Ioan Alfred Letia, Raluca Vartic	Commitment-Based Policies in Persuasion Dialogues with Defeasible Beliefs.	AC	2006	DBLP DOI BibTeX RDF	agent, protocol, argumentation
28	Philippe Pasquier, Roberto A. Flores, Brahim Chaib-draa	An ontology of social control tools.	AAMAS	2006	DBLP DOI BibTeX RDF
28	Moses D. Liskov	Updatable Zero-Knowledge Databases.	ASIACRYPT	2005	DBLP DOI BibTeX RDF
28	Manuel Hilty, David A. Basin, Alexander Pretschner	On Obligations.	ESORICS	2005	DBLP DOI BibTeX RDF
28	Victor R. Lesser, Keith Decker, Thomas Wagner 0001, Norman Carver, Alan Garvey, Bryan Horling, Daniel E. Neiman, Rodion M. Podorozhny, M. V. Nagendra Prasad, Anita Raja, Régis Vincent, Ping Xuan, Xiaoqin Zhang 0001	Evolution of the GPGP/TÆMS Domain-Independent Coordination Framework.	Auton. Agents Multi Agent Syst.	2004	DBLP DOI BibTeX RDF	teamwork, multi-agent coordination
28	Pinar Yolum	Correctness Requirements for Multiagent Commitment Protocols.	ISCIS	2004	DBLP DOI BibTeX RDF
28	Maria Fasli	Accounting for Social Order in Multi-Agent Systems: Preliminary Report.	IAT	2004	DBLP DOI BibTeX RDF
28	Anderson C. A. Nascimento, Jörn Müller-Quade, Hideki Imai	Bit String Commitment Reductions with a Non-zero Rate.	CT-RSA	2004	DBLP DOI BibTeX RDF
28	Anderson C. A. Nascimento, Jörn Müller-Quade, Akira Otsuka, Goichiro Hanaoka, Hideki Imai	Unconditionally Secure Homomorphic Pre-distributed Bit Commitment and Secure Two-Party Computations.	ISC	2003	DBLP DOI BibTeX RDF
28	Ivan Damgård, Jens Groth	Non-interactive and reusable non-malleable commitment schemes.	STOC	2003	DBLP DOI BibTeX RDF	signature, commitment, one-way function, universal composability, non-malleability
28	Thomas Bartold, Edmund H. Durfee	Limiting disruption in multiagent replanning.	AAMAS	2003	DBLP DOI BibTeX RDF	biased search, conflict resolution, multiagent planning, disruption, coordination of multiple agents
28	Laurence Cholvy, Christophe Garion	Distribution of goals addressed to a group of agents.	AAMAS	2003	DBLP DOI BibTeX RDF	goal selection, qualitative decision theory, theories of rational agency, multiagent systems, modal logic
28	Rich Ervin	Chains of commitment software architecture.	SIGecom Exch.	2002	DBLP DOI BibTeX RDF	Internet
28	Eenjun Hwang, B. Prabhakaran 0001, V. S. Subrahmanian	Presentation Planning for Distributed VoD Systems.	IEEE Trans. Knowl. Data Eng.	2002	DBLP DOI BibTeX RDF	Distributed VoD, presentation plan, optimal presentation, video server
28	John K. Debenham	Who Does What in a Multiagent System for Emergent Process Management.	ECBS	2002	DBLP DOI BibTeX RDF	multiagent systems, Process management
28	Sanmay Das, Barbara J. Grosz, Avi Pfeffer	Learning and decision: making for intention reconciliation.	AAMAS	2002	DBLP DOI BibTeX RDF	group and organizational dynamics, evolution, adaptation and learning
28	John K. Debenham	Selection of Tasks and Delegation of Responsibility in a Multiagent System for Emergent Process Management.	Australian Joint Conference on Artificial Intelligence	2001	DBLP DOI BibTeX RDF
28	Christopher Habel	Piktorielle Repräsentationen als unterbestimmte räumliche Modelle / Pictorial Representations as Underdetermined Spatial Models.	Kognitionswissenschaft	1998	DBLP DOI BibTeX RDF
28	Ronald Cramer, Ivan Damgård	Zero-Knowledge Proofs for Finite Field Arithmetic; or: Can Zero-Knowledge be for Free?	CRYPTO	1998	DBLP DOI BibTeX RDF
28	Gilles Brassard, Moti Yung	One-Way Group Actions.	CRYPTO	1990	DBLP DOI BibTeX RDF
28	Bert den Boer	More Efficient Match-Making and Satisfiability: The Five Card Trick.	EUROCRYPT	1989	DBLP DOI BibTeX RDF
28	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
28	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