Verification of Knowledge-Based Programs over Description Logic Actions

zu Verbundenen Objekten

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 ; 15-10

Ereignis: Veröffentlichung

(wo): Dresden

(wer): Technische Universität Dresden

(wann): 2022

Urheber: Zarrieß, Benjamin
Claßen, Jens

URN: urn:nbn:de:bsz:14-qucosa2-795634

Rechteinformation: Der Zugriff auf das Objekt ist unbeschränkt möglich.

Letzte Aktualisierung: 2025-03-25T13:44:21+0100

Datenpartner

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

Original beim Datenpartner anzeigen

Beteiligte

Zarrieß, Benjamin
Claßen, Jens
Technische Universität Dresden

Entstanden

2022

Ähnliche Objekte (12)

Hochschulschrift

Verification of Golog Programs over Description Logic Actions

Hochschulschrift

Verification of golog programs over description logic actions

Hochschulschrift

Verification of Golog Programs over Description Logic Actions

Knowledge-based verification of service compositions

Decidable Verification of Golog Programs over Non-Local Effect Actions : Extended Version

Hochschulschrift

Verification of pointer programs

From Logic to Functional Logic Programs

Knowledge-based neurocomputing: a fuzzy logic approach

Termporal logic of programs

Verification of business rules programs

Hochschulschrift

Verification of Java card programs

Hochschulschrift

Verification of Java card programs

Hochschulschrift

Verification of Golog Programs over Description Logic Actions

Hochschulschrift

Verification of golog programs over description logic actions

Hochschulschrift

Verification of Golog Programs over Description Logic Actions

Knowledge-based verification of service compositions

Decidable Verification of Golog Programs over Non-Local Effect Actions : Extended Version

Hochschulschrift

Verification of pointer programs

From Logic to Functional Logic Programs

Knowledge-based neurocomputing: a fuzzy logic approach

Termporal logic of programs

Verification of business rules programs

Hochschulschrift

Verification of Java card programs

Hochschulschrift

Verification of Java card programs

Hochschulschrift

Verification of Golog Programs over Description Logic Actions

Hochschulschrift

Verification of golog programs over description logic actions

Hochschulschrift

Verification of Golog Programs over Description Logic Actions

Knowledge-based verification of service compositions

Decidable Verification of Golog Programs over Non-Local Effect Actions : Extended Version

Hochschulschrift

Verification of pointer programs

From Logic to Functional Logic Programs

Knowledge-based neurocomputing: a fuzzy logic approach

Termporal logic of programs

Verification of business rules programs

Hochschulschrift

Verification of Java card programs

Hochschulschrift

Verification of Java card programs

Informationen zur Registrierung von Kultur- und Wissenseinrichtungen finden Sie hier.

Felder mit * müssen ausgefüllt werden.

Benutzername*

Bitte geben Sie Ihren Benutzernamen ein

E-Mail*

Bitte geben Sie Ihre E-Mail ein

Bitte füllen Sie dieses Feld nicht aus

Vorname

Nachname

Passwort*

Bitte geben Sie Ihr Passwort ein

Passwort bestätigen*

Bitte geben Sie das gleiche Passwort ein

Ich habe die Nutzungsbedingungen und die Datenschutzerklärung zur Erhebung persönlicher Daten gelesen und stimme ihnen zu. *

Dieses Feld ist ein Pflichtfeld.

Ich möchte den Newsletter der Deutschen Digitalen Bibliothek abonnieren. Siehe Informationen zum Newsletter-Abonnement.

Benutzerkonto angelegt

Ihr „Meine DDB“-Konto wurde erfolgreich angelegt. Bevor Sie sich in Ihrem Konto anmelden können, müssen Sie auf den Bestätigungslink in der Nachricht klicken, die wir gerade an die von Ihnen angegebene E-Mail-Adresse geschickt haben

Verification of Knowledge-Based Programs over Description Logic Actions

Angaben zum Objekt

Verweise und Beziehungen

Beteiligte, Orts- und Zeitangaben

Weitere Informationen

Datenpartner

Beteiligte

Entstanden

Ähnliche Objekte (12)

Verification of Golog Programs over Description Logic Actions

Verification of golog programs over description logic actions

Verification of Golog Programs over Description Logic Actions

Knowledge-based verification of service compositions

Decidable Verification of Golog Programs over Non-Local Effect Actions : Extended Version

Verification of pointer programs

From Logic to Functional Logic Programs

Knowledge-based neurocomputing: a fuzzy logic approach

Termporal logic of programs

Verification of business rules programs

Verification of Java card programs

Verification of Java card programs

Verification of Golog Programs over Description Logic Actions

Verification of golog programs over description logic actions

Verification of Golog Programs over Description Logic Actions

Knowledge-based verification of service compositions

Decidable Verification of Golog Programs over Non-Local Effect Actions : Extended Version

Verification of pointer programs

From Logic to Functional Logic Programs

Knowledge-based neurocomputing: a fuzzy logic approach

Termporal logic of programs

Verification of business rules programs

Verification of Java card programs

Verification of Java card programs

Verification of Golog Programs over Description Logic Actions

Verification of golog programs over description logic actions

Verification of Golog Programs over Description Logic Actions

Knowledge-based verification of service compositions

Decidable Verification of Golog Programs over Non-Local Effect Actions : Extended Version

Verification of pointer programs

From Logic to Functional Logic Programs

Knowledge-based neurocomputing: a fuzzy logic approach

Termporal logic of programs

Verification of business rules programs

Verification of Java card programs

Verification of Java card programs

Verbundene Objekte

Passwort zurücksetzen