NACRE - A Nogood And Clause Reasoning Engine - Archive ouverte HAL Access content directly
Conference Papers Year : 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

Domains

Computer Science [cs] Artificial Intelligence [cs.AI]
Fichier principal
Vignette du fichier
LPAR20_nacre.pdf (341.96 Ko) Télécharger le fichier
Origin : Files produced by the author(s)

Fabien DELORME  : Connect in order to contact the contributor

https://hal-univ-artois.archives-ouvertes.fr/hal-03300774

Submitted on : Monday, June 20, 2022-2:33:00 PM

Last modification on : Friday, March 24, 2023-2:53:27 PM

Long-term archiving on: Thursday, September 22, 2022-11:14:03 AM

Download

Dates and versions

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

Identifiers

  • HAL Id : hal-03300774 , version 1

Cite

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⟩

Export

BibTeX TEI Dublin Core DC Terms EndNote Datacite

Collections

UNIV-ARTOIS CNRS CRIL
36 View
20 Download

Share

Gmail Facebook Twitter LinkedIn More