liu.seSök publikationer i DiVA
Driftstörningar
Det förekommer återkommande driftstörningar på några av sök-portalerna på grund av hög belastning. Vi arbetar på att lösa problemet, ni kan tillfälligt mötas av ett felmeddelande.
Ä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
Constants and finite unary relations in qualitative constraint reasoning
Linköpings universitet, Institutionen för datavetenskap, Programvara och system. Linköpings universitet, Tekniska fakulteten.
2018 (Engelska)Ingår i: Artificial Intelligence, ISSN 0004-3702, E-ISSN 1872-7921, Vol. 257Artikel i tidskrift (Refereegranskat) Published
Abstract [en]

Extending qualitative CSPs with the ability of restricting selected variables to finite sets of possible values has been proposed as an interesting research direction with important applications, cf. "Qualitative constraint satisfaction problems: an extended framework with landmarks" by Li, Liu, and Wang (2013) [48]. Previously presented complexity results for this kind of extended formalisms have typically focused on concrete examples and not on general principles. We propose three general methods. The first two methods are based on analysing the given CSP from a model-theoretical perspective, while the third method is based on directly analysing the growth of the representation of solutions. We exemplify the methods on temporal and spatial formalisms including Allens algebra and RCC-5. (C) 2017 Elsevier B.V. All rights reserved.

Ort, förlag, år, upplaga, sidor
ELSEVIER SCIENCE BV , 2018. Vol. 257
Nyckelord [en]
Constraint satisfaction; Qualitative reasoning; Computational complexity
Nationell ämneskategori
Datavetenskap (datalogi)
Identifikatorer
URN: urn:nbn:se:liu:diva-147088DOI: 10.1016/j.artint.2017.12.003ISI: 000427335000001OAI: oai:DiVA.org:liu-147088DiVA, id: diva2:1199571
Tillgänglig från: 2018-04-20 Skapad: 2018-04-20 Senast uppdaterad: 2018-04-20

Open Access i DiVA

Fulltext saknas i DiVA

Övriga länkar

Förlagets fulltext

Sök vidare i DiVA

Av författaren/redaktören
Jonsson, Peter
Av organisationen
Programvara och systemTekniska fakulteten
I samma tidskrift
Artificial Intelligence
Datavetenskap (datalogi)

Sök vidare utanför DiVA

GoogleGoogle Scholar

doi
urn-nbn

Altmetricpoäng

doi
urn-nbn
Totalt: 227 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