New method for consequence finding and compilation in restricted languages

Proceedings of the National Conference on Artificial Intelligence

Volumn , Issue , 1999, Pages 259-264

  del Val, Alvaro ^a  

^a UNIVERSIDAD AUTÓNOMA DE MADRID   (Spain)

Author keywords

[No Author keywords available]

Indexed keywords

ALGORITHMS; APPROXIMATION THEORY; COMPUTER PROGRAMMING LANGUAGES; POLYNOMIALS;

KNOWLEDGE COMPILATION; SKIP FILTERED KERNEL; TASK SPECIFIC LANGUAGES;

COMPUTATIONAL METHODS;

EID: 0032596614     PISSN: None     EISSN: None     Source Type: Conference Proceeding    
DOI: None     Document Type: Article

References (20)