Granularity in relational formalisms - With application to time and space representation

Computational Intelligence

Volumn 17, Issue 4, 2001, Pages 703-738

  Euzenat, J ^a  

^a INRIA RHÔNE ALPES   (France)

Author keywords

Granularity; Interval algebra; Product; Relation algebra; Space representation; Time representation; Weakening

Indexed keywords

ALGEBRA; COMPUTATIONAL METHODS; CONSTRAINT THEORY; MATHEMATICAL MODELS; MATHEMATICAL OPERATORS; SET THEORY;

RELATIONAL FORMALISMS;

ARTIFICIAL INTELLIGENCE;

EID: 0035510627     PISSN: 08247935     EISSN: None     Source Type: Journal    
DOI: 10.1111/0824-7935.00170     Document Type: Article

References (39)

1. Maintaining knowledge about temporal intervals
2. Dealing with time granularity in a temporal planning system
3. A qualitative model for time granularity
4. A general framework for time granularity and its application to temporal reasoning
5. A glossary of time granularity concepts
6. Bases de connaissances spatiales pour l'environnement: Le projet ARSEN
7. Embedding time granularity in a logical specification language for synchronous real-time systems
8. Qualitative representation of positional information
9. Qualitative and topological relationships
10. Expressing time intervals and repetition within a formalization of calendars
11. Temporal granularity
12. Point set topological spatial relations
13. Reasoning about gradual changes of topological relationships
14. Topological relations between regions with holes
15. Représentation granulaire du temps
16. An algebraic approach to granularity in qualitative space and time representation
17. Algèbres d'intervalles sur des domaines temporels arborescents
18. Sometimes "tomorrow" is "sometime": Action refinement in a temporal logic of objects
19. Temporal reasoning based on semi-intervals
20. A computational framework for granularity and its application to educational diagnosis
21. Topological inference
22. Qualitative representation of spatial knowledge
23. Relation algebras of intervals
24. Granularity
25. Digital topology: Introduction and survey
26. Weak representations of interval algebras
27. Dealing with time and granularity in the event calculus
28. Metric and layered temporal logic for time granularity
29. A qualitative model for space
30. Using occupancy arrays for kinematic reasoning
31. Topological relations in the world of minimum bounding rectangles: A study with R-trees
32. A spatial logic based on regions and connection
33. Computing transitivity tables: A challenge for automated theorem provers
34. On the calculus of relations
35. Constraint propagation algorithms for temporal reasoning
36. Qualitative spatial reasoning using orientation, distance and path knowledge