Hochschulschrift
Saturation-based decision procedures for extensions of the guarded fragment
- Location
-
Deutsche Nationalbibliothek Frankfurt am Main
- Extent
-
Online-Ressource
- Language
-
Englisch
- Notes
-
Erscheinungsjahr an der Haupttitelstelle: 2005
Saarbrücken, Univ., Diss., 2006
- Keyword
-
Entscheidungsverfahren ; Automatisches Beweisverfahren ; Terminologische Logik
- Creator
- URN
-
urn:nbn:de:bsz:291-scidok-11373
- Rights
-
Der Zugriff auf das Objekt ist unbeschränkt möglich.
- Last update
-
14.08.2025, 10:50 AM CEST
Data provider
This object is provided by:
Deutsche Nationalbibliothek. If you have any questions about the object, please contact the data provider.
Deutsche Nationalbibliothek. If you have any questions about the object, please contact the data provider.
Object type
- Hochschulschrift
Associated
Other Objects (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]
Group Duties Without Decision-Making Procedures
Simple decision procedures: an expository paper
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]
Group Duties Without Decision-Making Procedures
Simple decision procedures: an expository paper
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]
Group Duties Without Decision-Making Procedures
Simple decision procedures: an expository paper
Coupling tableau algorithms for the DL SROIQ with completion-based saturation procedures