Maintaining knowledge about temporal intervals
From MaRDI portal
Publication:64672
DOI10.1145/182.358434zbMath0519.68079OpenAlexW2161484642MaRDI QIDQ64672
James F. Allen, James F. Allen
Publication date: November 1983
Published in: Communications of the ACM (Search for Journal in Brave)
Full work available at URL: http://hdl.handle.net/1802/10574
Related Items (only showing first 100 items - show all)
A Logic of East and West ⋮ Tropical Time Series, Iterated-Sums Signatures, and Quasisymmetric Functions ⋮ Unnamed Item ⋮ A separation theorem for discrete-time interval temporal logic ⋮ Hardness of Network Satisfaction for Relation Algebras with Normal Representations ⋮ Monitoring first-order interval logic ⋮ A CORRECTNESS PROOF FOR AL-BARAKĀT’S LOGICAL DIAGRAMS ⋮ \texttt{TIRPCLo}: efficient and complete mining of time intervals-related patterns ⋮ \textsc{Pspace}-completeness of the temporal logic of sub-intervals and suffixes ⋮ Fuzzy Halpern and Shoham's interval temporal logics ⋮ Representation and processing of instantaneous and durative temporal phenomena ⋮ Interval graphs with side (and size) constraints ⋮ Complex Event Processing Under Uncertainty Using Markov Chains, Constraints, and Sampling ⋮ Interval Temporal Logic for Visibly Pushdown Systems ⋮ A Distributed Approach to LARS Stream Reasoning (System paper) ⋮ On Interval Semantics of Inhibitor and Activator Nets ⋮ Solving infinite-domain CSPs using the patchwork property ⋮ An interval temporal logic characterization of extended \(\omega\)-regular languages ⋮ Edge colourings and qualitative representations of chromatic algebras ⋮ Online event recognition over noisy data streams ⋮ Unnamed Item ⋮ A Decision Procedure for a Theory of Finite Sets with Finite Integer Intervals ⋮ Unnamed Item ⋮ Unnamed Item ⋮ Unnamed Item ⋮ Unnamed Item ⋮ Is Time Fuzzy? ⋮ Unnamed Item ⋮ Unnamed Item ⋮ Towards Metric Temporal Answer Set Programming ⋮ Reasoning about Cardinal Directions between 3-Dimensional Extended Objects using Answer Set Programming ⋮ ADVANCED SYNCHRONIZATION OF AUDIO OR SYMBOLIC MUSICAL PATTERNS: AN ALGEBRAIC APPROACH ⋮ Complexity of qualitative timeline-based planning ⋮ Diagrammatic representation for interval arithmetic ⋮ A Fuzzy Set Approach to Expressing Preferences in Spatial Reasoning ⋮ From binary temporal relations to non-binary ones and back ⋮ A time Petri net-based approach for synchronization, analysis and management of multimedia scenarios ⋮ Unnamed Item ⋮ Unnamed Item ⋮ Unnamed Item ⋮ Unnamed Item ⋮ Unnamed Item ⋮ Temporal representation and reasoning in artificial intelligence: A review ⋮ Uncertantty in temporal representation and reasoning ⋮ Fuzzy temporal constraint logic: A valid resolution principle ⋮ A logical framework for visual information modeling and management ⋮ Circular-arc graph coloring: On chords and circuits in the meeting graph ⋮ Tractable disjunctions of linear constraints: Basic results and applications to temporal reasoning ⋮ Unnamed Item ⋮ Computational Complexity of a Hybridized Horn Fragment of Halpern-Shoham Logic ⋮ Analyse de sensibilité pour les problèmes linéaires en variables 0-1 ⋮ A Road Map of Interval Temporal Logics and Duration Calculi ⋮ A Road Map of Interval Temporal Logics and Duration Calculi ⋮ Constraint Satisfaction Problems with Infinite Templates ⋮ MINING FREQUENT TEMPORAL PATTERNS IN INTERVAL SEQUENCES ⋮ The Complexity of Network Satisfaction Problems for Symmetric Relation Algebras with a Flexible Atom ⋮ 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 ⋮ Interval extensions of orders and temporal approximation spaces ⋮ On neighbourhood singleton-style consistencies for qualitative spatial and temporal reasoning ⋮ Complexity analysis of a unifying algorithm for model checking interval temporal logic ⋮ Tractability in constraint satisfaction problems: a survey ⋮ Adding one or more equivalence relations to the interval temporal logic \(\mathsf{AB}\overline{\mathsf{B}}\) ⋮ Managing concurrency in temporal planning using planner-scheduler interaction ⋮ On topological consistency and realization ⋮ Towards the minimum set of primitive relations in temporal logic ⋮ Constraint propagation with interval labels ⋮ Mining approximate interval-based temporal dependencies ⋮ Checking interval properties of computations ⋮ Planning and execution with flexible timelines: a formal account ⋮ Dynamic controllability via timed game automata ⋮ Computational complexity of terminological reasoning in BACK ⋮ An algebraic framework for temporal attribute characteristics ⋮ Distributed simulation of modular time Petri nets: An approach and a case study exploiting temporal uncertainty ⋮ Spatial reasoning with rectangular cardinal relations. The convex tractable subalgebra ⋮ An automata-theoretic approach to constraint LTL ⋮ On relations between intervals ⋮ A tableau algorithm for description logics with concrete domains and general TBoxes ⋮ Default reasoning in semantic networks: A formalization of recognition and inheritance ⋮ A method of spatial reasoning based on qualitative trigonometry ⋮ Programming in metric temporal logic ⋮ An experiment in scheduling and planning of non-structured jobs: Lessons learned from artificial intelligence and operational research toolbox ⋮ Optimal decision procedures for MPNL over finite structures, the natural numbers, and the integers ⋮ Orders on intervals over partially ordered sets: extending Allen's algebra and interval graph results. ⋮ On redundant topological constraints ⋮ An SMT-based approach to weak controllability for disjunctive temporal problems with uncertainty ⋮ Qualitative reasoning with directional relations ⋮ Stochastic representation and recognition of high-level group activities ⋮ A condensed semantics for qualitative spatial reasoning about oriented straight line segments ⋮ Reasoning about cardinal directions between extended objects: the NP-hardness result ⋮ Reasoning about visibility ⋮ Biorders with frontier ⋮ Self-stabilizing algorithm for high service availability in spite of concurrent topology changes in ad hoc mobile networks ⋮ Branching versus linear logics yet again ⋮ A semi-dynamical approach for solving qualitative spatial constraint satisfaction problems ⋮ Two-dimensional fuzzy spatial relations: a new way of computing and representation ⋮ Representing preferences using intervals ⋮ Solving conflicts in information merging by a flexible interpretation of atomic propositions ⋮ Algebraic neighbourhood logic ⋮ Interval temporal logics over strongly discrete linear orders: expressiveness and complexity
This page was built for publication: Maintaining knowledge about temporal intervals
