Monografie
Towards More Useful Description Logics of Time, Change and Context
- Sprache
-
Englisch
- Anmerkungen
-
Bremen, Universität Bremen, Diss., 2013
- Identifier
-
1072156512
- Thema
-
Hochschulschrift
- Beteiligte Personen und Organisationen
-
Gutiérrez Basulto, Víctor Didier
Lutz, Carsten
Zakharyaschev, Michael
- URN
- Rechteinformation
-
Der Zugriff auf das Objekt ist unbeschränkt möglich.
- Letzte Aktualisierung
-
26.01.2023, 13:55 MEZ
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
- Monografie
Beteiligte
- Gutiérrez Basulto, Víctor Didier
- Lutz, Carsten
- Zakharyaschev, Michael
Ähnliche Objekte (12)
Towards more useful description logics of time, change and context
Towards log-linear logics with concrete domains
Description Logics of Context with Rigid Roles Revisited
Towards Constructive Description Logics for Abstraction and Refinement
Concept logics
"Triggersystem Logics"
Towards an ontological representation of morbidity and mortality in Description Logics
Towards useful services for elderly and people with disabilities : proceedings
Weighted Logics and Weighted Simple Automata for Context-Free Languages of Infinite Words
Gödel Description Logics
Model theoretic logics
Towards more comprehensive measurable dependability
Towards more useful description logics of time, change and context
Towards log-linear logics with concrete domains
Description Logics of Context with Rigid Roles Revisited
Towards Constructive Description Logics for Abstraction and Refinement
Concept logics
"Triggersystem Logics"
Towards an ontological representation of morbidity and mortality in Description Logics
Towards useful services for elderly and people with disabilities : proceedings
Weighted Logics and Weighted Simple Automata for Context-Free Languages of Infinite Words
Gödel Description Logics
Model theoretic logics
Towards more comprehensive measurable dependability
Towards more useful description logics of time, change and context
Towards log-linear logics with concrete domains
Description Logics of Context with Rigid Roles Revisited
Towards Constructive Description Logics for Abstraction and Refinement
Concept logics
"Triggersystem Logics"
Towards an ontological representation of morbidity and mortality in Description Logics
Towards useful services for elderly and people with disabilities : proceedings
Weighted Logics and Weighted Simple Automata for Context-Free Languages of Infinite Words
Gödel Description Logics
Model theoretic logics