Pages that link to "Item:Q64672"
From MaRDI portal
The following pages link to Maintaining knowledge about temporal intervals (Q64672):
Displaying 50 items.
- ivs (Q64673) (← links)
- Optimization in temporal qualitative constraint networks (Q262133) (← links)
- A complete classification of the expressiveness of interval logics of Allen's relations: the general and the dense cases (Q266861) (← links)
- The problem of coincidence in a theory of temporal multiple recurrence (Q266873) (← links)
- Tractability in constraint satisfaction problems: a survey (Q271997) (← links)
- Adding one or more equivalence relations to the interval temporal logic \(\mathsf{AB}\overline{\mathsf{B}}\) (Q288804) (← links)
- Mining approximate interval-based temporal dependencies (Q329410) (← links)
- Checking interval properties of computations (Q329413) (← links)
- Planning and execution with flexible timelines: a formal account (Q329417) (← links)
- Dynamic controllability via timed game automata (Q329422) (← links)
- Spatial reasoning with rectangular cardinal relations. The convex tractable subalgebra (Q354605) (← links)
- Optimal decision procedures for MPNL over finite structures, the natural numbers, and the integers (Q391115) (← links)
- Stochastic representation and recognition of high-level group activities (Q408925) (← links)
- A condensed semantics for qualitative spatial reasoning about oriented straight line segments (Q420800) (← links)
- Reasoning about cardinal directions between extended objects: the NP-hardness result (Q420805) (← links)
- Reasoning about visibility (Q420853) (← links)
- Self-stabilizing algorithm for high service availability in spite of concurrent topology changes in ad hoc mobile networks (Q436785) (← links)
- A semi-dynamical approach for solving qualitative spatial constraint satisfaction problems (Q441879) (← links)
- Two-dimensional fuzzy spatial relations: a new way of computing and representation (Q446365) (← links)
- Interval temporal logics over strongly discrete linear orders: expressiveness and complexity (Q477203) (← links)
- Modeling recreational systems using optimization techniques and information technologies (Q478052) (← links)
- A technique for extracting behavioral sequence patterns from GPS recorded data (Q488642) (← links)
- Qualitative constraint satisfaction problems: an extended framework with landmarks (Q490417) (← links)
- Interval graph representation with given interval and intersection lengths (Q491160) (← links)
- Modeling time and valuation in structured argumentation frameworks (Q508777) (← links)
- A logic-based calculus of events (Q514239) (← links)
- Modeling concurrency with interval traces (Q515576) (← links)
- Prior and temporal sequences for natural language (Q516415) (← links)
- Generation of partial orders for intervals by means of the slope function (Q529259) (← links)
- How to revise a total preorder (Q535324) (← links)
- Constructing situations and time (Q543532) (← links)
- Computing the minimal relations in point-based qualitative temporal reasoning through metagraph closure (Q543614) (← links)
- Thick 2D relations for document understanding (Q558037) (← links)
- Qualitative reasoning with directional relations (Q622129) (← links)
- Biorders with frontier (Q633220) (← links)
- Representing preferences using intervals (Q646529) (← links)
- Solving conflicts in information merging by a flexible interpretation of atomic propositions (Q650523) (← links)
- On the improvement of combined fuzzy topological and directional relations information (Q663381) (← links)
- Interval logics and their decision procedures. I: An interval logic (Q671639) (← links)
- The complexity of querying indefinite data about linearly ordered domains (Q676427) (← links)
- Solving hard qualitative temporal reasoning problems: Evaluating the efficiency of using the ORD-Horn class (Q679419) (← links)
- Counting endpoint sequences for interval orders and interval graphs (Q685648) (← links)
- Representation, reasoning and similar matching for detailed topological relations with DTString (Q726468) (← links)
- Unsupervised interaction-preserving discretization of multivariate data (Q736501) (← links)
- Constraining cycle alternations in model checking for interval temporal logic (Q737106) (← links)
- A critical examination of Allen's theory of action and time (Q809997) (← links)
- Representability of binary relations through fuzzy numbers (Q812596) (← links)
- Region connection calculus: Its models and composition table (Q814446) (← links)
- Point algebras for temporal reasoning: Algorithms and complexity (Q814509) (← links)
- Extensionally defining principles and cases in ethics: an AI model (Q814520) (← links)