On a Notion of Abduction and Relevance for First-Order Logic Clause Sets

Haifani, Fajar

doi:10.22028/D291-39393

Lokale TagsFreigabegeschichteDetailsÜbersicht

On a Notion of Abduction and Relevance for First-Order Logic Clause Sets

Haifani, F. (2023). On a Notion of Abduction and Relevance for First-Order Logic Clause Sets. PhD Thesis, Universität des Saarlandes, Saarbrücken. doi:10.22028/D291-39393.

Item is Freigegeben

einblenden: alle ausblenden: alle

Basisdaten

einblenden: ausblenden:

Datensatz-Permalink: https://hdl.handle.net/21.11116/0000-000C-FE92-1 Versions-Permalink: https://hdl.handle.net/21.11116/0000-000E-3327-D

Genre: Hochschulschrift

Dateien

einblenden: Dateien

Externe Referenzen

einblenden:

ausblenden:

externe Referenz:
https://scidok.sulb.uni-saarland.de/handle/20.500.11880/35608 (beliebiger Volltext) Open Access Grün

Beschreibung:
-

OA-Status:
Grün

Urheber

einblenden:

ausblenden:

Urheber:
Haifani, Fajar¹, Autor
Weidenbach, Christoph¹, Ratgeber
Tourret, Sophie¹, Gutachter
Schulz, Stephan², Gutachter

Affiliations:
1Automation of Logic, MPI for Informatics, Max Planck Society, ou_1116545
2External Organizations, ou_persistent22

Inhalt

einblenden:

Details

einblenden:

ausblenden:

Sprache(n): eng - English

Datum: Angenommen: 2023-03-09Online veröffentlicht: 2023

Publikationsstatus: Online veröffentlicht

Seiten: xii,129 p.

Ort, Verlag, Ausgabe: Saarbrücken : Universität des Saarlandes

Inhaltsverzeichnis: -

Art der Begutachtung: -

Identifikatoren: BibTex Citekey: Haifani_PhD2023
DOI: 10.22028/D291-39393
URN: urn:nbn:de:bsz:291--ds-393934
Anderer: hdl:20.500.11880/35608

Art des Abschluß: Doktorarbeit

Datensatz

Basisdaten

Dateien

Externe Referenzen

Urheber

Inhalt

Details

Veranstaltung

Entscheidung

Projektinformation

Quelle