Database-Inspired Reasoning Problems in Description Logics With Path Expressions
- Standort
-
Deutsche Nationalbibliothek Frankfurt am Main
- Umfang
-
Online-Ressource
- Sprache
-
Englisch
- Anmerkungen
-
Dresden, Technische Universität Dresden, Dissertation, 2024
- Schlagwort
-
Terminologische Logik
Ontologie
- Ereignis
-
Veröffentlichung
- (wo)
-
Dresden
- (wer)
-
Technische Universität Dresden
- (wann)
-
2024
- Urheber
- Beteiligte Personen und Organisationen
- URN
-
urn:nbn:de:bsz:14-qucosa2-925378
- Rechteinformation
-
Der Zugriff auf das Objekt ist unbeschränkt möglich.
- Letzte Aktualisierung
-
14.08.2025, 11:02 MESZ
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.
Beteiligte
- Bednarczyk, Bartosz
- Rudolph, Sebastian
- Kieroński, Emanuel
- Ortiz, Magdalena
- Technische Universität Dresden
Entstanden
- 2024
Ähnliche Objekte (12)
Machine learning, meta-reasoning and logics
Models of strategic reasoning : logics, games, and communities
Standard and non-standard reasoning in description logics
Regular path expressions in feature logic
Regular path expressions in feature logic
Many valued logics, 2.. Automated reasoning and practical applications
The relationship between reasoning about privacy and default logics
Reasoning in description logics using resolution and deductive databases
The Complexity of Finite Model Reasoning in Description Logics
Generating anaphoric expressions : contextual reasoning in sentence planning
Reasoning in many dimensions : uncertainty and products of modal logics
Optimisation of tableau-based reasoning systems for expressive description logics
Machine learning, meta-reasoning and logics
Models of strategic reasoning : logics, games, and communities
Standard and non-standard reasoning in description logics
Regular path expressions in feature logic
Regular path expressions in feature logic
Many valued logics, 2.. Automated reasoning and practical applications
The relationship between reasoning about privacy and default logics
Reasoning in description logics using resolution and deductive databases
The Complexity of Finite Model Reasoning in Description Logics
Generating anaphoric expressions : contextual reasoning in sentence planning
Reasoning in many dimensions : uncertainty and products of modal logics
Optimisation of tableau-based reasoning systems for expressive description logics
Machine learning, meta-reasoning and logics
Models of strategic reasoning : logics, games, and communities
Standard and non-standard reasoning in description logics
Regular path expressions in feature logic
Regular path expressions in feature logic
Many valued logics, 2.. Automated reasoning and practical applications
The relationship between reasoning about privacy and default logics
Reasoning in description logics using resolution and deductive databases
The Complexity of Finite Model Reasoning in Description Logics
Generating anaphoric expressions : contextual reasoning in sentence planning
Reasoning in many dimensions : uncertainty and products of modal logics