Publication:4386938
From MaRDI portal
zbMath0900.68389MaRDI QIDQ4386938
No author found.
Publication date: 10 May 1998
68T27: Logic in artificial intelligence
68Q60: Specification and verification (program logics, model checking, etc.)
Related Items
Unnamed Item, A Generalised Approach for Encoding and Reasoning with Qualitative Theories in Answer Set Programming, Dynamic Branching in Qualitative Constraint Networks via Counting Local Models, A condensed semantics for qualitative spatial reasoning about oriented straight line segments, Computing the minimal relations in point-based qualitative temporal reasoning through metagraph closure, Solving hard qualitative temporal reasoning problems: Evaluating the efficiency of using the ORD-Horn class, Combining interval-based temporal reasoning with general TBoxes, Backtracking algorithms for disjunctions of temporal constraints, A new approach to cyclic ordering of 2D orientations using ternary relation algebras, Probabilistic temporal networks: A unified framework for reasoning with time and uncertainty, Implementation of the temporal reasoning mechanism in modern intelligent systems, Range-consistent forbidden regions of Allen's relations, Dynamic branching in qualitative constraint-based reasoning via counting local models, Collective singleton-based consistency for qualitative constraint networks: theory and practice, Modelling and solving temporal reasoning as propositional satisfiability, The algebra \(\text{IA}^{\text{fuz}}\): a framework for qualitative fuzzy temporal reasoning, Efficient Computation of Minimal Point Algebra Constraints by Metagraph Closure