Maintaining knowledge about temporal intervals
From MaRDI portal
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
- Separation logics and modalities: a survey
- Reasoning about cardinal directions between extended objects
- Combining interval-based temporal reasoning with general TBoxes
- Studying interval valued matrix games with fuzzy logic
- Distributed simulation of modular time Petri nets: An approach and a case study exploiting temporal uncertainty
- On topological consistency and realization
- The complexity of querying indefinite data about linearly ordered domains
- Tractability in constraint satisfaction problems: a survey
- Propagating belief functions through constraint systems
- Maximal infinite-valued constraint languages
- Region connection calculus: Its models and composition table
- \({\mathcal E}\)-connections of abstract description systems
- Temporal constraint networks
- Interval-based temporal functional dependencies: specification and verification
- Handling contingency in temporal constraint networks: from consistency to controllabilities
- Self-stabilizing algorithm for high service availability in spite of concurrent topology changes in ad hoc mobile networks
- Efficient algorithms for qualitative reasoning about time
- Constraining cycle alternations in model checking for interval temporal logic
- A modal walk through space
- Modal logics based on mathematical morphology for qualitative spatial reasoning
- Dynamic problem structure analysis as a basis for constraint-directed scheduling heuristics
- Adding one or more equivalence relations to the interval temporal logic \(\mathsf{AB}\overline{\mathsf{B}}\)
- Towards a general theory of action and time
- Optimal decision procedures for MPNL over finite structures, the natural numbers, and the integers
- An automata-theoretic approach to constraint LTL
- A condensed semantics for qualitative spatial reasoning about oriented straight line segments
- Reasoning about visibility
- From local to global consistency
- On the expressiveness of the interval logic of Allen's relations over finite and discrete linear orders
- Dynamic controllability via timed game automata
- Stochastic representation and recognition of high-level group activities
- On begins, meets and before
- A semi-dynamical approach for solving qualitative spatial constraint satisfaction problems
- Qualitative and quantitative simulation: bridging the gap
- Two-dimensional fuzzy spatial relations: a new way of computing and representation
- A Road Map of Interval Temporal Logics and Duration Calculi
- Spatial reasoning with rectangular cardinal relations. The convex tractable subalgebra
- Reactive synthesis from interval temporal logic specifications
- Combining topological and size information for spatial reasoning
- A Decidable Spatial Logic with Cone-Shaped Cardinal Directions
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)
