Franz Baader, Armin Laux  Home/Search
Context Related
Links: DBLP | lti.informatik.rwt...DFKIRR9433.ps.Z cs.man.ac.uk/~tessaris...RR9433.ps.gz 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: lti.informatik.rwthaach...Papers (more) From: cs.man.ac.uk/~tessaris/D...papers (Enter author homepages) |
Rate this article:      (best)Comment on this article |
Abstract: Terminological knowledge representation formalisms can be used to represent objective, time-independent facts about an application domain. Notions like belief, intentions, time -- which are essential for the representation of multi-agent environments -- can only be expressed in a very limited way. For such notions, modal logics with possible worlds semantics provides a formally well-founded and well-investigated basis. This paper presents a framework for integrating modal operators into... (Update)
Context of citations to this paper: More
.... the dynamic aspects of knowledge, DLs have been extended with temporal, dynamic, epistemic and other intentional operators [22, 9, 10, 12, 2, 36, 38]. The resulting formalisms become many dimensional and sometimes show rather nasty computational behavior: combinations of...
.... representation, where a number of decidable description logics with modal, temporal, dynamic, and similar operators were constructed [49, 9, 56, 60]. It turned out that if these operators are applicable only to concepts (i.e. unary predicates) or subsumptions (closed...
Cited by: More
Extending a Description Logic to Cope with the - Completeness Of Multimedia (Correct)
Unknown - Formalization And Experimentation (Correct)
Monodic fragments of first-order temporal logics.. - Hodkinson, Wolter.. (Correct)
Similar documents (at the sentence level):
34.3%: International Workshop on Description Logics - Borgida, Lenzerini, Nardi, Nebel (1995) (Correct)
Active bibliography (related documents): More All
0.5: Logic-based Knowledge Representation - Baader (1997) (Correct)
0.3: Managing Complex Objects in Peirce - Ellis, Levinson, Robinson (1994) (Correct)
0.2: An Empirical Analysis of Optimization Techniques.. - Baader.. (1994) (Correct)
Similar documents based on text: More All
3.7: The Definition of Kernel Oz - Smolka (1994) (Correct)
3.7: Unifying Cycles - Würtz (1992) (Correct)
3.7: Satisfiability of the Smallest Binary Program - Hanschke, Würtz (1993) (Correct)
Related documents from co-citation: More All
24: Combining terminological logics with tense logic (context) - Schild - 1993
17: Attributive concept descriptions with complements (context) - Schmidt-Schauss, Smolka - 1991
17: A temporal terminological logic (context) - Schmiedel - 1990
BibTeX entry: (Update)
F. Baader and A. Laux. Terminological logics with modal operator. In Proceedings of the Fourteenth International Joint Conference on Artificial Intelligence (IJCAI-95), 1995. http://citeseer.ist.psu.edu/baader94terminological.html More
@techreport{ baader94terminological,
author = "Franz Baader and Armin Laux",
title = "Terminological Logics with Modal Operators",
number = "RR-94-33",
address = "Deutsches Forschungszentrum f{\"u}r K{\"u}nstliche Intelligenz GmbH\\Erwin-Schr{\"o}dinger Stra{ss}e\\Postfach 2080\\67608 Kaiserslautern\\Germany",
pages = "29",
year = "1994",
url = "citeseer.ist.psu.edu/baader94terminological.html" }
Citations (may not include all citations):480 An overview of the KL-ONE knowledge representation system (context) - Brachman, Schmolze - 1985 DBLP
207 Attributive concept descriptions with complements (context) - Schmidt-Schauss, Smolka - 1991
194 Knowledge and Belief (context) - Hintikka - 1962
189 Living with CLASSIC: When and how to use a KL-ONE-like langu.. - Brachman, McGuinness et al. - 1991
176 A correspondence theory for terminological logics: Prelimina.. - Schild - 1991 DBLP
152 Decidable reasoning in terminological knowledge representati.. - Buchheit, Donini et al. - 1993 DBLP
89 KRIS: Knowledge Representation and Inference System (context) - Baader, Hollunder - 1991 DBLP
65 An essential hybrid reasoning system: knowledge and symbol l.. (context) - Brachman, Gilbert et al. - 1985
63 Inside the LOOM description classifier (context) - MacGregor - 1991 ACM DBLP
55 Combining terminological logics with tense logic (context) - Schild - 1993 ACM DBLP
41 The restricted language architecture of a hybrid representat.. (context) - Vilain - 1985
39 Small can be beautiful in knowledge representation (context) - Patel-Schneider - 1984
36 Cardinality restrictions on concepts - Baader, Buchheit et al. - 1994 ACM DBLP
32 The BACK system -- an overview (context) - Peltason - 1991
30 A multi-dimensional terminological knowledge representation .. - Ohlbach, Baader - 1993 DBLP
26 Recent developments in NIKL (context) - Kaczmarec, Bates et al. - 1986 DBLP
22 Terminological cycles and the propositional ¯-calculus (context) - Schild - 1994
21 Rep system overview (context) - Mays, Dionne et al. - 1991
18 First experiences with the SB-ONE knowledge representation w.. (context) - Kobsa - 1991 ACM DBLP
15 Data models in knowledge representation systems: A case stud.. (context) - Edelmann, Owsnicki - 1986
12 The SB-ONE knowledge representation workbench (context) - Kobsa - 1989
10 Concept logics - Baader, Burckert et al. - 1990
10 Max-Planck-Institut fur Informatik (context) - Gabbay, -- et al. - 1994
4 Beliefs in multi-agent worlds: A terminological logics appro.. (context) - Laux - 1994 DBLP
1 a hybrid language for multiple believers (context) - Saffiotti, Sebastiani et al. - 1988
The graph only includes citing articles where the year of publication is known.
Documents on the same site (http://www-lti.informatik.rwth-aachen.de/Forschung/Papers.html): More
Unification Theory - Baader, Snyder (1999) (Correct)
Planning Mathematical Proofs with Methods - Huang, Kerber, Richts, Sehn (1994) (Correct)
KEIM: A Toolkit for Automated Deduction - Huang, Kerber, Kohlhase, Melis.. (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