Complexity and algorithms for reasoning about time
From MaRDI portal
Publication:4285633
Recommendations
Cited in
(56)- Complexity classification transfer for CSPs via algebraic products
- Planning temporal events using point-interval logic
- Collective singleton-based consistency for qualitative constraint networks: theory and practice
- scientific article; zbMATH DE number 6806035 (Why is no real title available?)
- Twenty-one large tractable subclasses of Allen's algebra
- Proof of the interval satisfiability conjecture
- The complexity of querying indefinite data about linearly ordered domains
- Reasoning about causality between distributed nonatomic events
- On the proper intervalization of colored caterpillar trees
- On point-based temporal disjointness
- Succinct encodings for families of interval graphs
- Timed Sets, Functional Complexity, and Computability
- Algorithms and complexity of sandwich problems in graphs (extended abstract)
- Sandwich and probe problems for excluding paths
- The complexity of forbidden subgraph sandwich problems and the skew partition sandwich problem
- Algorithms for Extracting Timeliness Graphs
- Branching interval algebra: an almost complete picture
- Satisfiability problems on intervals and unit intervals
- On neighbourhood singleton-style consistencies for qualitative spatial and temporal reasoning
- Reasoning about visibility
- Computing the minimal relations in point-based qualitative temporal reasoning through metagraph closure
- Reasoning with topological and directional spatial information
- scientific article; zbMATH DE number 4185056 (Why is no real title available?)
- Guest editors' preface to special issue on interval temporal logics
- Complexity classification in qualitative temporal constraint reasoning
- Spatial reasoning with rectangular cardinal relations. The convex tractable subalgebra
- Interval graphs with side (and size) constraints
- The interval order polytope of a digraph
- Complexity classification of some edge modification problems
- Can transitive orientation make sandwich problems easier?
- The complexity of reasoning about knowledge and time. I: Lower bounds
- A general method for forbidden induced subgraph sandwich problem NP-completeness
- Simultaneous representation of interval and interval-containment orders
- Solving multi-granularity temporal constraint networks
- Trends in Temporal Reasoning: Constraints, Graphs and Posets
- The graph sandwich problem for 1-join composition is NP-complete
- Unique perfect phylogeny is NP-hard
- A complete classification of tractability in Allen's algebra relative to subsets of basic relations
- Acyclic orders, partition schemes and CSPs: unified hardness proofs and improved algorithms
- Reasoning about partially ordered events
- Numerical representation of \(PQI\) interval orders
- Modelling and solving temporal reasoning as propositional satisfiability
- The sandwich problem for decompositions and almost monotone properties
- A unifying approach to temporal constraint reasoning
- Efficient algorithms for the temporal precedence problem
- On coarser interval temporal logics
- Biorders with frontier
- Point algebras for temporal reasoning: Algorithms and complexity
- Solving hard qualitative temporal reasoning problems: Evaluating the efficiency of using the ORD-Horn class
- Modeling recreational systems using optimization techniques and information technologies
- Shiftable intervals
- ON THE HARDNESS OF RECOGNIZING BUNDLES IN TIME TABLE GRAPHS
- Incremental qualitative temporal reasoning: Algorithms for the point algebra and the ORD-Horn class
- A comparison of point-based approaches to qualitative temporal reasoning
- Matrix sandwich problems
- Efficient Computation of Minimal Point Algebra Constraints by Metagraph Closure
This page was built for publication: Complexity and algorithms for reasoning about time
Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q4285633)
