Maintaining knowledge about temporal intervals
From MaRDI portal
Cited in
(only showing first 100 items - show all)- State-of-the-art on spatio-temporal information-based video retrieval
- Maximal infinite-valued constraint languages
- Determining the consistency of partial tree descriptions
- Temporal similarity by measuring possibilistic uncertainty in CBR
- Towards a general theory of action and time
- Towards the minimum set of primitive relations in temporal logic
- Constraint propagation with interval labels
- Computational complexity of terminological reasoning in BACK
- On relations between intervals
- Default reasoning in semantic networks: A formalization of recognition and inheritance
- A method of spatial reasoning based on qualitative trigonometry
- Programming in metric temporal logic
- An experiment in scheduling and planning of non-structured jobs: Lessons learned from artificial intelligence and operational research toolbox
- Temporal constraint networks
- Propagating belief functions through constraint systems
- A non-reified temporal logic
- From local to global consistency
- Scheduling with neural networks -- the case of the Hubble Space Telescope
- A uniform representation for time and space and their mutual constraints
- Exploiting lattices in a theory of space and time
- Constraint reasoning based on interval arithmetic: The tolerance propagation approach
- Reasoning about qualitative temporal information
- A spectrum of definitions for temporal model-based diagnosis
- A unifying approach to temporal constraint reasoning
- Remote Agent: to boldly go where no AI system has gone before
- Generating multimedia briefings: coordinating language and illustration
- A complete classification of tractability in Allen's algebra relative to subsets of basic relations
- A linear and discrete programming framework for representing qualitative knowledge
- Selectivity estimation of temporal data manipulations
- Tools for reformulating logical forms into zero-one mixed integer programs
- On the computational complexity of temporal projection, planning, and plan validation
- Automated theorem proving in temporal logic: T-resolution
- Time representation: A taxonomy of temporal models
- Representation of decision making processes in an ecological evaluation system
- Real-time piloting of flexible manufacturing systems
- On point-based temporal disjointness
- Duration calculus: Logical foundations
- Qualitative and quantitative simulation: bridging the gap
- Satisfiability problems on intervals and unit intervals
- Networks of probabilistic events in discrete time.
- Processing disjunctions in temporal constraint networks
- Twenty-one large tractable subclasses of Allen's algebra
- Reasoning about causality between distributed nonatomic events
- Directional relative position between objects in image processing: A comparison between fuzzy approaches.
- Design of system for managing fuzzy relationships for integration of spatial data in querying.
- Specification and verification of multimedia synchronization in duration calculus
- A proof system for contact relation algebras
- A new approach to cyclic ordering of 2D orientations using ternary relation algebras
- Querying temporal and spatial constraint networks in PTIME
- Combining topological and size information for spatial reasoning
- A comparison of point-based approaches to qualitative temporal reasoning
- On point-duration networks for temporal reasoning
- Solving multi-granularity temporal constraint networks
- An interval-based approach to model input uncertainty in M/M/1 simulation
- An incremental approach for data quality measurement with insufficient information
- LARS: a logic-based framework for analytic reasoning over streams
- Interval-valued rank in finite ordered sets
- A note on the relation between categories and hyperstructures
- Allen-like theory of time for tree-like structures
- Model checking for fragments of Halpern and Shoham's interval temporal logic based on track representatives
- User-friendly temporal queries on historical knowledge bases
- Finding the longest common sub-pattern in sequences of temporal intervals
- Which fragments of the interval temporal logic HS are tractable in model checking?
- Algebraic foundations for qualitative calculi and networks
- Decidability and complexity of the fragments of the modal logic of Allen's relations over the rationals
- On searching and indexing sequences of temporal intervals
- Queries on ontologies with temporal dependences on Allen's extended interval logic
- Constants and finite unary relations in qualitative constraint reasoning
- Interval semantics for Petri nets with inhibitor arcs
- Qualitative and quantitative data envelopment analysis with interval data
- Numerical representation of PQI interval orders
- Relation algebras and their application in temporal and spatial reasoning
- Model checking for fragments of the interval temporal logic HS at the low levels of the polynomial time hierarchy
- Probabilistic temporal networks: A unified framework for reasoning with time and uncertainty
- Obtaining solutions in fuzzy constraint networks
- Tesseral spatio-temporal reasoning for multi-dimensional data
- On-line algorithms for networks of temporal constraints
- Fuzzy spatial relationship refinements based on minimum bounding rectangle variations
- Efficient algorithms for qualitative reasoning about time
- A rule-based video database system architecture
- Video indexing and similarity retrieval by largest common subgraph detection using decision trees
- A general framework for reasoning about change
- Decidability of string graphs
- CoLab: A hybrid knowledge representation and compilation laboratory
- Lattice structure of temporal interval relations
- Some considerations on nonlinear time intervals
- Ordering events: Intervals are sufficient, more general sets are usually not necessary
- Exception diagnosis in multiagent contract executions
- Complementation in representable theories of region-based space
- Implementation of the temporal reasoning mechanism in modern intelligent systems
- Dynamic problem structure analysis as a basis for constraint-directed scheduling heuristics
- Assessing component impairing at mission level
- Range-consistent forbidden regions of Allen's relations
- Linear time-dependent constraints programming with MSVL
- Models of representation of fuzzy temporal knowledge in databases of temporal series
- A probabilistic interval-based event calculus for activity recognition
- So, what exactly is a qualitative calculus?
- From generating process views over inter-organizational business processes to achieving their temporal consistency
- Dynamic branching in qualitative constraint-based reasoning via counting local models
- Universal solutions for temporal data exchange
This page was built for publication: Maintaining knowledge about temporal intervals
Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q64672)
