Hochschulschrift
Complexity results and practical algorithms for logics in knowledge representation
- Standort
-
Deutsche Nationalbibliothek Frankfurt am Main
- Sprache
-
Englisch
- Anmerkungen
-
Aachen, Techn. Hochsch., Diss., 2001
- Schlagwort
-
Wissensrepräsentation
Terminologische Logik
Inferenz
Erfüllbarkeitsproblem
Tableau
Berechnungskomplexität
- Urheber
- URN
-
urn:nbn:de:hbz:82-opus-1702urn:nbn:de:hbz:82-20010829
- Rechteinformation
-
Der Zugriff auf das Objekt ist unbeschränkt möglich.
- Letzte Aktualisierung
- 15.08.2025, 05:27 UTC
Datenpartner
Dieses Objekt wird bereitgestellt von:
Deutsche Nationalbibliothek. Bei Fragen zum Objekt wenden Sie sich bitte an den Datenpartner.
Deutsche Nationalbibliothek. Bei Fragen zum Objekt wenden Sie sich bitte an den Datenpartner.
Objekttyp
- Hochschulschrift
Beteiligte
Ähnliche Objekte (12)
Complexity results and practical algorithms for logics in knowledge representation
Guarded logics: algorithms and bisimulation
Guarded logics: algorithms and bisimulation
Randomness in complexity theory and logics
On algorithms and complexity for sets with cardinality constraints : PSPACE and PTIME logics for program analysis
The complexity of description logics with concrete domains
On the complexity of fragments of nonmonotonic logics
The complexity of description logics with concrete domains
Subjective Representation of Complexity
Fixed point logics and generalized quantifiers in descriptive complexity
On the Complexity of Axiom Pinpointing in Description Logics
The Complexity of Finite Model Reasoning in Description Logics
Complexity results and practical algorithms for logics in knowledge representation
Guarded logics: algorithms and bisimulation
Guarded logics: algorithms and bisimulation
Randomness in complexity theory and logics
On algorithms and complexity for sets with cardinality constraints : PSPACE and PTIME logics for program analysis
The complexity of description logics with concrete domains
On the complexity of fragments of nonmonotonic logics
The complexity of description logics with concrete domains
Subjective Representation of Complexity
Fixed point logics and generalized quantifiers in descriptive complexity
On the Complexity of Axiom Pinpointing in Description Logics
The Complexity of Finite Model Reasoning in Description Logics
Complexity results and practical algorithms for logics in knowledge representation
Guarded logics: algorithms and bisimulation
Guarded logics: algorithms and bisimulation
Randomness in complexity theory and logics
On algorithms and complexity for sets with cardinality constraints : PSPACE and PTIME logics for program analysis
The complexity of description logics with concrete domains
On the complexity of fragments of nonmonotonic logics
The complexity of description logics with concrete domains
Subjective Representation of Complexity
Fixed point logics and generalized quantifiers in descriptive complexity
On the Complexity of Axiom Pinpointing in Description Logics