scientific article; zbMATH DE number 1149417
From MaRDI portal
Publication:4386938
zbMATH Open0900.68389MaRDI QIDQ4386938FDOQ4386938
Authors:
Publication date: 10 May 1998
Title of this publication is not available (Why is that?)
Recommendations
Specification and verification (program logics, model checking, etc.) (68Q60) Logic in artificial intelligence (68T27)
Cited In (35)
- Dynamic Branching in Qualitative Constraint Networks via Counting Local Models
- Title not available (Why is that?)
- 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
- An efficient algorithm for the maximum distance problem
- Backtracking algorithms for disjunctions of temporal constraints
- Modelling and solving temporal reasoning as propositional satisfiability
- Solving hard qualitative temporal reasoning problems: Evaluating the efficiency of using the ORD-Horn class
- 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
- Dynamic branching in qualitative constraint-based reasoning via counting local models
- Combining interval-based temporal reasoning with general TBoxes
- A Generalised Approach for Encoding and Reasoning with Qualitative Theories in Answer Set Programming
- SAT vs. search for qualitative temporal reasoning
- Experimental analysis of numeric and symbolic constraint satisfaction techniques for temporal reasoning
- Reasoning about qualitative temporal information
- Collective singleton-based consistency for qualitative constraint networks: theory and practice
- Qualitative reasoning
- Title not available (Why is that?)
- A new approach to cyclic ordering of 2D orientations using ternary relation algebras
- Trends in Temporal Reasoning: Constraints, Graphs and Posets
- Title not available (Why is that?)
- 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
- Title not available (Why is that?)
- Title not available (Why is that?)
- 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
- Learning qualitative constraint networks
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)
