Skip navigation
Skip navigation

Decomposition and tractability in qualitative spatial and temporal reasoning

Huang, Jinbo; Li, Jingshi (Jason); Renz, Jochen

Description

Constraint networks in qualitative spatial and temporal reasoning (QSTR) typically feature variables defined on infinite domains. Mainstream algorithms for deciding network consistency are based on searching for network refinements whose consistency is kn

dc.contributor.authorHuang, Jinbo
dc.contributor.authorLi, Jingshi (Jason)
dc.contributor.authorRenz, Jochen
dc.date.accessioned2015-12-07T22:54:19Z
dc.identifier.issn0004-3702
dc.identifier.urihttp://hdl.handle.net/1885/28137
dc.description.abstractConstraint networks in qualitative spatial and temporal reasoning (QSTR) typically feature variables defined on infinite domains. Mainstream algorithms for deciding network consistency are based on searching for network refinements whose consistency is kn
dc.publisherElsevier
dc.sourceArtificial Intelligence
dc.subjectKeywords: Bench-mark problems; Constraint networks; Network consistencies; Network structures; Qualitative spatial and temporal reasoning; SAT; Theory and practice; Tree-width; Algorithms; Biomineralization; Decomposition; Encoding (symbols); Polynomial approximati Decomposition; Qualitative spatial and temporal reasoning; SAT; Treewidth
dc.titleDecomposition and tractability in qualitative spatial and temporal reasoning
dc.typeJournal article
local.description.notesImported from ARIES
local.identifier.citationvolume195
dc.date.issued2012
local.identifier.absfor080100 - ARTIFICIAL INTELLIGENCE AND IMAGE PROCESSING
local.identifier.ariespublicationu3968803xPUB56
local.type.statusPublished Version
local.contributor.affiliationHuang, Jinbo, College of Engineering and Computer Science, ANU
local.contributor.affiliationLi, Jingshi (Jason), Ecole Polytechnique Federale de Lausanne
local.contributor.affiliationRenz, Jochen, College of Engineering and Computer Science, ANU
local.description.embargo2037-12-31
local.bibliographicCitation.startpage140
local.bibliographicCitation.lastpage164
local.identifier.doi10.1016/j.artint.2012.09.009
dc.date.updated2016-02-24T10:21:28Z
local.identifier.scopusID2-s2.0-84884901056
local.identifier.thomsonID000315839600005
CollectionsANU Research Publications

Download

File Description SizeFormat Image
01_Huang_Decomposition_and_tractability_2012.pdf1.2 MBAdobe PDF    Request a copy


Items in Open Research are protected by copyright, with all rights reserved, unless otherwise indicated.

Updated:  19 May 2020/ Responsible Officer:  University Librarian/ Page Contact:  Library Systems & Web Coordinator