scientific article; zbMATH DE number 1149417
From MaRDI portal
Publication:4386938
Recommendations
Cited in
(35)- Learning qualitative constraint networks
- scientific article; zbMATH DE number 708851 (Why is no real title available?)
- Dynamic Branching in Qualitative Constraint Networks via Counting Local Models
- The algebra \(\text{IA}^{\text{fuz}}\): a framework for qualitative fuzzy temporal reasoning
- Computing the minimal relations in point-based qualitative temporal reasoning through metagraph closure
- Backtracking algorithms for disjunctions of temporal constraints
- An efficient algorithm for the maximum distance problem
- Solving hard qualitative temporal reasoning problems: Evaluating the efficiency of using the ORD-Horn class
- Modelling and solving temporal reasoning as propositional satisfiability
- A condensed semantics for qualitative spatial reasoning about oriented straight line segments
- Probabilistic temporal networks: A unified framework for reasoning with time and uncertainty
- Toward a comprehensive treatment of temporal constraints about periodic events
- Range-consistent forbidden regions of Allen's relations
- Combining interval-based temporal reasoning with general TBoxes
- Dynamic branching in qualitative constraint-based reasoning via counting local models
- A Generalised Approach for Encoding and Reasoning with Qualitative Theories in Answer Set Programming
- Experimental analysis of numeric and symbolic constraint satisfaction techniques for temporal reasoning
- SAT vs. search for qualitative temporal reasoning
- Reasoning about qualitative temporal information
- Collective singleton-based consistency for qualitative constraint networks: theory and practice
- Qualitative reasoning
- A new approach to cyclic ordering of 2D orientations using ternary relation algebras
- scientific article; zbMATH DE number 2080327 (Why is no real title available?)
- Trends in Temporal Reasoning: Constraints, Graphs and Posets
- scientific article; zbMATH DE number 1476493 (Why is no real title available?)
- Complexity and algorithms for reasoning about time
- Implementation of the temporal reasoning mechanism in modern intelligent systems
- A consistent reasoning model and its calculating algorithm for cooperative engagement
- Efficient Computation of Minimal Point Algebra Constraints by Metagraph Closure
- An interdisciplinary experimental evaluation on the disjunctive temporal problem
- scientific article; zbMATH DE number 2084377 (Why is no real title available?)
- scientific article; zbMATH DE number 4185056 (Why is no real title available?)
- EvIA -- evidential interval algebra and heuristic backtrack-free algorithm
- From binary temporal relations to non-binary ones and back
- A Local Search Approach to Modelling and Solving Interval Algebra Problems
This page was built for publication:
Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q4386938)
