A New Combination Procedure for the Word Problem that Generalizes Fusion Decidability Results in Modal Logics
- Standort
-
Deutsche Nationalbibliothek Frankfurt am Main
- Umfang
-
Online-Ressource
- Sprache
-
Englisch
- Anmerkungen
-
In: http://nbn-resolving.de/urn:nbn:de:bsz:14-qucosa2-785040
- Erschienen in
-
LTCS-Report ; 03-05
- Ereignis
-
Veröffentlichung
- (wo)
-
Dresden
- (wer)
-
Technische Universität Dresden
- (wann)
-
2022
- Urheber
- URN
-
urn:nbn:de:bsz:14-qucosa2-790570
- Rechteinformation
-
Der Zugriff auf das Objekt ist unbeschränkt möglich.
- Letzte Aktualisierung
-
25.03.2025, 13:46 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.
Beteiligte
- Baader, Franz
- Ghilardi, Silvio
- Tinelli, Cesare
- Technische Universität Dresden
Entstanden
- 2022
Ähnliche Objekte (12)
Terminological logics with modal operators
Terminological logics with modal operators
Concept logics
Combination of Compatible Reduction Orderings that are Total on Ground Terms
Description Logics with Symbolic Number Restrictions
Unfication of Concept Terms in Description Logics
Description Logics with Aggregates and Concrete Domains
Number Restrictions on Complex Roles in Description Logics
Description Logics with Aggregates and Concrete Domains, Part II
Unification of Concept Terms in Description Logics : Revised Version
On the Complexity and Expressiveness of Description Logics with Counting
Combination techniques and decision problems for disunification
Terminological logics with modal operators
Terminological logics with modal operators
Concept logics
Combination of Compatible Reduction Orderings that are Total on Ground Terms
Description Logics with Symbolic Number Restrictions
Unfication of Concept Terms in Description Logics
Description Logics with Aggregates and Concrete Domains
Number Restrictions on Complex Roles in Description Logics
Description Logics with Aggregates and Concrete Domains, Part II
Unification of Concept Terms in Description Logics : Revised Version
On the Complexity and Expressiveness of Description Logics with Counting
Combination techniques and decision problems for disunification
Terminological logics with modal operators
Terminological logics with modal operators
Concept logics
Combination of Compatible Reduction Orderings that are Total on Ground Terms
Description Logics with Symbolic Number Restrictions
Unfication of Concept Terms in Description Logics
Description Logics with Aggregates and Concrete Domains
Number Restrictions on Complex Roles in Description Logics
Description Logics with Aggregates and Concrete Domains, Part II
Unification of Concept Terms in Description Logics : Revised Version
On the Complexity and Expressiveness of Description Logics with Counting