liu.seSök publikationer i DiVA
Driftmeddelande
För närvarande är det driftstörningar. Felsökning pågår.
Ändra sökning
RefereraExporteraLänk till posten
Permanent länk

Direktlänk
Referera
Referensformat
  • apa
  • ieee
  • modern-language-association-8th-edition
  • vancouver
  • oxford
  • Annat format
Fler format
Språk
  • de-DE
  • en-GB
  • en-US
  • fi-FI
  • nn-NO
  • nn-NB
  • sv-SE
  • Annat språk
Fler språk
Utmatningsformat
  • html
  • text
  • asciidoc
  • rtf
Fine-Grained Complexity of Temporal Problems
Durham University, Durham, England.ORCID-id: 0000-0002-5288-3330
Linköpings universitet, Institutionen för datavetenskap, Artificiell intelligens och integrerade datorsystem. Linköpings universitet, Tekniska fakulteten. (TCSLAB)ORCID-id: 0000-0002-5288-3330
University of Sheffield, Sheffield, England.ORCID-id: 0000-0003-1935-651X
Linköpings universitet, Institutionen för datavetenskap, Artificiell intelligens och integrerade datorsystem. Linköpings universitet, Tekniska fakulteten. (TCSLAB; WASP)ORCID-id: 0000-0002-2884-9837
2020 (Engelska)Ingår i: KR2020: Proceedings of the 17th International Conference on Principles of Knowledge Representation and Reasoning, IJCAI-INT JOINT CONF ARTIF INTELL , 2020, s. 284-293Konferensbidrag, Publicerat paper (Refereegranskat)
Abstract [en]

Expressive temporal reasoning formalisms are essential for AI. One family of such formalisms consists of disjunctive extensions of the simple temporal problem (STP). Such extensions are well studied in the literature and they have many important applications. It is known that deciding satisfiability of disjunctive STPs is NP-hard, while the fine-grained complexity of such problems is virtually unexplored. We present novel algorithms that exploit structural properties of the solution space and prove, assuming the Exponential-Time Hypothesis, that their worst-case time complexity is close to optimal. Among other things, we make progress towards resolving a long-open question concerning whether Allens interval algebra can be solved in single-exponential time, by giving a 2(O(n log log n)) algorithm for the special case of unit-length intervals.

Ort, förlag, år, upplaga, sidor
IJCAI-INT JOINT CONF ARTIF INTELL , 2020. s. 284-293
Nationell ämneskategori
Datavetenskap (datalogi)
Identifikatorer
URN: urn:nbn:se:liu:diva-174923DOI: 10.24963/kr.2020/29ISI: 000720083100028ISBN: 9780999241172 (tryckt)OAI: oai:DiVA.org:liu-174923DiVA, id: diva2:1543260
Konferens
17th International Conference on Principles of Knowledge Representation and Reasoning, KR 2020, Rhodes, Greece, September 12-18, 2020
Anmärkning

Funding: Wallenberg AI, Autonomous Systems and Software Program (WASP) - Knut and Alice Wallenberg Foundation; Swedish Research Council (VR)Swedish Research Council [2017-04112]

Tillgänglig från: 2021-04-09 Skapad: 2021-04-09 Senast uppdaterad: 2021-12-15Bibliografiskt granskad

Open Access i DiVA

Fulltext saknas i DiVA

Övriga länkar

Förlagets fulltext

Person

Jonsson, Peter

Sök vidare i DiVA

Av författaren/redaktören
Dabrowski, Konrad K.Jonsson, PeterOrdyniak, SebastianOsipov, George
Av organisationen
Artificiell intelligens och integrerade datorsystemTekniska fakulteten
Datavetenskap (datalogi)

Sök vidare utanför DiVA

GoogleGoogle Scholar

doi
isbn
urn-nbn

Altmetricpoäng

doi
isbn
urn-nbn
Totalt: 154 träffar
RefereraExporteraLänk till posten
Permanent länk

Direktlänk
Referera
Referensformat
  • apa
  • ieee
  • modern-language-association-8th-edition
  • vancouver
  • oxford
  • Annat format
Fler format
Språk
  • de-DE
  • en-GB
  • en-US
  • fi-FI
  • nn-NO
  • nn-NB
  • sv-SE
  • Annat språk
Fler språk
Utmatningsformat
  • html
  • text
  • asciidoc
  • rtf