Coupling tableau algorithms for the DL SROIQ with completion-based saturation procedures

zu Verbundenen Objekten

Standort
Deutsche Nationalbibliothek Frankfurt am Main
Umfang
Online-Ressource
Sprache
Englisch

Schlagwort
Tableau
Terminologische Logik

Ereignis
Veröffentlichung
(wo)
Ulm
(wer)
Universität Ulm. Fakultät für Ingenieurwissenschaften und Informatik
(wann)
2014
Urheber

URN
urn:nbn:de:bsz:289-vts-92634
Rechteinformation
Der Zugriff auf das Objekt ist unbeschränkt möglich.
Letzte Aktualisierung
15.08.2025, 07:37 MESZ

Datenpartner

Dieses Objekt wird bereitgestellt von:
Deutsche Nationalbibliothek. Bei Fragen zum Objekt wenden Sie sich bitte an den Datenpartner.
Original beim Datenpartner anzeigen

Beteiligte

Entstanden

  • 2014

Ähnliche Objekte (12)

Saturation-based decision procedures for extensions of the guarded fragment

Hochschulschrift

Saturation-based decision procedures for extensions of the guarded fragment

Saturation-based decision procedures for fixed domain and minimal model validity

Hochschulschrift

Saturation-based decision procedures for fixed domain and minimal model validity

Term completion versus algebraic completion

Hochschulschrift

Term completion versus algebraic completion

Univalent completion

Univalent completion

Goal Lift-up: A Technique for Combining Connection-Tableau-Based Proof Procedures

Goal Lift-up: A Technique for Combining Connection-Tableau-Based Proof Procedures

De la saturation

Kapitel

De la saturation

D. Die Saturation.

Kapitel

D. Die Saturation.

De la saturation

Kapitel

De la saturation

Saturation à froid

Kapitel

Saturation à froid

De la saturation

Kapitel

De la saturation

Equality Saturation & egg

zweidimensionales bewegtes Bild

Equality Saturation & egg

Completion and deficiency problems

zweidimensionales bewegtes Bild

Completion and deficiency problems

Verbundene Objekte