Frank Wolter, Michael Zakharyaschev  Home/Search
Context Related
| informatik.unileipzig.de/~wo...lpdl.ps Cached: PS.gz PS PDF This document uses CoBlitz to cache paper downloads. If your firewall is blocking outgoing connections to port 3125, you can use these links to download local copies.
Image Update HelpPS.gz PS PDF From: informatik.unileipzig.de/~wol... (more) (Enter author homepages) |
Rate this article:      (best)Comment on this article |
Abstract: this paper can be viewed from different standpoints. A modal logician would probably say that we combine polymodal K with PDL and prove the decidability of the resulting hybrid. In the field of knowledge representation, the paper can be characterized as an attempt to introduce a dynamic dimension in concept description (alias terminological) logics. And finally, in a broader perspective, our concern is to construct and study formalisms for representing and processing knowledge in dynamic... (Update)
Context of citations to this paper: More
...idea to consider the ML 1 fragment of modal predicate logics came from propositional modal logic. In the series of papers [34, 26, 4, 3, 46, 49, 47, 50] a number of expressive and decidable concept description languages with modal operators were designed and investigated with...
...logics where worlds are DL interpretations. Di erent variants were investigated, the most expressive ones can, e.g. be found in [21, 22, 23, 24]. Our approach is closely related to TDLs: if I S I 0 , then I 0 can be said to be after I, and the intermediate interpretations...
Cited by: More
A Proposal for Describing Services with DLs - Lutz, Sattler (2002) (Correct)
Logic Programming: The Case of Description and Hybrid Logic - Areces (Correct)
Temporalising Tableaux - Kontchakov, Lutz, Wolter.. (Correct)
Active bibliography (related documents): More All
0.9: Dynamic Description Logics - Wolter, Zakharyaschev (2000) (Correct)
0.7: The product of converse PDL and polymodal K - Wolter (1999) (Correct)
0.3: Decidable Fragments of First-Order Modal Logics - Wolter, Zakharyaschev (1999) (Correct)
Similar documents based on text: More All
0.3: Temporalizing Description Logics - Wolter, Zakharyaschev (1998) (Correct)
0.3: Multi-Dimensional Description Logics - Wolter, Zakharyaschev (1999) (Correct)
0.3: Modal Description Logics: Modalizing Roles - Wolter, Zakharyaschev (1999) (Correct)
Related documents from co-citation: More All
7: Temporalizing description logics - Wolter, Zakharyaschev - 1998
4: Modal description logics: modalizing roles - Wolter, Zakharyaschev - 1999
4: Attributive concept descriptions with complements (context) - Schmidt-Schauss, Smolka - 1991
BibTeX entry: (Update)
F. Wolter and M. Zakharyaschev. Dynamic description logic. In K. Segerberg, M. de Rijke, H. Wansing, and M. Zakharyaschev, editors, Advances in Modal Logic, Volume 2. CSLI Publications, 2000. http://citeseer.ist.psu.edu/wolter00dynamic.html More
@misc{ wolter00dynamic,
author = "F. Wolter and M. Zakharyaschev",
title = "Dynamic description logic",
text = "F. Wolter and M. Zakharyaschev. Dynamic description logic. In K. Segerberg,
M. de Rijke, H. Wansing, and M. Zakharyaschev, editors, Advances in Modal
Logic, Volume 2. CSLI Publications, 2000.",
year = "2000",
url = "citeseer.ist.psu.edu/wolter00dynamic.html" }
Citations (may not include all citations):480 An overview of the KL-ONE knowledge representation system (context) - Brachman, Schmolze - 1985
362 Dynamic logic - Harel - 1984
207 Attributive concept descriptions with complements (context) - Schmidt-Schau, Smolka - 1991
180 Reasoning in description logics - Donini, Lenzerini et al. - 1996
176 A correspondence theory for terminological logics: prelimina.. - Schild - 1991
126 Semantical considerations on Floyd--Hoare logic - Pratt - 1976
86 A terminological knowledge representation system with comple.. - Baader, Hollunder - 1991
65 A different approach to deontic logic: deontic logic viewed .. (context) - Meyer - 1988
55 Combining terminological logics with tense logic (context) - Schild - 1993
51 TBox and ABox reasoning in expressive description logics - de Giacomo, Lenzerini - 1996
45 Temporalizing description logics - Wolter, Zakharyaschev - 1998
37 Satisfiability problem in description logics with modal oper.. - Wolter, Zakharyaschev - 1998
36 A temporal terminological logic (context) - Schmiedel - 1990
33 Terminological logics with modal operators - Baader, Laux - 1995
26 Recent developments in NIKL (context) - Kaczmarek, Bates et al. - 1986
14 Decidability of Class-Based Knowledge Representation Formali.. - de Giacomo - 1995
13 Beliefs in multi-agent worlds: a terminological approach (context) - Laux - 1994
13 Department of Mathematics and Computer Science - Spaan, Modal et al. - 1993
4 Applying modal logic (context) - Segerberg - 1980
4 Language and Information (context) - Prendinger, Schurz et al. - 1996
The graph only includes citing articles where the year of publication is known.
Documents on the same site (http://www.informatik.uni-leipzig.de/~wolter/): More
Decidable Fragments of First-Order Modal Logics - Wolter, Zakharyaschev (1999) (Correct)
Spatio-temporal representation and reasoning based on RCC-8 - Wolter, Zakharyaschev (1999) (Correct)
All finitely axiomatizable subframe logics containing the.. - Wolter (1997) (Correct)
Online articles have much greater impact More about CiteSeer.IST Add search form to your site Submit documents Feedback
CiteSeer.IST - Copyright Penn State and NEC