Maintaining knowledge about temporal intervals

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

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
A probabilistic logic programming event calculus
An algebraic framework for temporal attribute characteristics
Model checking interval temporal logics with regular expressions
A method of spatial reasoning based on qualitative trigonometry
Planning and reacting in uncertain and dynamic environments
An experiment in scheduling and planning of non-structured jobs: Lessons learned from artificial intelligence and operational research toolbox
Programming in metric temporal logic
On coarser interval temporal logics
Collective singleton-based consistency for qualitative constraint networks: theory and practice
A logic framework for reasoning with movement based on fuzzy qualitative representation
Uncertantty in temporal representation and reasoning
State-of-the-art on spatio-temporal information-based video retrieval
A new modal logic for reasoning about space: spatial propositional neighborhood logic
Temporal representation and reasoning in artificial intelligence: A review
Real-time piloting of flexible manufacturing systems
Interval Temporal Logic Model Checking: The Border Between Good and Bad HS Fragments
Orders on intervals over partially ordered sets: extending Allen's algebra and interval graph results.
Determining the consistency of partial tree descriptions
Relation algebras of intervals
ADVANCED SYNCHRONIZATION OF AUDIO OR SYMBOLIC MUSICAL PATTERNS: AN ALGEBRAIC APPROACH
Time representation: A taxonomy of temporal models
Interval semantics for Petri nets with inhibitor arcs
On redundant topological constraints
An SMT-based approach to weak controllability for disjunctive temporal problems with uncertainty
Satisfying constraint sets through convex envelopes
Title not available (Why is that?)
Temporal similarity by measuring possibilistic uncertainty in CBR
Interval graphs with side (and size) constraints
Implementation of the temporal reasoning mechanism in modern intelligent systems
Branching versus linear logics yet again
A note on the relation between categories and hyperstructures
Interval vs. Point Temporal Logic Model Checking
Obtaining solutions in fuzzy constraint networks
Scheduling with neural networks -- the case of the Hubble Space Telescope
Algebraic neighbourhood logic
Online event recognition over noisy data streams
A uniform representation for time and space and their mutual constraints
Exploiting lattices in a theory of space and time
Title not available (Why is that?)
Title not available (Why is that?)
From points to intervals
MINING FREQUENT TEMPORAL PATTERNS IN INTERVAL SEQUENCES
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

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)