On prime scenarios in qualitative spatial and temporal reasoning
From MaRDI portal
Publication:6614889
DOI10.1016/j.ic.2024.105198MaRDI QIDQ6614889
Publication date: 8 October 2024
Published in: Information and Computation (Search for Journal in Brave)
redundancyprime implicantknowledge compilationqualitative constraintsspatial and temporal reasoningexplainable AIrobustness measurementprime scenario
Cites Work
- Unnamed Item
- Unnamed Item
- Unnamed Item
- Maintaining knowledge about temporal intervals
- An initial study of time complexity in infinite-domain constraint satisfaction
- On redundant topological constraints
- A theory of diagnosis from first principles
- Characterizing diagnoses and systems
- Algorithms for selective enumeration of prime implicants
- Networks of constraints: Fundamental properties and applications to picture processing
- An SE-tree-based prime implicant generation algorithm
- Branching interval algebra: an almost complete picture
- Solving SAT (and MaxSAT) with a quantum annealer: foundations, encodings, and preliminary results
- Modelling and solving temporal reasoning as propositional satisfiability
- Debugging incoherent terminologies
- A Way to Simplify Truth Functions
- Tractability Results in the Block Algebra
- The Problem of Simplifying Truth Functions
- Fuzzy Halpern and Shoham's interval temporal logics
- On the (complete) reasons behind decisions
This page was built for publication: On prime scenarios in qualitative spatial and temporal reasoning
