Tableaux for Temporal Description Logic with Constant Domains
Authors:
- 8 June 2001
- book chapter
- Published by Springer Nature
- p. 121-136
Abstract
No abstract availableKeywords
This publication has 9 references indexed in Scilit:
- A Tableau Calculus for Temporal Description Logic: the Expanding Domain CaseJournal of Logic and Computation, 2002
- Decidable fragments of first-order temporal logicsAnnals of Pure and Applied Logic, 2000
- Tableau Algorithms for Description LogicsLecture Notes in Computer Science, 2000
- Interval-based Temporal Reasoning with General TBoxes2000
- Tableau calculus for local cubic modal logic and its implementationLogic Journal of the IGPL, 1999
- Optimizing description logic subsumptionJournal of Logic and Computation, 1999
- Temporal ER Modeling with Description Logics1999
- Reasoning About Knowledge1995
- Combining terminological logics with tense logic1993