DENOC
DENOC

DENOC
DENOC
 : 
Non-Canonical Automated Deduction
Non-Canonical Automated Deduction

A Project coordinated by IIIA.

Web page:

Principal investigator: 

Collaborating organisations:

Funding entity:

BFM2000-1054-C02
BFM2000-1054-C02

Funding call:

Funding call URL:

Project #:

DENOC
DENOC

Funding amount:

0,00€
0,00€

Duration:

19/Dec/2000
19/Dec/2000
18/Dec/2003
18/Dec/2003

Extension date:

2003
Albert Atserias,  María Luisa Bonet,  & Jordi Levy (2003). On Chvátal Rank and Cutting Planes Proofs. Electronic Colloquium on Computational Complexity, 41, 12. [BibTeX]  [PDF]
2001
Edgar Altamirano,  & Gonzalo Escalada-Imaz (2001). Extending polinomiality to a class of non-clausal many-valued Horn-like formulas. Salem Benferhat, & Philippe Besnard (Eds.), Lecture notes in artificial intelligence (pp. 792-804). Springer. [BibTeX]
Gonzalo Escalada-Imaz
Tenured Scientist
Phone Ext. 212