4 Search Results for "Parsons, Simon"

Document
DOI: 10.4230/LIPIcs.AFT.2025.25
The Exchange Problem

Authors: Mohit Garg and Suneel Sarswat

Published in: LIPIcs, Volume 354, 7th Conference on Advances in Financial Technologies (AFT 2025)

Abstract
Auctions are widely used in exchanges to match buy and sell requests. Once the buyers and sellers place their requests, the exchange determines how these requests are to be matched. The two most popular objectives used while determining the matching are maximizing volume with dynamic pricing and maximizing volume at a uniform price. In this work, we study the algorithmic complexity of the problems arising from these matching tasks. For dynamic-price matching, we establish a lower bound of Ω(n log n) on the running time, thereby proving that the currently best-known O(n log n) algorithm is time-optimal. In contrast, for uniform-price matching, we present a linear-time algorithm, improving upon previous methods that require O(n log n) time to match n requests.
Cite as

Mohit Garg and Suneel Sarswat. The Exchange Problem. In 7th Conference on Advances in Financial Technologies (AFT 2025). Leibniz International Proceedings in Informatics (LIPIcs), Volume 354, pp. 25:1-25:19, Schloss Dagstuhl – Leibniz-Zentrum für Informatik (2025)

Copy BibTex To Clipboard

