Compact solution representation in qualitative constraint-based reasoning

DOI10.1007/978-3-031-76235-2_31MaRDI QIDQ6979901zbMATH OpenFDO

Authors Yakoub Salhi, Michael Sioutis

Publication date 23 May 2025

zbMATH Keywords

qualitative constraintsrobustnesssolution representationspatial and temporal reasoningexplainability

Mathematics Subject Classification ID

Reasoning under uncertainty in the context of artificial intelligence (68T37)

Cites work

• scientific article; zbMATH DE number 1946853 (Why is no real title available?)
• A Way to Simplify Truth Functions
• Characterizing diagnoses and systems
• Debugging incoherent terminologies
• Maintaining knowledge about temporal intervals
• Modelling and solving temporal reasoning as propositional satisfiability
• On redundant topological constraints
• On the (complete) reasons behind decisions
• The Problem of Simplifying Truth Functions
• Weak Composition for Qualitative Spatial and Temporal Reasoning

This page was built for publication: Compact solution representation in qualitative constraint-based reasoning

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