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 ★
Counting endpoint sequences for interval orders and interval graphs
How to revise a total preorder
Satisfiability problems on intervals and unit intervals
Processing disjunctions in temporal constraint networks
Visualising lattices with tabular diagrams
A non-reified temporal logic
A general tableau method for propositional interval temporal logics: theory and implementation
On point-duration networks for temporal reasoning
Managing concurrency in temporal planning using planner-scheduler interaction
Constructing situations and time
Computing the minimal relations in point-based qualitative temporal reasoning through metagraph closure
Default reasoning in semantic networks: A formalization of recognition and inheritance
Complementation in representable theories of region-based space
Lattice structure of temporal interval relations
Extending partial representations of interval graphs
Model checking for fragments of Halpern and Shoham's interval temporal logic based on track representatives
Temporal reasoning about fuzzy intervals
Step by step – Building representations in algebraic logic
Representability of binary relations through fuzzy numbers

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)