Combining terminological logics with tense logic

Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics)

Volumn 727 LNAI, Issue , 1993, Pages 105-120

  Schild, Klaus ^a  

^a GERMAN RESEARCH CENTER FOR ARTIFICIAL INTELLIGENCE DFKI   (Germany)

Author keywords

[No Author keywords available]

Indexed keywords

ARTIFICIAL INTELLIGENCE;

AXIOMATIZATION; COMPLEXITY RESULTS; FIRST ORDER; POINT-BASED; POLYNOMIAL SPACE; TEMPORAL FORMULAE; TRANSITIVE CLOSURE;

TERMINOLOGY;

EID: 77956865984     PISSN: 03029743     EISSN: 16113349     Source Type: Book Series    
DOI: 10.1007/3-540-57287-2_41     Document Type: Conference Paper

References (22)

1. James F. Allen. Maintaining knowledge about temporal intervals. Communica-tions of the ACM, 26(11):832–843, 1983.
2. Ronald J. Brachman and James G. Schmolze. An overview of the KL-ONE knowl-edge representation system. Cognitive Science, 9(2):171–216, 1985.
3. John P. Burgess. Axioms for tense logic: I. “since” and “until”. Notre Dame Journal of Formal Logic, 23(4):367–374, 1982.
4. E. Allen Emerson and Joseph Y. Halpern. Decision procedures and expressiveness in the temporal logic of branching time. Journal of Computer and System Science, 30:1–24, 1985.
5. Michael J. Fischer and Richard E. Ladner. Propositional dynamic logic of regular programs. Journal of Computer and System Science, 18:194–211, 1979.
6. Dov Gabbay, Amir Pnueli, Saharon Shela, and Jonathan Stavi. On the temporal analysis of fairness. In Proceedings of the 7th Symposium on Principles of Programming Languages, Las Vegas, Nevada, 1980.
7. Robert Goldblatt. Logics of Time and Computation, volume 7 of CSLI Lecture Notes. Chicago University Press, Chicago, Ill., 1987.
8. Joseph Y. Halpern, Zohar Manna, and Ben Moszkowski. A hardware semantics based on temporal intervals. In Proceedings of 10th International Colloquium on Automata, Languages and Programming, pages 278–291, Barcelona, Spain, 1983.
9. Joseph Y. Halpern and John Reif. The prepositional dynamic logic of determinis-tic, well-structured programs. Theoretical Computer Science, 27:127–165, 1983.
10. Joseph Y. Halpern and Yoav Shoham. A propositional modal logic of time intervals. In D. Gabbay and F. Guenther, editors, Proceedings of the Symposium on Logic in Computer Science, IEEE, Boston, 1986.
11. Hans Kamp. Tense Logic and the Theory of Linear Order. PhD thesis, University of California, Los Angeles, 1968.
12. Bernhard Nebel. Terminological Reasoning is Inherently Intractable. Artificial Intelligence, 43:235–249, 1990.
13. Rohit Parikh. Propositional dynamic logics of programs: A survey. In Proceedings of the Workshop on Logic of Programs, pages 102-144, Zürich, Switzerland, 1979.
14. Klaus Schild. A correspondence theory for terminological logics: Preliminary report. In Proceedings of the 12th International Joint Conference on Artificial Intelligence, pages 466–471, Sydney, Australia, 1991.
15. Klaus Schild. A tense-logical extension of terminological logics. KIT Report 92, Department of Computer Science, Technische Universität Berlin, Berlin, FRG, 1991.
16. Manfred Schmidt-Schauß and Gert Smolka. Attributive concept descriptions with complements. Artificial Intelligence, 48(1): 1–26, 1991.
17. Albrecht Schmiedel. A Temporal Terminological Logic. In Proceedings of the 9th National Conference of the American Association for Artificial Intelligence, pages 640–645, Boston, Mass., 1990.
18. Johan van Benthem. The Logic of Time. Reidel, Dordrecht, Holland, 1984.
19. Moshe Y. Vardi and Pierre Wolper. Automata theoretic techniques for modal logics of programs (extended abstract). In Proceedings of the 16th ACM Annual Symposium on Theory of Computing, pages 446–456, Washington, D.C., 1984.
20. Pierre Wolper. Temporal logic can be more expressive. Information & Control, 56:72–99, 1983.
21. Pierre Wolper. The tableau method for temporal logic: An overview. Logique et Analyse, 110–111:119–136, 1985.
22. William A. Woods and James G. Schmolze. The KL-ONE family. In F.W. Lehmann, editor, Semantic Networks in Artificial Intelligence, pages 133–178. Pergamon Press, 1992.