Optimization in temporal qualitative constraint networks
From MaRDI portal
Analysis of algorithms and problem complexity (68Q25) Graph theory (including graph drawing) in computer science (68R10) Data structures (68P05) Computational difficulty of problems (lower bounds, completeness, difficulty of approximation, etc.) (68Q17) Knowledge representation (68T30) Logic in artificial intelligence (68T27)
Recommendations
Cites work
- scientific article; zbMATH DE number 1612545 (Why is no real title available?)
- scientific article; zbMATH DE number 3639144 (Why is no real title available?)
- A complete classification of tractability in Allen's algebra relative to subsets of basic relations
- A propositional calculus with denumerable matrix
- Automated Reasoning
- Bounding Resource Consumption with Gödel-Dummett Logics
- Consistency in networks of relations
- Constructivism in mathematics. An introduction. Volume I
- Cut Elimination for First Order Gödel Logic by Hyperclause Resolution
- Decomposition and tractability in qualitative spatial and temporal reasoning
- Maintaining knowledge about temporal intervals
- Metamathematics of fuzzy logic
- Numerical representation of PQI interval orders
- Reasoning about temporal relations
- Reasoning with various kinds of preferences: logic, non-monotonicity, and algorithms
- Solving hard qualitative temporal reasoning problems: Evaluating the efficiency of using the ORD-Horn class
- Temporally distributed symptoms in technical diagnosis
- Weak Composition for Qualitative Spatial and Temporal Reasoning
Cited in
(7)- Relation algebras of Sugihara, Belnap, Meyer, and Church
- On the consistency problem for the \(\mathcal {INDU}\) calculus
- Computing the minimal relations in point-based qualitative temporal reasoning through metagraph closure
- Solving multi-granularity temporal constraint networks
- Temporal logic based synthesis of experimentally constrained interaction networks
- Minimality of combined qualitative constraint networks
- Efficient Computation of Minimal Point Algebra Constraints by Metagraph Closure
This page was built for publication: Optimization in temporal qualitative constraint networks
Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q262133)
