Approximate knowledge compilation: the first order case

Proceedings of the National Conference on Artificial Intelligence

Volumn 1, Issue , 1996, Pages 498-503

  del Val, Alvaro ^a  

^a UNIVERSIDAD AUTÓNOMA DE MADRID   (Spain)

Author keywords

[No Author keywords available]

Indexed keywords

ALGORITHMS; COMPUTATION THEORY; COMPUTATIONAL LINGUISTICS; FORMAL LANGUAGES; INFERENCE ENGINES;

APPROXIMATE KNOWLEDGE COMPILATION; CORRECTNESS; GROUND ALGORITHM;

KNOWLEDGE BASED SYSTEMS;

EID: 0030374193     PISSN: None     EISSN: None     Source Type: Conference Proceeding    
DOI: None     Document Type: Conference Paper

References (12)