Hochschulschrift
Saturation-based decision procedures for extensions of the guarded fragment
- Standort
-
Deutsche Nationalbibliothek Frankfurt am Main
- Umfang
-
Online-Ressource
- Sprache
-
Englisch
- Anmerkungen
-
Erscheinungsjahr an der Haupttitelstelle: 2005
Saarbrücken, Univ., Diss., 2006
- Schlagwort
-
Entscheidungsverfahren ; Automatisches Beweisverfahren ; Terminologische Logik
- Urheber
- URN
-
urn:nbn:de:bsz:291-scidok-11373
- Rechteinformation
-
Der Zugriff auf das Objekt ist unbeschränkt möglich.
- Letzte Aktualisierung
-
14.08.2025, 10:50 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.
Objekttyp
- Hochschulschrift
Beteiligte
Ähnliche Objekte (12)
Saturation-based decision procedures for fixed domain and minimal model validity
Resolution decision procedures for the guarded fragment with transitive guards
Optimal sequentially planned decision procedures
Decision procedures for linear arithmetic
Decision procedures for loop detection
Hierarchic decision procedures for verification
The Decision Problem for Effective Procedures
Executive summary : [deduction and decision procedures]
Simple decision procedures: an expository paper
Group Duties Without Decision-Making Procedures
Coupling tableau algorithms for the DL SROIQ with completion-based saturation procedures
Automata-based decision procedures for weak arithmetics
Saturation-based decision procedures for fixed domain and minimal model validity
Resolution decision procedures for the guarded fragment with transitive guards
Optimal sequentially planned decision procedures
Decision procedures for linear arithmetic
Decision procedures for loop detection
Hierarchic decision procedures for verification
The Decision Problem for Effective Procedures
Executive summary : [deduction and decision procedures]
Simple decision procedures: an expository paper
Group Duties Without Decision-Making Procedures
Coupling tableau algorithms for the DL SROIQ with completion-based saturation procedures
Automata-based decision procedures for weak arithmetics
Saturation-based decision procedures for fixed domain and minimal model validity
Resolution decision procedures for the guarded fragment with transitive guards
Optimal sequentially planned decision procedures
Decision procedures for linear arithmetic
Decision procedures for loop detection
Hierarchic decision procedures for verification
The Decision Problem for Effective Procedures
Executive summary : [deduction and decision procedures]
Simple decision procedures: an expository paper
Group Duties Without Decision-Making Procedures
Coupling tableau algorithms for the DL SROIQ with completion-based saturation procedures