Tractability Results in the Block Algebra
From MaRDI portal
Publication:4779591
DOI10.1093/logcom/12.5.885zbMath1021.68087OpenAlexW1982175848MaRDI QIDQ4779591
Jean-François Condotta, Luis Fariñas del Cerro, Philippe Balbiani
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
Related Items
Line-based affine reasoning in Euclidean plane ⋮ Spatial reasoning with rectangular cardinal relations. The convex tractable subalgebra ⋮ Solving infinite-domain CSPs using the patchwork property ⋮ Reasoning about Cardinal Directions between 3-Dimensional Extended Objects using Answer Set Programming ⋮ Collective singleton-based consistency for qualitative constraint networks: theory and practice