Treffer
1 - 1
von
1
für Suche '
Rodler, Patrick
'
Weiter zum Inhalt
VuFind
Merkliste
(Voll)
Hilfe
de
fr
Alle Felder
Titel
Verfasser
Schlagwort
Signatur
ISBN/ISSN
Tag
Suchen
Erweitert
Verfasser
Rodler, Patrick
Treffer
1 - 1
von
1
für Suche '
Rodler, Patrick
'
, Suchdauer: 0,08s
Treffer weiter einschränken
Sortieren
Relevanz
Nach Datum, absteigend
Nach Datum, aufsteigend
Verfasser
Titel
1
A formal proof and simple explanation of the QuickXplain algorithm
von
Rodler
,
Patrick
Veröffentlicht in:
Artificial intelligence review
(2022)
Online-Aufsatz
Auf die Merkliste
Aus der Merkliste entfernen
Suchwerkzeuge:
RSS-Feed abonnieren
—
Diese Suche als E-Mail versenden
Ähnliche Schlagworte
Algorithm
Computation of Justifications
Conflict Computation
Constraint Satisfaction Problem (CSP)
Correctness Proof
Find Irreducible Subset with Monotone Property
Journal Article
Minimal Correction Subset
Minimal Set Subject to a Monotone Predicate (MSMP)
Minimal Unsatisfiable Subset
Model-Based Diagnosis
Ontology Debugging and Repair
Proof to Explain
QuickXplain
Relaxation of Overconstrained Problems
Wird geladen...