NACRE - A Nogood And Clause Reasoning Engine - Université d'Artois Accéder directement au contenu
Communication Dans Un Congrès Année : 2020

NACRE - A Nogood And Clause Reasoning Engine

Gael Glorian
Laboratoire Bordelais de Recherche en Informatique
Jean-Marie Lagniez
Huawei Technologies France
Christophe Lecoutre
Centre de Recherche en Informatique de Lens

Domaines

Intelligence artificielle [cs.AI]
Fichier principal
Vignette du fichier
LPAR20_nacre.pdf (341.96 Ko) Télécharger le fichier
Origine : Fichiers produits par l'(les) auteur(s)

Fabien DELORME  : Connectez-vous pour contacter le contributeur

https://univ-artois.hal.science/hal-03300774

Soumis le : lundi 20 juin 2022-14:33:00

Dernière modification le : jeudi 7 mars 2024-11:10:07

Archivage à long terme le : jeudi 22 septembre 2022-11:14:03

Télécharger pour visualiser

Dates et versions

hal-03300774 , version 1 (20-06-2022)

Identifiants

  • HAL Id : hal-03300774 , version 1

Citer

Gael Glorian, Jean-Marie Lagniez, Christophe Lecoutre. NACRE - A Nogood And Clause Reasoning Engine. 23rd International Conference on Logic for Programming, Artificial Intelligence and Reasoning (LPAR'23), 2020, Alicante, Spain. pp.249-259. ⟨hal-03300774⟩

Exporter

BibTeX XML-TEI Dublin Core DC Terms EndNote DataCite

Collections

UNIV-ARTOIS CNRS CRIL
38 Consultations
46 Téléchargements

Partager

Gmail Facebook X LinkedIn More