Pages that link to "Item:Q64672"
From MaRDI portal
The following pages link to Maintaining knowledge about temporal intervals (Q64672):
Displaying 50 items.
- Collective singleton-based consistency for qualitative constraint networks: theory and practice (Q2334596) (← links)
- Hybrid fragments of Halpern-Shoham logic and their expressive power (Q2334600) (← links)
- Solving strong controllability of temporal problems with uncertainty using SMT (Q2342602) (← links)
- A logic framework for reasoning with movement based on fuzzy qualitative representation (Q2350485) (← links)
- Fuzzy region connection calculus: An interpretation based on closeness (Q2379309) (← links)
- Temporal properties of repetitive entities (Q2386353) (← links)
- Temporal reasoning about fuzzy intervals (Q2389652) (← links)
- Modelling and solving temporal reasoning as propositional satisfiability (Q2389682) (← links)
- Tiling algebra for constraint-based layout editing (Q2397041) (← links)
- Bipolarity in temporal argumentation frameworks (Q2406902) (← links)
- Representations for robot knowledge in the \textsc{KnowRob} framework (Q2407430) (← links)
- Envisioning the qualitative effects of robot manipulation actions using simulation-based projections (Q2407445) (← links)
- Extending partial representations of interval graphs (Q2408095) (← links)
- A spatio-temporal framework for managing archaeological data (Q2408739) (← links)
- A survey on temporal logics for specifying and verifying real-time systems (Q2418645) (← links)
- The algebra \(\text{IA}^{\text{fuz}}\): a framework for qualitative fuzzy temporal reasoning (Q2457614) (← links)
- RCC8 binary constraint network can be consistently extended (Q2457645) (← links)
- Incremental qualitative temporal reasoning: Algorithms for the point algebra and the ORD-Horn class (Q2457656) (← links)
- Processes and continuous change in a SAT-based planner (Q2457662) (← links)
- On the consistency of cardinal direction constraints (Q2457686) (← links)
- A new modal logic for reasoning about space: spatial propositional neighborhood logic (Q2462632) (← links)
- Studying interval valued matrix games with fuzzy logic (Q2466738) (← links)
- Planning temporal events using point-interval logic (Q2473196) (← links)
- Exploiting temporal relations in mining hepatitis data (Q2478584) (← links)
- GNet: a generalized network model and its applications in qualitative spatial reasoning (Q2482430) (← links)
- Interval-valued computations and their connection with PSPACE (Q2482463) (← links)
- A general tableau method for propositional interval temporal logics: theory and implementation (Q2506829) (← links)
- A point based model of the Gregorian calendar (Q2506997) (← links)
- Video model for dynamic objects (Q2509209) (← links)
- Realizing RCC8 networks using convex regions (Q2512988) (← links)
- Video understanding for complex activity recognition (Q2642425) (← links)
- Online perceptual learning and natural language acquisition for autonomous robots (Q2667822) (← links)
- Visualising lattices with tabular diagrams (Q2671624) (← links)
- Combining qualitative and quantitative constraints in temporal reasoning (Q2676582) (← links)
- Temporal reasoning based on semi-intervals (Q2690137) (← links)
- A qualitative temporal extension of here-and-there logic (Q2694563) (← links)
- A METHOD FOR TEMPORAL KNOWLEDGE INTEGRATION USING INDETERMINATE MODEL OF TIME (Q2790362) (← links)
- Document spanners: a formal approach to information extraction (Q2796400) (← links)
- Selected Temporal Logic Systems: An Attempt at Engineering Evaluation (Q2814121) (← links)
- Why Systems of Temporal Logic Are Sometimes (Un)useful? (Q2814135) (← links)
- New Integral Approach to the Specification of STPU-Solutions (Q2814136) (← links)
- Interval Temporal Logic Model Checking: The Border Between Good and Bad HS Fragments (Q2817939) (← links)
- Two-sorted point-interval temporal logics (Q2825405) (← links)
- Equivalences in Euler-based diagram systems through normal forms (Q2827282) (← links)
- Dyck algebras, interval temporal logic, and posets of intervals (Q2827488) (← links)
- Prompt Interval Temporal Logic (Q2835872) (← links)
- Reasoning with topological and directional spatial information (Q2857285) (← links)
- Semiring neighbours: an algebraic embedding and extension of neighbourhood logic (Q2864394) (← links)
- Temporal contextual logic programming (Q2873801) (← links)
- Delay-robust event scheduling (Q2875596) (← links)
