scientific article; zbMATH DE number 2044758

MaRDI QIDQ4448731zbMATH OpenFDO

Authors Alexander Scivos, Bernhard Nebel

Publication date 18 February 2004

Full work available at URL http://link.springer.de/link/service/series/0558/bibs/2205/22050431.htm

zbMATH Keywords

constraint propagationincomplete or imprecise spatial knowledgelanguages of spatial relationsqualitative spatial reasoningspatial and temporal reasoningternary relation systems

Mathematics Subject Classification ID

Analysis of algorithms and problem complexity (68Q25) Knowledge representation (68T30) Computer graphics; computational geometry (digital and algorithmic aspects) (68U05) Computing methodologies for information systems (hypertext navigation, interfaces, decision support, etc.) (68U35) Computing methodologies and applications (68U99)

Recommendations

• scientific article; zbMATH DE number 1841828
• On the quantifier-free dynamic complexity of reachability
• On the Quantifier-Free Dynamic Complexity of Reachability
• A trajectory calculus for qualitative spatial reasoning using answer set programming
• Undecidability results for multi-lane spatial logic
• The computational complexity of propositional cirquent calculus
• Complexity of Decision Problems for Mixed and Modal Specifications
• A roadmap to decidability
• scientific article; zbMATH DE number 5295708
• Decidability of a hybrid duration calculus

Cited in

(2)

• On the realisability of double-cross matrices by polylines in the plane
• Qualitative reasoning with directional relations

This page was built for publication:

Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q4448731)