Tractability Results in the Block Algebra

DOI10.1093/LOGCOM/12.5.885zbMATH Open1021.68087OpenAlexW1982175848MaRDI QIDQ4779591FDOQ4779591

Authors: Philippe Balbiani, Jean-François Condotta, Luis Fariñas del Cerro 

Publication date: 27 November 2002

Published in: Journal Of Logic And Computation (Search for Journal in Brave)

Full work available at URL: https://semanticscholar.org/paper/28284ad8121d7779bc2788e93e5574574e45ed68

Recommendations

• scientific article; zbMATH DE number 1487799
• Twenty-one large tractable subclasses of Allen's algebra
• Deciding the consistency of branching time interval networks
• A complete classification of tractability in Allen's algebra relative to subsets of basic relations
• Spatial reasoning about points in a multidimensional setting

zbMATH Keywords

qualitative constraintsblock algebraORD-Horn representabilitystrong preconvexity

Mathematics Subject Classification ID

Logic in artificial intelligence (68T27)

Cited In (8)

• Spatial reasoning about points in a multidimensional setting
• Collective singleton-based consistency for qualitative constraint networks: theory and practice
• Solving infinite-domain CSPs using the patchwork property
• On prime scenarios in qualitative spatial and temporal reasoning
• Complexity classification transfer for CSPs via algebraic products
• Spatial reasoning with rectangular cardinal relations. The convex tractable subalgebra
• Reasoning about cardinal directions between 3-dimensional extended objects using answer set programming
• Line-based affine reasoning in Euclidean plane

This page was built for publication: Tractability Results in the Block Algebra

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