Limits on combining recursive horn rules with description logics

Proceedings of the National Conference on Artificial Intelligence

Volumn 1, Issue , 1996, Pages 577-584

  Levy, Alon Y ^a   Rousset, Marie Christine ^a  

^a AT AND T LABS RESEARCH   (United States)

Author keywords

[No Author keywords available]

Indexed keywords

DESCRIPTIONS LOGICS; HORN RULES;

ARTIFICIAL INTELLIGENCE; COMPUTER HARDWARE DESCRIPTION LANGUAGES; INFERENCE ENGINES; QUERY LANGUAGES; RECURSIVE FUNCTIONS;

PROBABILISTIC LOGICS;

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

References (0)