On the consistency problem for the \(\mathcal {INDU}\) calculus

DOI10.1016/j.jal.2005.06.002zbMath1098.03038OpenAlexW2178398743MaRDI QIDQ2495387

Philippe Balbiani, Gérard Ligozat, Jean-François Condotta

Publication date: 30 June 2006

Published in: Journal of Applied Logic (Search for Journal in Brave)

Full work available at URL: https://doi.org/10.1016/j.jal.2005.06.002

zbMATH Keywords

tractabilityinterval algebraqualitative constraint networksqualitative temporal reasoning

Mathematics Subject Classification ID

Logic in computer science (03B70) Temporal logic (03B44)

Related Items (2)

Relation algebras of Sugihara, Belnap, Meyer, and Church ⋮ On the consistency problem for the \(\mathcal {INDU}\) calculus

Cites Work

• On the consistency problem for the \(\mathcal {INDU}\) calculus
• Reasoning about temporal relations
• Tractable disjunctions of linear constraints: Basic results and applications to temporal reasoning
• Unnamed Item
• Unnamed Item

This page was built for publication: On the consistency problem for the \(\mathcal {INDU}\) calculus