First order modal temporal logics with generalized intervals

Proceedings of the International Workshop on Temporal Representation and Reasoning

Volumn , Issue , 1996, Pages 170-175

  Becher, G ^a  

^a Centre National de la Recherche Scientifique   (France)

Author keywords

[No Author keywords available]

Indexed keywords

SEMANTICS;

AUTOMATED REASONING; FIRST ORDER; FIRST ORDER LOGIC; GENERALIZED INTERVAL; INTERVAL ALGEBRA; POSSIBLE WORLDS; SATISFIABILITY; TRANSLATION FUNCTIONS;

TEMPORAL LOGIC;

EID: 0343915178     PISSN: None     EISSN: None     Source Type: Conference Proceeding    
DOI: 10.1109/TIME.1996.555696     Document Type: Conference Paper

References (16)

1. J. F. Allen, Maintaining knowledge about temporal interval. Communications of the ACM, Vol. 26(11), pp. 832-843, 1983.
2. Y. Auffray and P. Enjalbert. Modal theorem proving: An equational viewpoint. Logic and Computation, Vol. 2(3), pp. 247-295, 1992.
3. F. Bacchus, J. Koomen, and J. Tenenberg. A non-reified Temporal Logic. Artificial Intelligence, Vol. 52, pp. 87-108, 1991.
4. L. Bachmair and H. Ganzinger. Rewrite techniques for transitive relations. Technical Report MPI-I-93-249, Max-Planck-Institut för Informatik, 1993. Short version in Proc. LICS94.
5. G. Becher. Cyclic Connections. To appear in Proc. of the Fifth Workshop on Theorem Proving with Analytic Tableaux and Related Methods, May 1996.
6. G. Becher. Demonstration Automatique en Logique Temporelle et Algorithmes d B-Unification Rigide. PhD thesis, Université de Caen, 1995.
7. W. Bledsoe and L. Hines. Variable Elimination and Chaining in a Resolution-based Prover for Inequalities. In S. Verlag, editor, Proc. 5th Conference on Automated Deduction, pp. 70-87, Les Arcs, France, 1980.
8. Y. 3. Halpern and Y. Shoham. A Propositional Modal Logic of Time Intervals. In Proceedings of the 1st IEEE Symposium on Logic In Computer Science, pp. 279-292. Computer Society Press, 1986.
9. L. M. Hines. Completeness of a Prover for Dense Linear Orders. Journal of Automated Reasoning, Vol. 8, pp. 45-75, 1992.
10. B. Jónsson. Boolean Algebras with Operators II. American J. Mathematics, Vol. 74, pp. 127-162, 1952.
11. P. B. Ladkin. Time Representation: A Taxonomy of Interval Relations. In Proceedings of AAAI-86, pp. 360-366, 1986.
12. P. B. Ladkin and R. D. Maddux. On Binary Constraint Problems Journal of the A CM, May 1988.
13. C. Ligozat. Weak Representations of Interval Algebras. In Proceedings AAAI, pp. 715-720, 1990.
14. C. Ligozat. On Generalized Interval Calculi. In Proceedings AAAI, pages 234-243, 1991.
15. H.-J. Ohibach. Translation Methods for Non-Classical Logics: An Overview. Bull, of the IGPL, Vol. 1(1), pp. 69-89, 1993.
16. Y. Shoham. Temporal Logics in Al: Semantical and Ontological Considerations. Artificial Intelligence, Vol. 33, pp. 89-104, 1987.