Maintaining knowledge about temporal intervals
From MaRDI portal
(Redirected from Publication:64672)
Cited in
(only showing first 100 items - show all)- Algebraic neighbourhood logic
- Collective singleton-based consistency for qualitative constraint networks: theory and practice
- State-of-the-art on spatio-temporal information-based video retrieval
- Fuzzy temporal constraint logic: A valid resolution principle
- Interval temporal logic model checking: the border between good and bad HS fragments
- An interval temporal logic characterization of extended \(\omega\)-regular languages
- From points to intervals
- Obtaining solutions in fuzzy constraint networks
- A uniform representation for time and space and their mutual constraints
- Exploiting lattices in a theory of space and time
- A new modal logic for reasoning about space: spatial propositional neighborhood logic
- Temporal similarity by measuring possibilistic uncertainty in CBR
- A logic framework for reasoning with movement based on fuzzy qualitative representation
- Orders on intervals over partially ordered sets: extending Allen's algebra and interval graph results.
- Algebraic operators for processing sets of temporal intervals in relational databases
- A probabilistic logic programming event calculus
- LARS: a logic-based framework for analytic reasoning over streams
- Trajectory databases: data models, uncertainty and complete query languages
- Advanced synchronization of audio or symbolic musical patterns: an algebraic approach
- Real-time piloting of flexible manufacturing systems
- Branching versus linear logics yet again
- 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
- Scheduling with neural networks -- the case of the Hubble Space Telescope
- Time representation: A taxonomy of temporal models
- Some considerations on nonlinear time intervals
- Implementation of the temporal reasoning mechanism in modern intelligent systems
- Interval vs. point temporal logic model checking. An expressiveness comparison
- A collaborative scheduling approach for service-driven scientific workflow execution
- Interval graphs with side (and size) constraints
- Planning and reacting in uncertain and dynamic environments
- Model checking for fragments of the interval temporal logic HS at the low levels of the polynomial time hierarchy
- 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 relations between intervals
- An algebraic framework for temporal attribute characteristics
- Semiring neighbours: an algebraic embedding and extension of neighbourhood logic
- Determining the consistency of partial tree descriptions
- Document spanners: a formal approach to information extraction
- Model checking interval temporal logics with regular expressions
- A note on the relation between categories and hyperstructures
- Why are CSPs based on partition schemes computationally hard?
- Towards the minimum set of primitive relations in temporal logic
- Temporal representation and reasoning in artificial intelligence: A review
- On the complexity of model checking for syntactically maximal fragments of the interval temporal logic HS with regular expressions
- Relation algebras of intervals
- Interval semantics for Petri nets with inhibitor arcs
- Uncertantty in temporal representation and reasoning
- Online event recognition over noisy data streams
- Design of system for managing fuzzy relationships for integration of spatial data in querying.
- MINING FREQUENT TEMPORAL PATTERNS IN INTERVAL SEQUENCES
- Satisfying constraint sets through convex envelopes
- On coarser interval temporal logics
- Generating multimedia briefings: coordinating language and illustration
- A method of spatial reasoning based on qualitative trigonometry
- Networks of probabilistic events in discrete time.
- On redundant topological constraints
- Learning qualitative constraint networks
- An SMT-based approach to weak controllability for disjunctive temporal problems with uncertainty
- Dynamic branching in qualitative constraint-based reasoning via counting local models
- Thick 2D relations for document understanding
- Twenty-one large tractable subclasses of Allen's algebra
- Representing preferences using intervals
- Automated deduction in a graphical temporal logic
- A spectrum of definitions for temporal model-based diagnosis
- On point-based temporal disjointness
- 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
- Constraint propagation with interval labels
- Temporal reasoning about fuzzy intervals
- Step by step – Building representations in algebraic logic
- From binary temporal relations to non-binary ones and back
- On the computational complexity of temporal projection, planning, and plan validation
- Complementation in representable theories of region-based space
- Satisfiability problems on intervals and unit intervals
- Solving conflicts in information merging by a flexible interpretation of atomic propositions
- Combining qualitative and quantitative constraints in temporal reasoning
- Constructing situations and time
- Computing the minimal relations in point-based qualitative temporal reasoning through metagraph closure
- Decidability of string graphs
- Processing disjunctions in temporal constraint networks
- Temporal reasoning based on semi-intervals
- Reasoning with topological and directional spatial information
- A fuzzy set approach to expressing preferences in spatial reasoning
- A general tableau method for propositional interval temporal logics: theory and implementation
- On point-duration networks for temporal reasoning
- Unsupervised interaction-preserving discretization of multivariate data
- 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 complemented disk algebra
- Remote Agent: to boldly go where no AI system has gone before
- Counting endpoint sequences for interval orders and interval graphs
- Default reasoning in semantic networks: A formalization of recognition and inheritance
- Duration calculus: Logical foundations
- Relation algebras and their application in temporal and spatial reasoning
- Interval logics and their decision procedures. I: An interval logic
- Tools for reformulating logical forms into zero-one mixed integer programs
- Visualising lattices with tabular diagrams
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)