@InProceedings{garg_et_al:LIPIcs.AFT.2025.25,
  author =	{Garg, Mohit and Sarswat, Suneel},
  title =	{{The Exchange Problem}},
  booktitle =	{7th Conference on Advances in Financial Technologies (AFT 2025)},
  pages =	{25:1--25:19},
  series =	{Leibniz International Proceedings in Informatics (LIPIcs)},
  ISBN =	{978-3-95977-400-0},
  ISSN =	{1868-8969},
  year =	{2025},
  volume =	{354},
  editor =	{Avarikioti, Zeta and Christin, Nicolas},
  publisher =	{Schloss Dagstuhl -- Leibniz-Zentrum f{\"u}r Informatik},
  address =	{Dagstuhl, Germany},
  URL =		{https://drops.dagstuhl.de/entities/document/10.4230/LIPIcs.AFT.2025.25},
  URN =		{urn:nbn:de:0030-drops-247449},
  doi =		{10.4230/LIPIcs.AFT.2025.25},
  annote =	{Keywords: Exchanges, Double Auctions, Matching Algorithms, Element Distinctness, Time Complexity}
}
Document
DOI: 10.4230/OASIcs.Gabbrielli.9
A Concurrent Language for Argumentation: Preliminary Notes

Authors: Stefano Bistarelli and Carlo Taticchi

Published in: OASIcs, Volume 86, Recent Developments in the Design and Implementation of Programming Languages (2020)

Abstract
While agent-based modelling languages naturally implement concurrency, the currently available languages for argumentation do not allow to explicitly model this type of interaction. In this paper we introduce a concurrent language for handling process arguing and communicating using a shared argumentation framework (reminding shared constraint store as in concurrent constraint). We introduce also basic expansions, contraction and revision procedures as main bricks for enforcement, debate, negotiation and persuasion.
Cite as

Stefano Bistarelli and Carlo Taticchi. A Concurrent Language for Argumentation: Preliminary Notes. In Recent Developments in the Design and Implementation of Programming Languages. Open Access Series in Informatics (OASIcs), Volume 86, pp. 9:1-9:22, Schloss Dagstuhl – Leibniz-Zentrum für Informatik (2020)

Copy BibTex To Clipboard

@InProceedings{bistarelli_et_al:OASIcs.Gabbrielli.9,
  author =	{Bistarelli, Stefano and Taticchi, Carlo},
  title =	{{A Concurrent Language for Argumentation: Preliminary Notes}},
  booktitle =	{Recent Developments in the Design and Implementation of Programming Languages},
  pages =	{9:1--9:22},
  series =	{Open Access Series in Informatics (OASIcs)},
  ISBN =	{978-3-95977-171-9},
  ISSN =	{2190-6807},
  year =	{2020},
  volume =	{86},
  editor =	{de Boer, Frank S. and Mauro, Jacopo},
  publisher =	{Schloss Dagstuhl -- Leibniz-Zentrum f{\"u}r Informatik},
  address =	{Dagstuhl, Germany},
  URL =		{https://drops.dagstuhl.de/entities/document/10.4230/OASIcs.Gabbrielli.9},
  URN =		{urn:nbn:de:0030-drops-132311},
  doi =		{10.4230/OASIcs.Gabbrielli.9},
  annote =	{Keywords: Argumentation, Concurrent Language, Debating, Negotiation, Belief Revision}
}
Document
DOI: 10.4230/DFU.Vol4.12111.135
(Social) Norm Dynamics

Authors: Giulia Andrighetto, Cristiano Castelfranchi, Eunate Mayor, John McBreen, Maite Lopez-Sanchez, and Simon Parsons

Published in: Dagstuhl Follow-Ups, Volume 4, Normative Multi-Agent Systems (2013)

Abstract
This chapter is concerned with the dynamics of social norms, that is the way that such norms change. In particular this chapter concentrates on the lifecycle that social norms go through, focusing on the generation of norms, the way that norms spread and stabilize, and the way that norms evolve. We also discuss the cognitive mechanisms behind norm compliance, the role of culture in norm dynamics, and the way that trust affects norm dynamics.
Cite as

Giulia Andrighetto, Cristiano Castelfranchi, Eunate Mayor, John McBreen, Maite Lopez-Sanchez, and Simon Parsons. (Social) Norm Dynamics. In Normative Multi-Agent Systems. Dagstuhl Follow-Ups, Volume 4, pp. 135-170, Schloss Dagstuhl – Leibniz-Zentrum für Informatik (2013)

Copy BibTex To Clipboard

@InCollection{andrighetto_et_al:DFU.Vol4.12111.135,
  author =	{Andrighetto, Giulia and Castelfranchi, Cristiano and Mayor, Eunate and McBreen, John and Lopez-Sanchez, Maite and Parsons, Simon},
  title =	{{(Social) Norm Dynamics}},
  booktitle =	{Normative Multi-Agent Systems},
  pages =	{135--170},
  series =	{Dagstuhl Follow-Ups},
  ISBN =	{978-3-939897-51-4},
  ISSN =	{1868-8977},
  year =	{2013},
  volume =	{4},
  editor =	{Andrighetto, Giulia and Governatori, Guido and Noriega, Pablo and van der Torre, Leendert W. N.},
  publisher =	{Schloss Dagstuhl -- Leibniz-Zentrum f{\"u}r Informatik},
  address =	{Dagstuhl, Germany},
  URL =		{https://drops.dagstuhl.de/entities/document/10.4230/DFU.Vol4.12111.135},
  URN =		{urn:nbn:de:0030-drops-40023},
  doi =		{10.4230/DFU.Vol4.12111.135},
  annote =	{Keywords: Social norms, Norm generation, Norm spreading, Norm evolution, Trust, Culture}
}
Document
DOI: 10.4230/DagSemProc.08042.1
Research Challenges for Argumentation

Authors: Jürgen Dix, Simon Parsons, Henry Prakken, and Guillermo Simari

Published in: Dagstuhl Seminar Proceedings, Volume 8042, Perspectives Workshop: Theory and Practice of Argumentation Systems (2008)

Abstract
The first articles on argumentation in computer science appeared circa 20 years ago. Since then we have seen great advances, establishing a solid theoretical basis, a broad canvas of applications, and, most recently, some realistic implementations. The field has gone from infancy to maturity, and the initial questions that researchers posed – "how do we do this?", "what is it good for?" and "how do we implement it – are mostly answered.
Cite as

Jürgen Dix, Simon Parsons, Henry Prakken, and Guillermo Simari. Research Challenges for Argumentation. In Perspectives Workshop: Theory and Practice of Argumentation Systems. Dagstuhl Seminar Proceedings, Volume 8042, pp. 1-13, Schloss Dagstuhl – Leibniz-Zentrum für Informatik (2008)

Copy BibTex To Clipboard

@InProceedings{dix_et_al:DagSemProc.08042.1,
  author =	{Dix, J\"{u}rgen and Parsons, Simon and Prakken, Henry and Simari, Guillermo},
  title =	{{Research Challenges for Argumentation}},
  booktitle =	{Perspectives Workshop: Theory and Practice of Argumentation Systems},
  pages =	{1--13},
  series =	{Dagstuhl Seminar Proceedings (DagSemProc)},
  ISSN =	{1862-4405},
  year =	{2008},
  volume =	{8042},
  editor =	{J\"{u}rgen Dix and Simon Parsons and Henry Prakken and Guillermo Simari},
  publisher =	{Schloss Dagstuhl -- Leibniz-Zentrum f{\"u}r Informatik},
  address =	{Dagstuhl, Germany},
  URL =		{https://drops.dagstuhl.de/entities/document/10.4230/DagSemProc.08042.1},
  URN =		{urn:nbn:de:0030-drops-15770},
  doi =		{10.4230/DagSemProc.08042.1},
  annote =	{Keywords: Argumentation, reasoning, agent systems}
}
  • Refine by Type
  • 4 Document/PDF
  • 1 Document/HTML

  • Refine by Publication Year
  • 1 2025
  • 1 2020
  • 1 2013
  • 1 2008

  • Refine by Author
  • 2 Parsons, Simon
  • 1 Andrighetto, Giulia
  • 1 Bistarelli, Stefano
  • 1 Castelfranchi, Cristiano
  • 1 Dix, Jürgen
  • Show More...

  • Refine by Series/Journal
  • 1 LIPIcs
  • 1 OASIcs
  • 1 DFU
  • 1 DagSemProc

  • Refine by Classification
  • 1 Applied computing → Electronic commerce
  • 1 Computing methodologies → Concurrent programming languages
  • 1 Computing methodologies → Knowledge representation and reasoning
  • 1 Theory of computation → Concurrency
  • 1 Theory of computation → Design and analysis of algorithms

  • Refine by Keyword
  • 2 Argumentation
  • 1 Belief Revision
  • 1 Concurrent Language
  • 1 Culture
  • 1 Debating
  • Show More...

Any Issues?
X

Feedback on the Current Page

CAPTCHA

Thanks for your feedback!

Feedback submitted to Dagstuhl Publishing

Could not send message

Please try again later or send an E-mail
© 2023-2026 Schloss Dagstuhl – LZI GmbH Schloss Dagstuhl – LZI GmbH About DROPS Imprint Privacy Contact