Résultat(s)
1 - 1
résultats de
1
pour la requête '
Rodler, Patrick
'
Aller au contenu
VuFind
Panier
(Plein)
Aide
de
fr
Tous les champs
Titre
Auteur
Sujet
Cote
ISBN/ISSN
Tag
Rechercher
Recherche avancée
Auteur
Rodler, Patrick
Résultat(s)
1 - 1
résultats de
1
pour la requête '
Rodler, Patrick
'
, Temps de recherche: 1,15s
Affiner les résultats
Trier
Pertinence
Date (décroissante)
Date (croissante)
Auteur
Titre
1
A formal proof and simple explanation of the QuickXplain algorithm
par
Rodler
,
Patrick
Publié dans:
Artificial intelligence review
(2022)
Article en ligne
Ajouter au panier
Retirer du panier
Outils de recherche:
S'abonner aux flux RSS
—
Envoyer cette recherche par courriel
Sujets similaires
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
Chargement en cours...