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

Haifani, Fajar

doi:10.22028/D291-39393

Datensatz

DATENSATZ AKTIONENEXPORT

Zur Ablage hinzufügen

Lokale TagsFreigabegeschichteDetailsÜbersicht

Freigegeben

Hochschulschrift

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

MPG-Autoren

/persons/resource/persons252912

Haifani, Fajar
Automation of Logic, MPI for Informatics, Max Planck Society;
International Max Planck Research School, MPI for Informatics, Max Planck Society;

Externe Ressourcen

https://scidok.sulb.uni-saarland.de/handle/20.500.11880/35608
(beliebiger Volltext)

Volltexte (beschränkter Zugriff)

Für Ihren IP-Bereich sind aktuell keine Volltexte freigegeben.

Volltexte (frei zugänglich)

Es sind keine frei zugänglichen Volltexte in PuRe verfügbar

Ergänzendes Material (frei zugänglich)

Es sind keine frei zugänglichen Ergänzenden Materialien verfügbar

Zitation

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.

Zitierlink: https://hdl.handle.net/21.11116/0000-000C-FE92-1

Zusammenfassung

Es ist keine Zusammenfassung verfügbar