2 Search Results for "de la Torre, Gonzalo"

Document

Current and Future Challenges in Knowledge Representation and Reasoning (Dagstuhl Perspectives Workshop 22282)

Authors: James P. Delgrande, Birte Glimm, Thomas Meyer, Miroslaw Truszczynski, and Frank Wolter

Published in: Dagstuhl Manifestos, Volume 10, Issue 1 (2024)

Abstract

Knowledge Representation and Reasoning is a central, longstanding, and active area of Artificial Intelligence. Over the years it has evolved significantly; more recently it has been challenged and complemented by research in areas such as machine learning and reasoning under uncertainty. In July 2022,sser a Dagstuhl Perspectives workshop was held on Knowledge Representation and Reasoning. The goal of the workshop was to describe the state of the art in the field, including its relation with other areas, its shortcomings and strengths, together with recommendations for future progress. We developed this manifesto based on the presentations, panels, working groups, and discussions that took place at the Dagstuhl Workshop. It is a declaration of our views on Knowledge Representation: its origins, goals, milestones, and current foci; its relation to other disciplines, especially to Artificial Intelligence; and on its challenges, along with key priorities for the next decade.

Cite as

James P. Delgrande, Birte Glimm, Thomas Meyer, Miroslaw Truszczynski, and Frank Wolter. Current and Future Challenges in Knowledge Representation and Reasoning (Dagstuhl Perspectives Workshop 22282). In Dagstuhl Manifestos, Volume 10, Issue 1, pp. 1-61, Schloss Dagstuhl – Leibniz-Zentrum für Informatik (2024)

Copy BibTex To Clipboard

@Article{delgrande_et_al:DagMan.10.1.1,
  author =	{Delgrande, James P. and Glimm, Birte and Meyer, Thomas and Truszczynski, Miroslaw and Wolter, Frank},
  title =	{{Current and Future Challenges in Knowledge Representation and Reasoning (Dagstuhl Perspectives Workshop 22282)}},
  pages =	{1--61},
  journal =	{Dagstuhl Manifestos},
  ISSN =	{2193-2433},
  year =	{2024},
  volume =	{10},
  number =	{1},
  editor =	{Delgrande, James P. and Glimm, Birte and Meyer, Thomas and Truszczynski, Miroslaw and Wolter, Frank},
  publisher =	{Schloss Dagstuhl -- Leibniz-Zentrum f{\"u}r Informatik},
  address =	{Dagstuhl, Germany},
  URL =		{https://drops.dagstuhl.de/entities/document/10.4230/DagMan.10.1.1},
  URN =		{urn:nbn:de:0030-drops-201403},
  doi =		{10.4230/DagMan.10.1.1},
  annote =	{Keywords: Knowledge representation and reasoning, Applications of logics, Declarative representations, Formal logic}
}

Document

DOI: 10.4230/LIPIcs.TQC.2013.207

Certifying the Absence of Apparent Randomness under Minimal Assumptions

Authors: Gonzalo de la Torre, Chirag Dhara, and Antonio Acin

Published in: LIPIcs, Volume 22, 8th Conference on the Theory of Quantum Computation, Communication and Cryptography (TQC 2013)

Abstract

Contrary to classical physics, the predictions of quantum theory for measurement outcomes are of a probabilistic nature. Questions about the completeness of such predictions lie at the core of quantum physics and can be traced back to the foundations of the field. Recently, the completeness of quantum probabilistic predictions could be established based on the assumption of freedom of choice. Here we ask when can events be established to be as unpredictable as we observe them to be relying only on minimal assumptions, ie. distrusting even the free choice assumption but assuming the existence of an arbitrarily weak (but non-zero) source of randomness. We answer the latter by identifying a sufficient condition weaker than the monogamy of correlations which allow us to provide a family of finite scenarios based on GHZ paradoxes where quantum probabilistic predictions are as accurate as they can possibly be. Our results can be used for a protocol of full randomness amplification, without the need of privacy amplification, in which the final bit approaches a perfect random bit exponentially fast on the number of parties.

Cite as

Gonzalo de la Torre, Chirag Dhara, and Antonio Acin. Certifying the Absence of Apparent Randomness under Minimal Assumptions. In 8th Conference on the Theory of Quantum Computation, Communication and Cryptography (TQC 2013). Leibniz International Proceedings in Informatics (LIPIcs), Volume 22, pp. 207-219, Schloss Dagstuhl – Leibniz-Zentrum für Informatik (2013)

Copy BibTex To Clipboard

@InProceedings{delatorre_et_al:LIPIcs.TQC.2013.207,
  author =	{de la Torre, Gonzalo and Dhara, Chirag and Acin, Antonio},
  title =	{{Certifying the Absence of Apparent Randomness under Minimal Assumptions}},
  booktitle =	{8th Conference on the Theory of Quantum Computation, Communication and Cryptography (TQC 2013)},
  pages =	{207--219},
  series =	{Leibniz International Proceedings in Informatics (LIPIcs)},
  ISBN =	{978-3-939897-55-2},
  ISSN =	{1868-8969},
  year =	{2013},
  volume =	{22},
  editor =	{Severini, Simone and Brandao, Fernando},
  publisher =	{Schloss Dagstuhl -- Leibniz-Zentrum f{\"u}r Informatik},
  address =	{Dagstuhl, Germany},
  URL =		{https://drops.dagstuhl.de/entities/document/10.4230/LIPIcs.TQC.2013.207},
  URN =		{urn:nbn:de:0030-drops-43112},
  doi =		{10.4230/LIPIcs.TQC.2013.207},
  annote =	{Keywords: randomness, Bell nonlocality, free choice}
}

Refine by Author
1 Acin, Antonio
1 Delgrande, James P.
1 Dhara, Chirag
1 Glimm, Birte
1 Meyer, Thomas
Show More...

Refine by Classification
1 Computing methodologies → Artificial intelligence
1 Computing methodologies → Knowledge representation and reasoning
1 Information systems → Information integration
1 Theory of computation → Complexity theory and logic
1 Theory of computation → Logic
Show More...

Refine by Keyword
1 Applications of logics
1 Bell nonlocality
1 Declarative representations
1 Formal logic
1 Knowledge representation and reasoning
Show More...

Refine by Type
2 document

Refine by Publication Year
1 2013
1 2024