Maintaining knowledge about temporal intervals

Cited In (only showing first 100 items - show all)

A ModalWalk Through Space
Modal Logics Based on Mathematical Morphology for Qualitative Spatial Reasoning
Optimization in temporal qualitative constraint networks
A complete classification of the expressiveness of interval logics of Allen's relations: the general and the dense cases
The problem of coincidence in a theory of temporal multiple recurrence
Dynamic controllability via timed game automata
Representations for robot knowledge in the \textsc{KnowRob} framework
Dynamic problem structure analysis as a basis for constraint-directed scheduling heuristics
Stochastic representation and recognition of high-level group activities
Interval graph representation with given interval and intersection lengths
A logic-based calculus of events
Tractability in constraint satisfaction problems: a survey
Modelling and solving temporal reasoning as propositional satisfiability
Solving hard qualitative temporal reasoning problems: Evaluating the efficiency of using the ORD-Horn class
Separation logics and modalities: a survey
A condensed semantics for qualitative spatial reasoning about oriented straight line segments
Reasoning about visibility
On the consistency of cardinal direction constraints
A critical examination of Allen's theory of action and time
An automata-theoretic approach to constraint LTL
Qualitative reasoning with directional relations
The complexity of querying indefinite data about linearly ordered domains
Towards a general theory of action and time
Qualitative constraint satisfaction problems: an extended framework with landmarks
Combining interval-based temporal reasoning with general TBoxes
Region connection calculus: Its models and composition table
Temporal constraint networks
Adding one or more equivalence relations to the interval temporal logic \(\mathsf{AB}\overline{\mathsf{B}}\)
A tableau algorithm for description logics with concrete domains and general TBoxes
A complete classification of tractability in Allen's algebra relative to subsets of basic relations
Maximal infinite-valued constraint languages
Self-stabilizing algorithm for high service availability in spite of concurrent topology changes in ad hoc mobile networks
Interval temporal logics over strongly discrete linear orders: expressiveness and complexity
On the Expressiveness of the Interval Logic of Allen’s Relations Over Finite and Discrete Linear Orders
Diagrammatic representation for interval arithmetic
\({\mathcal E}\)-connections of abstract description systems
From local to global consistency
Solving multi-granularity temporal constraint networks
Reasoning about qualitative temporal information
A unifying approach to temporal constraint reasoning
A Road Map of Interval Temporal Logics and Duration Calculi
A semi-dynamical approach for solving qualitative spatial constraint satisfaction problems
Two-dimensional fuzzy spatial relations: a new way of computing and representation
Analyse de sensibilité pour les problèmes linéaires en variables 0-1
Numerical representation of \(PQI\) interval orders
On topological consistency and realization
A new approach to cyclic ordering of 2D orientations using ternary relation algebras
On the improvement of combined fuzzy topological and directional relations information
Qualitative and quantitative data envelopment analysis with interval data
Distributed simulation of modular time Petri nets: An approach and a case study exploiting temporal uncertainty
The dark side of interval temporal logic: marking the undecidability border
Checking interval properties of computations
Mining approximate interval-based temporal dependencies
Planning and execution with flexible timelines: a formal account
Optimal decision procedures for MPNL over finite structures, the natural numbers, and the integers
Temporal properties of repetitive entities
Directional relative position between objects in image processing: A comparison between fuzzy approaches.
Two-sorted point-interval temporal logics
RCC8 binary constraint network can be consistently extended
Efficient algorithms for qualitative reasoning about time
On begins, meets and before
Fuzzy spatial relationship refinements based on minimum bounding rectangle variations
ivs
Spatial reasoning with rectangular cardinal relations. The convex tractable subalgebra
Reasoning about cardinal directions between extended objects: the NP-hardness result
Fuzzy region connection calculus: An interpretation based on closeness
Constraining cycle alternations in model checking for interval temporal logic
Composing cardinal direction relations
Reactive synthesis from interval temporal logic specifications
On the Dynamics of Total Preorders: Revising Abstract Interval Orders
Video indexing and similarity retrieval by largest common subgraph detection using decision trees
Reasoning about cardinal directions between extended objects
Handling contingency in temporal constraint networks: from consistency to controllabilities
Qualitative and quantitative simulation: bridging the gap
Studying interval valued matrix games with fuzzy logic
Propagating belief functions through constraint systems
Interval-based temporal functional dependencies: specification and verification
Combining topological and size information for spatial reasoning
Solving strong controllability of temporal problems with uncertainty using SMT
A Decidable Spatial Logic with Cone-Shaped Cardinal Directions
Relational dual tableaux for interval temporal logics ★
Title not available (Why is that?)
Interval extensions of orders and temporal approximation spaces
Complexity analysis of a unifying algorithm for model checking interval temporal logic
On neighbourhood singleton-style consistencies for qualitative spatial and temporal reasoning
Some considerations on nonlinear time intervals
Document spanners: a formal approach to information extraction
Towards the minimum set of primitive relations in temporal logic
A collaborative scheduling approach for service-driven scientific workflow execution
Networks of probabilistic events in discrete time.
Decidability and complexity of the fragments of the modal logic of Allen's relations over the rationals
On searching and indexing sequences of temporal intervals
Model checking for fragments of the interval temporal logic HS at the low levels of the polynomial time hierarchy
LARS: a logic-based framework for analytic reasoning over streams
Trajectory databases: data models, uncertainty and complete query languages
Semiring neighbours: an algebraic embedding and extension of neighbourhood logic
Design of system for managing fuzzy relationships for integration of spatial data in querying.
Generating multimedia briefings: coordinating language and illustration
On relations between intervals
Fuzzy temporal constraint logic: A valid resolution principle

This page was built for publication: Maintaining knowledge about temporal intervals

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