Maintaining knowledge about temporal intervals

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

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
Model checking for fragments of Halpern and Shoham's interval temporal logic based on track representatives
Decidability and complexity of the fragments of the modal logic of Allen's relations over the rationals
Temporal reasoning about fuzzy intervals
Step by step – Building representations in algebraic logic
Representability of binary relations through fuzzy numbers
Dynamic branching in qualitative constraint-based reasoning via counting local models
Thick 2D relations for document understanding
Temporal reasoning based on semi-intervals
Reasoning with topological and directional spatial information
Representation, reasoning and similar matching for detailed topological relations with DTString
Twenty-one large tractable subclasses of Allen's algebra
A fuzzy set approach to expressing preferences in spatial reasoning
A comparison of point-based approaches to qualitative temporal reasoning
A proof system for contact relation algebras
Unsupervised interaction-preserving discretization of multivariate data
Duration calculus: Logical foundations
Tractable disjunctions of linear constraints: Basic results and applications to temporal reasoning
Relation algebras and their application in temporal and spatial reasoning
A Correspondence between Temporal Description Logics
On the complemented disk algebra
Computational complexity of terminological reasoning in BACK
Incremental qualitative temporal reasoning: Algorithms for the point algebra and the ORD-Horn class
Solving conflicts in information merging by a flexible interpretation of atomic propositions
Modeling recreational systems using optimization techniques and information technologies
Combining qualitative and quantitative constraints in temporal reasoning
Remote Agent: to boldly go where no AI system has gone before
A technique for extracting behavioral sequence patterns from GPS recorded data
Biorders with frontier
On point-based temporal disjointness
Representing preferences using intervals
Constraint propagation with interval labels
Decidability of string graphs
Point algebras for temporal reasoning: Algorithms and complexity
Automated deduction in a graphical temporal logic
Tools for reformulating logical forms into zero-one mixed integer programs
Modeling time and valuation in structured argumentation frameworks
Constraint reasoning based on interval arithmetic: The tolerance propagation approach
A spectrum of definitions for temporal model-based diagnosis
Interval logics and their decision procedures. I: An interval logic
Constraint Satisfaction Problems with Infinite Templates
Modeling concurrency with interval traces
Prior and temporal sequences for natural language
From binary temporal relations to non-binary ones and back
Extensionally defining principles and cases in ethics: an AI model
Complexity classification in qualitative temporal constraint reasoning
The complexity of constraint satisfaction problems for small relation algebras
On the computational complexity of temporal projection, planning, and plan validation
Generation of partial orders for intervals by means of the slope function
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.
An interval temporal logic characterization of extended \(\omega\)-regular languages
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
Interval temporal logic model checking: the border between good and bad HS fragments
LARS: a logic-based framework for analytic reasoning over streams
Trajectory databases: data models, uncertainty and complete query languages
Interval vs. point temporal logic model checking. An expressiveness comparison
Semiring neighbours: an algebraic embedding and extension of neighbourhood logic
Why are CSPs based on partition schemes computationally hard?
On the complexity of model checking for syntactically maximal fragments of the interval temporal logic HS with regular expressions
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
Algebraic operators for processing sets of temporal intervals in relational databases
Temporal representation and reasoning in artificial intelligence: A review
Real-time piloting of flexible manufacturing systems

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)