6 Search Results for "Löwe, Benedikt"

Volume

OASIcs, Volume 32

2013 Workshop on Computational Models of Narrative

CMN 2013, August 4-6, 2013, Hamburg, Germany

Editors: Mark A. Finlayson, Bernhard Fisseni, Benedikt Löwe, and Jan Christoph Meister

Document
DOI: 10.4230/LIPIcs.CSL.2020.33
De Jongh’s Theorem for Intuitionistic Zermelo-Fraenkel Set Theory

Authors: Robert Passmann

Published in: LIPIcs, Volume 152, 28th EACSL Annual Conference on Computer Science Logic (CSL 2020)

Abstract
We prove that the propositional logic of intuitionistic set theory IZF is intuitionistic propositional logic IPC. More generally, we show that IZF has the de Jongh property with respect to every intermediate logic that is complete with respect to a class of finite trees. The same results follow for constructive set theory CZF.
Cite as

Robert Passmann. De Jongh’s Theorem for Intuitionistic Zermelo-Fraenkel Set Theory. In 28th EACSL Annual Conference on Computer Science Logic (CSL 2020). Leibniz International Proceedings in Informatics (LIPIcs), Volume 152, pp. 33:1-33:16, Schloss Dagstuhl – Leibniz-Zentrum für Informatik (2020)

Copy BibTex To Clipboard

