Pages that link to "Item:Q2389682"
From MaRDI portal
The following pages link to Modelling and solving temporal reasoning as propositional satisfiability (Q2389682):
Displaying 16 items.
- Satisfiability checking in Łukasiewicz logic as finite constraint satisfaction (Q352963) (← links)
- Spatial reasoning with rectangular cardinal relations. The convex tractable subalgebra (Q354605) (← links)
- Qualitative constraint satisfaction problems: an extended framework with landmarks (Q490417) (← links)
- Experimental analysis of numeric and symbolic constraint satisfaction techniques for temporal reasoning (Q1273464) (← links)
- EvIA -- evidential interval algebra and heuristic backtrack-free algorithm (Q1768748) (← links)
- Branching interval algebra: an almost complete picture (Q2051838) (← links)
- Modelling and solving temporal reasoning as propositional satisfiability (Q2389682) (← links)
- Trends in Temporal Reasoning: Constraints, Graphs and Posets (Q2807847) (← links)
- Temporal induction by incremental SAT solving (Q2845506) (← links)
- Temporal Assertions with Parametrized Propositions (Q3569200) (← links)
- Resolution for temporal logics of knowledge (Q4209289) (← links)
- (Q4318749) (← links)
- Search strategies for resolution in temporal logics (Q4647556) (← links)
- Model Theoretic Syntax and Parsing (Q4923571) (← links)
- A Generalised Approach for Encoding and Reasoning with Qualitative Theories in Answer Set Programming (Q5140008) (← links)
- On prime scenarios in qualitative spatial and temporal reasoning (Q6614889) (← links)