Splitting a default theory

Proceedings of the National Conference on Artificial Intelligence

Volumn 1, Issue , 1996, Pages 645-651

  Turner, Hudson ^a  

^a UNIVERSITY OF TEXAS AT AUSTIN   (United States)

Author keywords

[No Author keywords available]

Indexed keywords

INFERENCE ENGINES; KNOWLEDGE REPRESENTATION; LOGIC PROGRAMMING; THEOREM PROVING;

DEFAULT LOGIC; DEFAULT THEORY; SPLITTING THEOREMS;

FORMAL LOGIC;

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

References (0)