oru.sePublikasjoner
Endre søk
RefereraExporteraLink to record
Permanent link

Direct link
Referera
Referensformat
  • apa
  • ieee
  • modern-language-association-8th-edition
  • vancouver
  • Annet format
Fler format
Språk
  • de-DE
  • en-GB
  • en-US
  • fi-FI
  • nn-NO
  • nn-NB
  • sv-SE
  • Annet språk
Fler språk
Utmatningsformat
  • html
  • text
  • asciidoc
  • rtf
Simple Temporal Problems with Taboo Regions
University of Southern California, Los Angeles, USA. (Computer Science Department)
Örebro universitet, Institutionen för naturvetenskap och teknik. (AASS)
University of Southern California, Los Angeles, USA. (Computer Science Department)
2013 (engelsk)Inngår i: Proceedings of the Twenty-Seventh AAAI Conference on Artificial Intelligence (AAAI), AAAI Press, 2013Konferansepaper, Publicerat paper (Fagfellevurdert)
Abstract [en]

In this paper, we define and study the general framework of Simple Temporal Problems with Taboo regions (STPTs) and show how these problems capture metric temporal reasoning aspects which are common to many real-world applications. STPTs encode simple temporal constraints between events and user-defined taboo regions on the timeline, during which no event is allowed to take place. We discuss two different variants of STPTs. The first one deals with (instantaneous) events, while the second one allows for (durative) processes. We also provide polynomial-time algorithms for solving them. If all events or processes cannot be scheduled outside of the taboo regions, one needs to define and reason about "soft" STPTs. We show that even "soft" STPTs can be solved in polynomial time, using reductions to max-flow problems. The resulting algorithms allow for incremental computations, which is important for the successful application of our approach in real-time domains.

sted, utgiver, år, opplag, sider
AAAI Press, 2013.
Emneord [en]
Temporal Reasoning, Constraint Satisfaction, Algorithms and Complexity
HSV kategori
Forskningsprogram
Datavetenskap
Identifikatorer
URN: urn:nbn:se:oru:diva-29945OAI: oai:DiVA.org:oru-29945DiVA, id: diva2:635099
Konferanse
Twenty-Seventh AAAI Conference on Artificial Intelligence (AAAI), July 16-18, 2013, Bellevue, Washington, USA
Forskningsfinansiär
Knowledge Foundation, SAUNATilgjengelig fra: 2013-07-02 Laget: 2013-07-02 Sist oppdatert: 2018-01-11bibliografisk kontrollert

Open Access i DiVA

Fulltekst mangler i DiVA

Andre lenker

PDF

Personposter BETA

Cirillo, Marcello

Søk i DiVA

Av forfatter/redaktør
Cirillo, Marcello
Av organisasjonen

Søk utenfor DiVA

GoogleGoogle Scholar

urn-nbn

Altmetric

urn-nbn
Totalt: 214 treff
RefereraExporteraLink to record
Permanent link

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