Maintaining knowledge about temporal intervals
From MaRDI portal
Cited in
(only showing first 100 items - show all)- A Decidable Spatial Logic with Cone-Shaped Cardinal Directions
- 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
- Relation algebras of Sugihara, Belnap, Meyer, and Church
- Cost-based temporal reasoning
- Some considerations on nonlinear time intervals
- Unsupervised human activity analysis for intelligent mobile robots
- A rule-based video database system architecture
- MINING FREQUENT TEMPORAL PATTERNS IN INTERVAL SEQUENCES
- Learning qualitative constraint networks
- GNet: a generalized network model and its applications in qualitative spatial reasoning
- Expressive completeness by separation for discrete time interval temporal logic with expanding modalities
- Fuzzy Halpern and Shoham's interval temporal logics
- Counting endpoint sequences for interval orders and interval graphs
- Granular structures induced by interval sets and rough sets
- 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
- Prompt interval temporal logic
- How to revise a total preorder
- scientific article; zbMATH DE number 1443400 (Why is no real title available?)
- Complexity studies of a temporal constraint propagation algorithm: a statistical analysis
- Mining maximal frequent rectangles
- Document spanners: a formal approach to information extraction
- Integer programming ensemble of temporal relations classifiers
- Dynamic controllability via timed game automata
- Satisfiability problems on intervals and unit intervals
- Processing disjunctions in temporal constraint networks
- Towards the minimum set of primitive relations in temporal logic
- The algebra \(\text{IA}^{\text{fuz}}\): a framework for qualitative fuzzy temporal reasoning
- A Road Map of Interval Temporal Logics and Duration Calculi
- A non-reified temporal logic
- Visualising lattices with tabular diagrams
- Reasoning about causality between distributed nonatomic events
- Stochastic representation and recognition of high-level group activities
- Which fragments of the interval temporal logic HS are tractable in model checking?
- Algebraic foundations for qualitative calculi and networks
- Representations for robot knowledge in the \textsc{KnowRob} framework
- Dynamic problem structure analysis as a basis for constraint-directed scheduling heuristics
- On point-duration networks for temporal reasoning
- Interval graph representation with given interval and intersection lengths
- A general tableau method for propositional interval temporal logics: theory and implementation
- A logic-based calculus of events
- Managing concurrency in temporal planning using planner-scheduler interaction
- Non-monotonic spatial reasoning with answer set programming modulo theories
- Tractability in constraint satisfaction problems: a survey
- Assessing component impairing at mission level
- Constructing situations and time
- Computing the minimal relations in point-based qualitative temporal reasoning through metagraph closure
- A time Petri net-based approach for synchronization, analysis and management of multimedia scenarios
- On Interval Semantics of Inhibitor and Activator Nets
- Hardness of Network Satisfaction for Relation Algebras with Normal Representations
- A general framework for reasoning about change
- A survey on temporal logics for specifying and verifying real-time systems
- Default reasoning in semantic networks: A formalization of recognition and inheritance
- Solving hard qualitative temporal reasoning problems: Evaluating the efficiency of using the ORD-Horn class
- Compact solution representation in qualitative constraint-based reasoning
- A reinforcement learning approach for resolving inconsistencies in qualitative constraint networks
- Modelling and solving temporal reasoning as propositional satisfiability
- An unified CGA-based formal expression of spatio-temporal topological relations for Computation and analysis of geographic objects
- A condensed semantics for qualitative spatial reasoning about oriented straight line segments
- Reasoning about visibility
- CoLab: A hybrid knowledge representation and compilation laboratory
- Qualitative-quantitative reasoning: thinking informally about formal things
- A collaborative scheduling approach for service-driven scientific workflow execution
- Complementation in representable theories of region-based space
- Event scheduling using allen's algebra
- Separation logics and modalities: a survey
- A critical examination of Allen's theory of action and time
- Lattice structure of temporal interval relations
- On the consistency of cardinal direction constraints
- Probabilistic temporal networks: A unified framework for reasoning with time and uncertainty
- Model checking for fragments of Halpern and Shoham's interval temporal logic based on track representatives
- Networks of probabilistic events in discrete time.
- An automata-theoretic approach to constraint LTL
- scientific article; zbMATH DE number 7199592 (Why is no real title available?)
- 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
- Temporal reasoning about fuzzy intervals
- Qualitative reasoning with directional relations
- Model checking for fragments of the interval temporal logic HS at the low levels of the polynomial time hierarchy
- Queries on ontologies with temporal dependences on Allen's extended interval logic
- Step by step – Building representations in algebraic logic
- I2QFD: A blackboard-based multiagent system for supporting concurrent engineering projects
- Circular-arc graph coloring: On chords and circuits in the meeting graph
- The complexity of querying indefinite data about linearly ordered domains
- An interval temporal logic characterization of extended \(\omega\)-regular languages
- Range-consistent forbidden regions of Allen's relations
- Trajectory databases: data models, uncertainty and complete query languages
- Towards a general theory of action and time
- LARS: a logic-based framework for analytic reasoning over streams
- Hybrid metric propositional neighborhood logics with interval length binders
- Interval temporal logic model checking: the border between good and bad HS fragments
- On the construction of an aggregated measure of the development of interval data
- ASPMT(QS): Non-Monotonic Spatial Reasoning with Answer Set Programming Modulo Theories
- Qualitative constraint satisfaction problems: an extended framework with landmarks
- Bipolarity in temporal argumentation frameworks
- Representability of binary relations through fuzzy numbers
- Thick 2D relations for document understanding
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)
