License: Creative Commons Attribution 3.0 Unported license (CC BY 3.0)
When quoting this document, please refer to the following
DOI: 10.4230/LIPIcs.TIME.2017.13
URN: urn:nbn:de:0030-drops-79294
URL: http://dagstuhl.sunsite.rwth-aachen.de/volltexte/2017/7929/
Go to the corresponding LIPIcs Volume Portal

Geeraerts, Gilles ; Levy, Eythan ; Pluquet, Frédéric

Models and Algorithms for Chronology

pdf-format:
LIPIcs-TIME-2017-13.pdf (0.6 MB)

Abstract

The last decades have seen the rise of many fundamental chronological debates in Old World archaeology, with far-reaching historical implications. Yet, outside of radiocarbon dating - where Bayesian formal tools and models are applied - these chronological debates are still relying on non-formal models, and dates are mostly derived by hand, without the use of mathematical or computational tools, albeit the large number of complex constraints to be taken into account. This article presents formal models and algorithms for encoding archaeologically-relevant chronological constraints, computing optimal chronologies in an automated way, and automatically checking for chronological properties of a given model.

BibTeX - Entry

@InProceedings{geeraerts_et_al:LIPIcs:2017:7929,
  author =	{Gilles Geeraerts and Eythan Levy and Fr{\'e}d{\'e}ric Pluquet},
  title =	{{Models and Algorithms for Chronology}},
  booktitle =	{24th International Symposium on Temporal Representation and Reasoning (TIME 2017)},
  pages =	{13:1--13:18},
  series =	{Leibniz International Proceedings in Informatics (LIPIcs)},
  ISBN =	{978-3-95977-052-1},
  ISSN =	{1868-8969},
  year =	{2017},
  volume =	{90},
  editor =	{Sven Schewe and Thomas Schneider and Jef Wijsen},
  publisher =	{Schloss Dagstuhl--Leibniz-Zentrum fuer Informatik},
  address =	{Dagstuhl, Germany},
  URL =		{http://drops.dagstuhl.de/opus/volltexte/2017/7929},
  URN =		{urn:nbn:de:0030-drops-79294},
  doi =		{10.4230/LIPIcs.TIME.2017.13},
  annote =	{Keywords: Chronology, Algorithms, Archaeology, Formal methods}
}

Keywords: Chronology, Algorithms, Archaeology, Formal methods
Collection: 24th International Symposium on Temporal Representation and Reasoning (TIME 2017)
Issue Date: 2017
Date of publication: 25.09.2017

DROPS-Home | Fulltext Search | Imprint | Privacy Published by LZI