@InProceedings{passmann:LIPIcs.CSL.2020.33,
  author =	{Passmann, Robert},
  title =	{{De Jongh’s Theorem for Intuitionistic Zermelo-Fraenkel Set Theory}},
  booktitle =	{28th EACSL Annual Conference on Computer Science Logic (CSL 2020)},
  pages =	{33:1--33:16},
  series =	{Leibniz International Proceedings in Informatics (LIPIcs)},
  ISBN =	{978-3-95977-132-0},
  ISSN =	{1868-8969},
  year =	{2020},
  volume =	{152},
  editor =	{Fern\'{a}ndez, Maribel and Muscholl, Anca},
  publisher =	{Schloss Dagstuhl -- Leibniz-Zentrum f{\"u}r Informatik},
  address =	{Dagstuhl, Germany},
  URL =		{https://drops-dev.dagstuhl.de/entities/document/10.4230/LIPIcs.CSL.2020.33},
  URN =		{urn:nbn:de:0030-drops-116767},
  doi =		{10.4230/LIPIcs.CSL.2020.33},
  annote =	{Keywords: Intuitionistic Logic, Intuitionistic Set Theory, Constructive Set Theory}
}
Document
Invited Report
DOI: 10.4230/OASIcs.CMN.2014.9
What Makes Stories Similar? Report on a Research Project, 2011-2014 (Invited Report)

Authors: Bernhard Fisseni and Benedikt Löwe

Published in: OASIcs, Volume 41, 2014 Workshop on Computational Models of Narrative

Abstract
We present a survey of the results and findings of the research project "What makes stories similar?" funded by the John Templeton Foundation from October 2011 to May 2014.
Cite as

Bernhard Fisseni and Benedikt Löwe. What Makes Stories Similar? Report on a Research Project, 2011-2014 (Invited Report). In 2014 Workshop on Computational Models of Narrative. Open Access Series in Informatics (OASIcs), Volume 41, pp. 9-12, Schloss Dagstuhl – Leibniz-Zentrum für Informatik (2014)

Copy BibTex To Clipboard

@InProceedings{fisseni_et_al:OASIcs.CMN.2014.9,
  author =	{Fisseni, Bernhard and L\"{o}we, Benedikt},
  title =	{{What Makes Stories Similar? Report on a Research Project, 2011-2014}},
  booktitle =	{2014 Workshop on Computational Models of Narrative},
  pages =	{9--12},
  series =	{Open Access Series in Informatics (OASIcs)},
  ISBN =	{978-3-939897-71-2},
  ISSN =	{2190-6807},
  year =	{2014},
  volume =	{41},
  editor =	{Finlayson, Mark A. and Meister, Jan Christoph and Bruneau, Emile G.},
  publisher =	{Schloss Dagstuhl -- Leibniz-Zentrum f{\"u}r Informatik},
  address =	{Dagstuhl, Germany},
  URL =		{https://drops-dev.dagstuhl.de/entities/document/10.4230/OASIcs.CMN.2014.9},
  URN =		{urn:nbn:de:0030-drops-46405},
  doi =		{10.4230/OASIcs.CMN.2014.9},
  annote =	{Keywords: narratives, similarity, empirical studies}
}
Document
DOI: 10.4230/DagRep.4.1.83
Planning with epistemic goals (Dagstuhl Seminar 14032)

Authors: Thomas Agotnes, Gerhard Lakemeyer, Benedikt Löwe, and Bernhard Nebel

Published in: Dagstuhl Reports, Volume 4, Issue 1 (2014)

Abstract
This report documents the outcomes of Dagstuhl Seminar 14032 "Planning with epistemic goals". It brought together the communities of so far relatively separate research areas related to artificial intelligence and logic: automated planning on the one hand, and dynamic logics of interaction on the other. Significant overlap in motivation, theory and methods was discovered, and a good potential for cross fertilization became apparent.
Cite as

Thomas Agotnes, Gerhard Lakemeyer, Benedikt Löwe, and Bernhard Nebel. Planning with epistemic goals (Dagstuhl Seminar 14032). In Dagstuhl Reports, Volume 4, Issue 1, pp. 83-103, Schloss Dagstuhl – Leibniz-Zentrum für Informatik (2014)

Copy BibTex To Clipboard

@Article{agotnes_et_al:DagRep.4.1.83,
  author =	{Agotnes, Thomas and Lakemeyer, Gerhard and L\"{o}we, Benedikt and Nebel, Bernhard},
  title =	{{Planning with epistemic goals (Dagstuhl Seminar 14032)}},
  pages =	{83--103},
  journal =	{Dagstuhl Reports},
  ISSN =	{2192-5283},
  year =	{2014},
  volume =	{4},
  number =	{1},
  editor =	{Agotnes, Thomas and Lakemeyer, Gerhard and L\"{o}we, Benedikt and Nebel, Bernhard},
  publisher =	{Schloss Dagstuhl -- Leibniz-Zentrum f{\"u}r Informatik},
  address =	{Dagstuhl, Germany},
  URL =		{https://drops-dev.dagstuhl.de/entities/document/10.4230/DagRep.4.1.83},
  URN =		{urn:nbn:de:0030-drops-45369},
  doi =		{10.4230/DagRep.4.1.83},
  annote =	{Keywords: planning, epistemic logic, modal logic}
}
Document
Complete Volume
DOI: 10.4230/OASIcs.CMN.2013
OASIcs, Volume 32, CMN'13, Complete Volume

Authors: Mark A. Finlayson, Bernhard Fisseni, Benedikt Löwe, and Jan Christoph Meister

Published in: OASIcs, Volume 32, 2013 Workshop on Computational Models of Narrative

Abstract
OASIcs, Volume 32, CMN'13, Complete Volume
Cite as

2013 Workshop on Computational Models of Narrative. Open Access Series in Informatics (OASIcs), Volume 32, Schloss Dagstuhl – Leibniz-Zentrum für Informatik (2013)

Copy BibTex To Clipboard

@Proceedings{finlayson_et_al:OASIcs.CMN.2013,
  title =	{{OASIcs, Volume 32, CMN'13, Complete Volume}},
  booktitle =	{2013 Workshop on Computational Models of Narrative},
  series =	{Open Access Series in Informatics (OASIcs)},
  ISBN =	{978-3-939897-57-6},
  ISSN =	{2190-6807},
  year =	{2013},
  volume =	{32},
  editor =	{Finlayson, Mark A. and Fisseni, Bernhard and L\"{o}we, Benedikt and Meister, Jan Christoph},
  publisher =	{Schloss Dagstuhl -- Leibniz-Zentrum f{\"u}r Informatik},
  address =	{Dagstuhl, Germany},
  URL =		{https://drops-dev.dagstuhl.de/entities/document/10.4230/OASIcs.CMN.2013},
  URN =		{urn:nbn:de:0030-drops-41727},
  doi =		{10.4230/OASIcs.CMN.2013},
  annote =	{Keywords: Probability and statistics, Systems and Information Theory, User/Machine Systems, Models and Principles: Miscellaneous, Database applications, Content Analysis and Indexing, Information storage, Digital Libraries, Communications Applications, Multimedia Information Systems, User Interfaces}
}
Document
Front Matter
DOI: 10.4230/OASIcs.CMN.2013.i
Frontmatter, Table of Contents, Preface, Workshop Organization

Authors: Mark A. Finlayson, Bernhard Fisseni, Benedikt Löwe, and Jan Christoph Meister

Published in: OASIcs, Volume 32, 2013 Workshop on Computational Models of Narrative

Abstract
Frontmatter, Table of Contents, Preface, Workshop Organization
Cite as

2013 Workshop on Computational Models of Narrative. Open Access Series in Informatics (OASIcs), Volume 32, pp. i-xv, Schloss Dagstuhl – Leibniz-Zentrum für Informatik (2013)

Copy BibTex To Clipboard

@InProceedings{finlayson_et_al:OASIcs.CMN.2013.i,
  author =	{Finlayson, Mark A. and Fisseni, Bernhard and L\"{o}we, Benedikt and Meister, Jan Christoph},
  title =	{{Frontmatter, Table of Contents, Preface, Workshop Organization}},
  booktitle =	{2013 Workshop on Computational Models of Narrative},
  pages =	{i--xv},
  series =	{Open Access Series in Informatics (OASIcs)},
  ISBN =	{978-3-939897-57-6},
  ISSN =	{2190-6807},
  year =	{2013},
  volume =	{32},
  editor =	{Finlayson, Mark A. and Fisseni, Bernhard and L\"{o}we, Benedikt and Meister, Jan Christoph},
  publisher =	{Schloss Dagstuhl -- Leibniz-Zentrum f{\"u}r Informatik},
  address =	{Dagstuhl, Germany},
  URL =		{https://drops-dev.dagstuhl.de/entities/document/10.4230/OASIcs.CMN.2013.i},
  URN =		{urn:nbn:de:0030-drops-41357},
  doi =		{10.4230/OASIcs.CMN.2013.i},
  annote =	{Keywords: Frontmatter, Table of Contents, Preface, Workshop Organization}
}
  • Refine by Author
  • 4 Löwe, Benedikt
  • 3 Fisseni, Bernhard
  • 2 Finlayson, Mark A.
  • 2 Meister, Jan Christoph
  • 1 Agotnes, Thomas
  • Show More...

  • Refine by Classification
  • 1 Theory of computation → Constructive mathematics
  • 1 Theory of computation → Proof theory

  • Refine by Keyword
  • 1 Constructive Set Theory
  • 1 Frontmatter
  • 1 Intuitionistic Logic
  • 1 Intuitionistic Set Theory
  • 1 Preface
  • Show More...

  • Refine by Type
  • 5 document
  • 1 volume

  • Refine by Publication Year
  • 3 2013
  • 2 2014
  • 1 2020

Questions / Remarks / Feedback
X

Feedback for Dagstuhl Publishing


Thanks for your feedback!

Feedback submitted

Could not send message

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