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
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, Modeling recreational systems using optimization techniques and information technologies, On the improvement of combined fuzzy topological and directional relations information, Temporal constraint networks, A technique for extracting behavioral sequence patterns from GPS recorded data, Propagating belief functions through constraint systems, Qualitative constraint satisfaction problems: an extended framework with landmarks, Interval graph representation with given interval and intersection lengths, Interval logics and their decision procedures. I: An interval logic, The complexity of querying indefinite data about linearly ordered domains, A non-reified temporal logic, Modeling time and valuation in structured argumentation frameworks, Solving hard qualitative temporal reasoning problems: Evaluating the efficiency of using the ORD-Horn class, From local to global consistency, A logic-based calculus of events, Modeling concurrency with interval traces, Prior and temporal sequences for natural language, Counting endpoint sequences for interval orders and interval graphs, Scheduling with neural networks -- the case of the Hubble Space Telescope, A uniform representation for time and space and their mutual constraints, Exploiting lattices in a theory of space and time, Generation of partial orders for intervals by means of the slope function, Constraint reasoning based on interval arithmetic: The tolerance propagation approach, Reasoning about qualitative temporal information, ivs, How to revise a total preorder, Constructing situations and time, Computing the minimal relations in point-based qualitative temporal reasoning through metagraph closure, Thick 2D relations for document understanding, A collaborative scheduling approach for service-driven scientific workflow execution, Trajectory databases: data models, uncertainty and complete query languages, Reasoning about cardinal directions between extended objects, Representation, reasoning and similar matching for detailed topological relations with DTString, Unsupervised interaction-preserving discretization of multivariate data, Constraining cycle alternations in model checking for interval temporal logic, State-of-the-art on spatio-temporal information-based video retrieval, Maximal infinite-valued constraint languages, A spectrum of definitions for temporal model-based diagnosis, A unifying approach to temporal constraint reasoning, Remote Agent: to boldly go where no AI system has gone before, Generating multimedia briefings: coordinating language and illustration, Determining the consistency of partial tree descriptions, Temporal similarity by measuring possibilistic uncertainty in CBR, Towards a general theory of action and time, A critical examination of Allen's theory of action and time, Representability of binary relations through fuzzy numbers, Region connection calculus: Its models and composition table, Point algebras for temporal reasoning: Algorithms and complexity, Extensionally defining principles and cases in ethics: an AI model, Composing cardinal direction relations, Combining interval-based temporal reasoning with general TBoxes, \({\mathcal E}\)-connections of abstract description systems, The complexity of constraint satisfaction problems for small relation algebras, Complexity classification in qualitative temporal constraint reasoning, Optimization in temporal qualitative constraint networks, On the complemented disk algebra, Event scheduling using allen's algebra, A Logical Approach to Data-Aware Automated Sequence Generation, ASPMT(QS): Non-Monotonic Spatial Reasoning with Answer Set Programming Modulo Theories, POSSIBILISTIC EVALUATION OF SETS, WD-PWS: THE FIRST SEMANTICS FOR QUERYING OVER PROBABILISTIC DATA STREAMS WITH CONTINUOUS DISTRIBUTIONS, No Need Knowing Numerous Neighbours, Formal semantics for interactive music scores: a framework to design, specify properties and execute interactive scenarios, Fuzzy region connection calculus: An interpretation based on closeness, Generalized Qualitative Spatio-Temporal Reasoning: Complexity and Tableau Method, I2QFD: A blackboard-based multiagent system for supporting concurrent engineering projects, ON BEGINS, MEETS AND BEFORE, Undecidability of the Logic of Overlap Relation over Discrete Linear Orderings, Temporal Patterns in Polyphony, Temporal properties of repetitive entities, Video understanding for complex activity recognition, Temporal reasoning about fuzzy intervals, Modelling and solving temporal reasoning as propositional satisfiability, Tiling algebra for constraint-based layout editing, From points to intervals, Planning and reacting in uncertain and dynamic environments, Bipolarity in temporal argumentation frameworks, Sub-propositional Fragments of the Interval Temporal Logic of Allen’s Relations, On the Expressiveness of the Interval Logic of Allen’s Relations Over Finite and Discrete Linear Orders, Representations for robot knowledge in the \textsc{KnowRob} framework, Envisioning the qualitative effects of robot manipulation actions using simulation-based projections, Extending partial representations of interval graphs, A spatio-temporal framework for managing archaeological data, Non-atomic Transition Firing in Contextual Nets, Online perceptual learning and natural language acquisition for autonomous robots, Visualising lattices with tabular diagrams, Probabilistic Event Calculus for Event Recognition, Separation logics and modalities: a survey, A survey on temporal logics for specifying and verifying real-time systems, Combining qualitative and quantitative constraints in temporal reasoning, A probabilistic logic programming event calculus, Non-monotonic spatial reasoning with answer set programming modulo theories, Two-Variable Separation Logic and Its Inner Circle, Quantifying the Discord: Order Discrepancies in Message Sequence Charts, Temporal reasoning based on semi-intervals, Automated deduction in a graphical temporal logic, A qualitative temporal extension of here-and-there logic, Step by step – Building representations in algebraic logic, On the Dynamics of Total Preorders: Revising Abstract Interval Orders, Unnamed Item, Interval vs. Point Temporal Logic Model Checking, A propositional logic of temporal connectives, The algebra \(\text{IA}^{\text{fuz}}\): a framework for qualitative fuzzy temporal reasoning, RCC8 binary constraint network can be consistently extended, Incremental qualitative temporal reasoning: Algorithms for the point algebra and the ORD-Horn class, Processes and continuous change in a SAT-based planner, On the consistency of cardinal direction constraints, Granular Structures Induced by Interval Sets and Rough Sets, QUANTIFYING THE DISCORD: ORDER DISCREPANCIES IN MESSAGE SEQUENCE CHARTS, THE LOGIC AND TOPOLOGY OF KANT’S TEMPORAL CONTINUUM, A new modal logic for reasoning about space: spatial propositional neighborhood logic, Studying interval valued matrix games with fuzzy logic, Planning temporal events using point-interval logic, Hybrid Metric Propositional Neighborhood Logics with Interval Length Binders, Exploiting temporal relations in mining hepatitis data, GNet: a generalized network model and its applications in qualitative spatial reasoning, Interval-valued computations and their connection with PSPACE, An interval-based temporal algebra based on binary encoding of point relations, The Arthur Prior memorial conference, Christchurch, 1989, A METHOD FOR TEMPORAL KNOWLEDGE INTEGRATION USING INDETERMINATE MODEL OF TIME, Complexity studies of a temporal constraint propagation algorithm: a statistical analysis, Handling contingency in temporal constraint networks: from consistency to controllabilities, A general tableau method for propositional interval temporal logics: theory and implementation, A point based model of the Gregorian calendar, Video model for dynamic objects, Document Spanners, Realizing RCC8 networks using convex regions, Unnamed Item, Unnamed Item, Selected Temporal Logic Systems: An Attempt at Engineering Evaluation, Why Systems of Temporal Logic Are Sometimes (Un)useful?, New Integral Approach to the Specification of STPU-Solutions, Interval Temporal Logic Model Checking: The Border Between Good and Bad HS Fragments, An intensional approach to qualitative and quantitative periodicity-dependent temporal constraints, Two-sorted Point-Interval Temporal Logics, Equivalences in Euler-based diagram systems through normal forms, Dyck Algebras, Interval Temporal Logic, and Posets of Intervals, A Correspondence between Temporal Description Logics, A Decidable Spatial Logic with Cone-Shaped Cardinal Directions, Unnamed Item, Relational dual tableaux for interval temporal logics ★, A ModalWalk Through Space, Modal Logics Based on Mathematical Morphology for Qualitative Spatial Reasoning, Prompt Interval Temporal Logic, Design and comparison of lattices of topological relations for spatial representation and reasoning, An Ontological Framework for Characterizing Hydrological Flow Processes, FTClogic: fuzzy temporal constraint logic, Collective singleton-based consistency for qualitative constraint networks: theory and practice, Hybrid fragments of Halpern-Shoham logic and their expressive power, REASONING WITH TOPOLOGICAL AND DIRECTIONAL SPATIAL INFORMATION, Satisfying constraint sets through convex envelopes, Solving strong controllability of temporal problems with uncertainty using SMT, Semiring Neighbours: An Algebraic Embedding and Extension of Neighbourhood Logic, A logic framework for reasoning with movement based on fuzzy qualitative representation, Temporal Contextual Logic Programming, Delay-Robust Event Scheduling, Qualitative-quantitative reasoning: thinking informally about formal things, On point-duration networks for temporal reasoning, Solving multi-granularity temporal constraint networks, Time representation: A taxonomy of temporal models, A general framework for reasoning about change, Representation of decision making processes in an ecological evaluation system, Decidability of string graphs, Real-time piloting of flexible manufacturing systems, On point-based temporal disjointness, CoLab: A hybrid knowledge representation and compilation laboratory, An interval-based approach to model input uncertainty in M/M/1 simulation, An incremental approach for data quality measurement with insufficient information, LARS: a logic-based framework for analytic reasoning over streams, Lattice structure of temporal interval relations, Some considerations on nonlinear time intervals, Relation algebras of intervals, Duration calculus: Logical foundations, Ordering events: Intervals are sufficient, more general sets are usually not necessary, Exception diagnosis in multiagent contract executions, Model checking interval temporal logics with regular expressions, Qualitative and quantitative simulation: bridging the gap, Satisfiability problems on intervals and unit intervals, Interval-valued rank in finite ordered sets, Spatial reasoning about qualitative shape compositions. Composing qualitative lengths and angles, A note on the relation between categories and hyperstructures, Networks of probabilistic events in discrete time., Processing disjunctions in temporal constraint networks, Twenty-one large tractable subclasses of Allen's algebra, Reasoning about causality between distributed nonatomic events, Directional relative position between objects in image processing: A comparison between fuzzy approaches., Complementation in representable theories of region-based space, Allen-like theory of time for tree-like structures, Model checking for fragments of Halpern and Shoham's interval temporal logic based on track representatives, User-friendly temporal queries on historical knowledge bases, Implementation of the temporal reasoning mechanism in modern intelligent systems, Design of system for managing fuzzy relationships for integration of spatial data in querying., Relation algebras of Sugihara, Belnap, Meyer, and Church, Cost-based temporal reasoning, Finding the longest common sub-pattern in sequences of temporal intervals, Integer programming ensemble of temporal relations classifiers, Specification and verification of multimedia synchronization in duration calculus, Which fragments of the interval temporal logic HS are tractable in model checking?, Algebraic foundations for qualitative calculi and networks, Dynamic problem structure analysis as a basis for constraint-directed scheduling heuristics, 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, Acyclic orders, partition schemes and CSPs: unified hardness proofs and improved algorithms, Queries on ontologies with temporal dependences on Allen's extended interval logic, Constants and finite unary relations in qualitative constraint reasoning, Interval semantics for Petri nets with inhibitor arcs, Group planning with time constraints, Assessing component impairing at mission level, Guest editors' preface to special issue on interval temporal logics, The light side of interval temporal logic: the Bernays-Schönfinkel fragment of CDT, The dark side of interval temporal logic: marking the undecidability border, Interval-based temporal functional dependencies: specification and verification, Qualitative and quantitative data envelopment analysis with interval data, On the construction of an aggregated measure of the development of interval data, Numerical representation of \(PQI\) interval orders, Range-consistent forbidden regions of Allen's relations, Linear time-dependent constraints programming with MSVL, Models of representation of fuzzy temporal knowledge in databases of temporal series, An unified CGA-based formal expression of spatio-temporal topological relations for Computation and analysis of geographic objects, Relation algebras and their application in temporal and spatial reasoning, Model checking for fragments of the interval temporal logic HS at the low levels of the polynomial time hierarchy, A probabilistic interval-based event calculus for activity recognition, So, what exactly is a qualitative calculus?, From generating process views over inter-organizational business processes to achieving their temporal consistency, Probabilistic temporal networks: A unified framework for reasoning with time and uncertainty, Dynamic branching in qualitative constraint-based reasoning via counting local models, Universal solutions for temporal data exchange, Obtaining solutions in fuzzy constraint networks, Slicing techniques for temporal aggregation in spanning event streams, Branching interval algebra: an almost complete picture, An algebraic view on p-admissible concrete domains for lightweight description logics, Tesseral spatio-temporal reasoning for multi-dimensional data, Reactive synthesis from interval temporal logic specifications, On timeline-based games and their complexity, A complete classification of tractability in Allen's algebra relative to subsets of basic relations, On-line algorithms for networks of temporal constraints, On coarser interval temporal logics, Unsupervised human activity analysis for intelligent mobile robots, A proof system for contact relation algebras, Computational complexity of hybrid interval temporal logics, A new approach to cyclic ordering of 2D orientations using ternary relation algebras, Using model theory to find decidable and tractable description logics with concrete domains, Querying temporal and spatial constraint networks in PTIME, Description logics with concrete domains and general concept inclusions revisited, Fuzzy spatial relationship refinements based on minimum bounding rectangle variations, Efficient algorithms for qualitative reasoning about time, A linear and discrete programming framework for representing qualitative knowledge, Selectivity estimation of temporal data manipulations, A rule-based video database system architecture, Mining maximal frequent rectangles, Video indexing and similarity retrieval by largest common subgraph detection using decision trees, Tools for reformulating logical forms into zero-one mixed integer programs, Combining topological and size information for spatial reasoning, A comparison of point-based approaches to qualitative temporal reasoning, On the computational complexity of temporal projection, planning, and plan validation, Automated theorem proving in temporal logic: \(T\)-resolution
